Finding All Justifications of OWL DL Entailments

  • Aditya Kalyanpur
  • Bijan Parsia
  • Matthew Horridge
  • Evren Sirin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4825)


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.


OWL Ontology Explanation Debugging Justifications 


  1. 1.
    Noy, N., Sintek, M., Decker, S., Crubezy, M., Fergerson, R., Musen, M.: Creating semantic web contents with Protégé-2000. IEEE Intelligent Systems (2001)Google Scholar
  2. 2.
    Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J.: Swoop: A web ontology editing browser. Journal of Web Semantics 4(2) (2006)Google Scholar
  3. 3.
    Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.: Repairing unsatisfiable concepts in owl ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Schlobach, S., Huang, C.R., Van-Harmelen, F.: Debugging incoherent terminologies. In: Journal of Automated Reasoning (JAL) (in press, 2007)Google Scholar
  5. 5.
    Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. Journal of Web Semantics 3(4) (2005)Google Scholar
  6. 6.
    Horrocks, I., Patel-Schneider, P.: Reducing OWL entailment to description logic satisfiability. In: International Semantic Web Conference (2003)Google Scholar
  7. 7.
    Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32, 57–95 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Sirin, E., Parsia, B.: Pellet system description. In: Description Logics (DL) (2004)Google Scholar
  9. 9.
    Horrocks, I.: FaCT and iFaCT. In: Description Logics (1999)Google Scholar
  10. 10.
    Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms (Technical Report RR-93-20)Google Scholar
  11. 11.
    Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI 2003 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Aditya Kalyanpur
    • 1
  • Bijan Parsia
    • 2
  • Matthew Horridge
    • 2
  • Evren Sirin
    • 3
  1. 1.IBM Watson Research Center, 19 Skyline Drive, Hawthorne NY 10532USA
  2. 2.School of Computer Science, University of ManchesterUK
  3. 3.Clark & Parsia LLC, Washington DCUSA

Personalised recommendations