Using OWL to Validate RDF: Pellet Integrity Constraints

The Open World Assumption got you down? While OWA is crucial to using OWL ontologies to draw new inferences from data, it’s also a challenge for another very basic use case that the OWL specs have never really embraced: using OWL as a schema or validation language for RDF. Plainly, that’s a use case that some people want and expect from OWL; but until now it hasn’t really been available.

We’re happy to release Pellet Integrity Constraint Validator (ICV), a prototype system that uses OWL ontologies as integrity constraints for RDF data. ICV automatically translates OWL axioms into SPARQL queries (while still doing OWL inference, by the way!), so that an OWL ontology can be used to validate RDF data integrity automatically.

This offers the best of at least three worlds: the logical rigor and expressiveness of OWL; the “loose typing” of RDF and Linked Open Data; and the performance and scalability of SPARQL engines.

What’s new in Pellet ICV 0.3? Glad you asked:

  • explanations of violations
  • choice of validator implementation: Jena or Pellet will execute auto-generated SPARQL queries
  • option to check all IC violations
  • more efficient auto-generated SPARQL queries (using NOT EXISTS statement instead of LET in ARQ queries)

As always, comments, questions, and feedback are welcomed.


Colophon

This is Thinking Clearly, a weblog by Clark & Parsia, LLC—read more about this site.

Follow us on Twitter RSS Feed