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.
Explanation & Debugging support
Motivation: It is hard to understand large and/or complex ontologies
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
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License