Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Concrete System: Pellet
-
Explanation & Debugging support
-
Motivation: It is hard to understand large and/or complex ontologies
-
Examples:
-
Why is a specific subclass relation inferred?
-
Why is an ontology inconsistent?
-
Pellet provides axiom pinpointing service:
-
For any inference, returns the (minimal set of) source axioms that cause the inference
-
Applications can track additional provenance information
-
Axiom pinpointing is the first step to explanations
-
Precise justifications (pinpoint parts of axioms) are ongoing work in Pellet‘s developement