Once you’re ready to try it out, you can return to OntoValidate 2.1.1-BETA here!

 

Loading your file

OntoValidate takes your ontology file and loads it into Stardog, then runs a series of queries as checks. For the Ontology File input, please browse to the file you wish to graph. Supported file formats by Stardog are currently NTRIPLES, RDF/XML, TURTLE, PRETTY_TURTLE, TRIG, TRIX, N3, NQUADS. For ontologies created in Protege, we recommend you save it in the RDF/XML serialization. Compressed folders of multiple files are also accepted, as long as all the files are in the formats listed above.

In this version, you must enter in the label and description properties used (i.e. rdfs:label and dc:description). This may be changed in the future. OntoValidate auto-detects prefixes and namespaces, so there is no need to specify these. The results are currently returned as a .txt file.

 

Validation

In order, OntoValidate checks the following aspects of the loaded file(s):

  1. Is the ontology consistent? (with reasoning)
  2. Are all prefixes used in the ontology defined in the header?
  3. Do all entities have a label annotation?
  4. Do all entities have a definition/description annotation?
  5. Do two separate entities have the same label?
  6. Is the same identifier used for two different entities?
  7. Are all properties used with the correct domains & ranges?

New in v2.1.1-BETA

  • Checks if all prefixes used are defined in header
  • Update to Stardog 4.2.3, Stardog Spring 4.2.1, Spring 4.3.4, and Gradle 3.4.1

Known Bugs

Please email here with feedback, questions, suggestions, or to report bugs. The most recent version of the source code will be available soon on GitHub. Currently, we know of the following bugs:

  • If a literal is used in place of an object for the range of an object property, this error is not reported.