Finding all justifications of OWL DL entailments

Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    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. © 2008 Springer-Verlag Berlin Heidelberg.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    PublisherSpringer Nature
    Pages267-280
    Number of pages13
    Volume4825
    ISBN (Print)3540762973, 9783540762973
    DOIs
    Publication statusPublished - 2007
    Event6th International Semantic Web Conference, ISWC 2007 and 2nd Asian Semantic Web Conference, ASWC 2007 - Busan
    Duration: 1 Jul 2007 → …

    Publication series

    NameLecture Notes in Computer Science

    Conference

    Conference6th International Semantic Web Conference, ISWC 2007 and 2nd Asian Semantic Web Conference, ASWC 2007
    CityBusan
    Period1/07/07 → …

    Keywords

    • Debugging
    • Justifications
    • OWL ontology explanation

    Fingerprint

    Dive into the research topics of 'Finding all justifications of OWL DL entailments'. Together they form a unique fingerprint.

    Cite this