Semantic Web Dog Food

Presented at: 7th International Semantic Web Conference (ISWC2008)

by Matthew Horridge, Bijan Parsia, Ulrike Sattler

This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protege 4. These explanations take the form of justifications. A justification is a minimal sets of axioms that is sufficient for a given entailment to hold. Justification finding services for Protege 4 are presented, including what have become de-facto explanation services such as root/derived pinpointing, and justification presentation. In addition to this, an implementation of recent theoretical work that computes so-called precise justifications is presented. Finally, preliminary work and new ideas of how justifications might be made easier to understand is a topic for discussion. All feedback and discussion is welcomed. Protege 4 is an open source, freely available OWL ontology editor.

Keywords: Explanation, OWL

Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc/2008/paper/poster_demo/47

Explore this resource elsewhere:

• on Snorql
• on Sindice
• on dotAC Explorer