mdesalvo/OWLSharp

Issues

• Add ability to query an ontology with SPARQL

  #27 opened 4 months ago by mdesalvo
  0

• Validation with cardinality restriction

  #26 opened 4 months ago by constnick
  3

• Add reasoner rule for enhanced TBOX entailments

  #25 opened 5 months ago by mdesalvo
  0

• Reasoner error?

  #24 opened 5 months ago by constnick
  5

• Modeling support for "Negative Type" statement

  #23 opened 5 months ago by constnick
  7

• Add ability to import ontologies

  #22 opened 5 months ago by mdesalvo
  1

• Add support for temporal validation

  #21 opened 6 months ago by mdesalvo
  0

• Complete SKOS validator with remaining rules

  #19 opened 6 months ago by mdesalvo
  0

• Provide support for SKOS reasoning

  #15 opened 6 months ago by mdesalvo
  1

• SKOS extension should conform to our standard architecture (like SWRL, GEO and TIME)

  #13 opened 6 months ago by mdesalvo
  0

• Provide support for temporal reasoning

  #11 opened 7 months ago by mdesalvo
  1

• Reorganize internals to host SWRL as extension to the OWL core

  #12 opened 7 months ago by mdesalvo
  1

• Add validator rule for checking owl:TopObjectProperty and owl:BottomObjectProperty consistency

  #10 opened 8 months ago by mdesalvo
  1

• Add validator rule for checking owl:Thing and owl:Nothing consistency

  #9 opened 9 months ago by mdesalvo
  1

• Functional properties, SameAs inference, validation

  #7 opened 9 months ago by benoitdaireaux
  8

• Also provide reasoner rule for inverse functional entailment

  #8 opened 9 months ago by mdesalvo
  1

• Incorrect detection of OWL2-Full anonymous inline property expressions on restrictions

  #6 opened 10 months ago by mdesalvo
  0

• Add support for exporting ontologies without including inferences

  #4 opened 10 months ago by mdesalvo
  0

• Add support for modeling literal enumerate classes

  #3 opened 10 months ago by mdesalvo
  1

• Add support for writing OWL/XML syntax

  #1 opened 10 months ago by mdesalvo
  0