%0 Conference Paper %1 Kalyanpur/2007/Finding %A Kalyanpur, Aditya %A Parsia, Bijan %A Horridge, Matthew %A Sirin, Evren %B Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea %C Berlin, Heidelberg %D 2007 %E Aberer, Karl %E Choi, Key-Sun %E Noy, Natasha %E Allemang, Dean %E Lee, Kyung-Il %E Nixon, Lyndon J B %E Golbeck, Jennifer %E Mika, Peter %E Maynard, Diana %E Schreiber, Guus %E Cudré-Mauroux, Philippe %I Springer Verlag %K 2007 dl entailment finding human-computer_interaction iswc justification owl research_14 semantic_web software_agent web_service %P 267--280 %T Finding all Justifications of OWL DL Entailments %U http://iswc2007.semanticweb.org/papers/267.pdf %V 4825 %X 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.

@inproceedings{Kalyanpur/2007/Finding, abstract = {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.}, added-at = {2007-11-07T19:13:58.000+0100}, address = {Berlin, Heidelberg}, author = {Kalyanpur, Aditya and Parsia, Bijan and Horridge, Matthew and Sirin, Evren}, biburl = {https://www.bibsonomy.org/bibtex/2b00234d45e5b53dcfd57a0cef786fde9/iswc2007}, booktitle = {Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea}, crossref = {http://data.semanticweb.org/conference/iswc-aswc/2007/proceedings}, editor = {Aberer, Karl and Choi, Key-Sun and Noy, Natasha and Allemang, Dean and Lee, Kyung-Il and Nixon, Lyndon J B and Golbeck, Jennifer and Mika, Peter and Maynard, Diana and Schreiber, Guus and Cudré-Mauroux, Philippe}, interhash = {c2c7c96610e3db09f09c943f44280cf7}, intrahash = {b00234d45e5b53dcfd57a0cef786fde9}, keywords = {2007 dl entailment finding human-computer_interaction iswc justification owl research_14 semantic_web software_agent web_service}, month = {November}, pages = {267--280}, publisher = {Springer Verlag}, series = {LNCS}, timestamp = {2007-11-07T19:20:55.000+0100}, title = {Finding all Justifications of OWL DL Entailments}, url = {http://iswc2007.semanticweb.org/papers/267.pdf}, volume = 4825, year = 2007 }