Scribd Logo
Upload

Welcome to Scribd!

  • Explaining and Repairing Description Logic Ontologies

    Uploaded by

    Dani Chao
    10 views33 pages
    This document discusses description logic ontologies and techniques for explaining and repairing errors in ontologies. It covers reasoning with description logics, generating justifications for inferences, computing proofs, detecting sources of errors through axiom pinpointing, and methods for repairing ontologies by removing problematic axioms. Tools like Protege, Evee, and Evonne are mentioned that support working with ontologies, generating explanations, and aiding the repair of ontologies.

    Original Description:

    Original Title

    Explaining_and_Repairing_Description_Logic_Ontologies

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document discusses description logic ontologies and techniques for explaining and repairing errors in ontologies. It covers reasoning with description logics, generating justifications for inferences, computing proofs, detecting sources of errors through axiom pinpointing, and methods for repairing ontologies by removing problematic axioms. Tools like Protege, Evee, and Evonne are mentioned that support working with ontologies, generating explanations, and aiding the repair of ontologies.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    10 views33 pages

    Explaining and Repairing Description Logic Ontologies

    Uploaded by

    Dani Chao
    This document discusses description logic ontologies and techniques for explaining and repairing errors in ontologies. It covers reasoning with description logics, generating justifications for inferences, computing proofs, detecting sources of errors through axiom pinpointing, and methods for repairing ontologies by removing problematic axioms. Tools like Protege, Evee, and Evonne are mentioned that support working with ontologies, generating explanations, and aiding the repair of ontologies.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 33

    Franz Baader

    Explaining and Repairing


    Theoretical Computer Science
    Description Logic Ontologies TU Dresden, Germany

    Source: Protégé Wiki

    Dresden © Franz Baader


    Franz Baader
    Explaining and Repairing
    Theoretical Computer Science
    Description Logic Ontologies TU Dresden, Germany

    Dresden © Franz Baader


    Knowledge Representation

    Dresden © Franz Baader


    Description Logics

    Dresden © Franz Baader


    Description Logics from a general point of view

    Dresden © Franz Baader


    Dresden © Franz Baader
    Dresden © Franz Baader
    Reasoning makes implicitly represented knowledge explicit,
    provided as service by the DL system, e.g.:

    polynomial
    reductions

    in presence
    of negation
    Dresden © Franz Baader
    Dresden © Franz Baader
    Reasoning example in Protégé

    Dresden © Franz Baader


    Error management and explanation

    Dresden © Franz Baader


    Error management and explanation

    Dresden © Franz Baader


    Axiom Pinpointing

    Dresden © Franz Baader


    Axiom Pinpointing

    Dresden © Franz Baader


    Justification example in Protégé

    Dresden © Franz Baader


    Proofs

    Dresden © Franz Baader


    Proofs

    Dresden © Franz Baader


    Proofs

    Dresden © Franz Baader


    Proofs

    Dresden © Franz Baader


    19
    Proofs

    Dresden © Franz Baader


    20
    Proofs in Protégé

    Evonne

    Dresden © Franz Baader


    Classical Repair

    Dresden © Franz Baader


    Classical Repair

    Dresden © Franz Baader


    Repairs

    Evonne

    Dresden © Franz Baader


    Classical Repair

    Dresden © Franz Baader


    Optimal Repair

    Dresden © Franz Baader


    Optimal Repair

    Dresden © Franz Baader


    Optimal Repair

    Dresden © Franz Baader


    Summary

    Dresden © Franz Baader


    References

    Dresden © Franz Baader


    References

    Dresden © Franz Baader


    References

    Dresden © Franz Baader


    Systems download links

    Protégé ontology editor


    https://protege.stanford.edu/

    Evee library and Protégé plugin for justifications and proofs

    https://github.com/de-tu-dresden-inf-lat/evee

    Evonne visualisation tool supporting explanation and repair

    https://imld.de/en/research/research-projects/evonne/

    Dresden © Franz Baader

    You might also like