Semantic Web Dog Food

Presented at: 6th International and 2nd Asian Semantic Web Conference (ISWC2007+ASWC2007)

by Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin

Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient to produce an entailment) has emerged as a key inference service for the Web Ontology Language (OWL). Justifications are essential for debugging unsatisfiable classes and contradictions. The availability of justifications as explanations of entailments improves the understandability of large and complex ontologies. In this paper, we present several algorithms for computing all the justifications of an entailment in an OWL-DL Ontology and show, by an empirical evaluation, that even a reasoner independent approach works well on real ontologies.

Finding all Justifications of OWL DL Entailments was presented at this event.

Keywords: Human-computer interaction, Semantic Web, Software agent, Software Agent, Web service, Web Service

Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc-aswc/2007/tracks/research/papers/267
Same as: http://revyu.com/things/iswc-aswc-2007-research-paper-267-finding-all

Explore this resource elsewhere:

• on Snorql
• on Sindice
• on dotAC Explorer