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


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.