Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2009/paper/poster_demo/138> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- 138 creator bijan-parsia.
- 138 creator matthew-horridge.
- 138 creator ulrike-sattler.
- 138 type InProceedings.
- 138 label "Understanding Justifications for Entailments in OWL".
- 138 sameAs 138.
- 138 abstract "Recent work in explanation of entailments in ontologies has focused on justifications and their variants. While in many cases, just presenting the justification is sufficient for user understanding, and in all cases justifications are much better than nothing, we have empirically identified cases where understanding how a justification supports an entailment is inordinately difficult. Indeed there are naturally occurring justifications that people, with varying expertise in OWL, cannot understand. To address this problem, we have developed a novel conceptual framework for justification oriented proofs. Given a justification for an entailment in an ontology, intermediate inference steps, called lemmas, are automatically derived, that bridge the gap between the axioms in the justification and the entailment. The proof shows in a stepwise way how the lemmas and ultimately the entailment follow from the justification. At the heart of the framework is the notion of a ``complexity model'', which predicts how easy or difficult it is for a user to understand a justification, and is used for selecting the lemmas to insert into a proof. This poster and demo presents this framework backed by a prototype implementation.".
- 138 hasAuthorList authorList.
- 138 hasTopic Semantic_Web.
- 138 isPartOf proceedings.
- 138 title "Understanding Justifications for Entailments in OWL".