Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2008/paper/poster_demo/47> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- 47 creator bijan-parsia.
- 47 creator matthew-horridge.
- 47 creator ulrike-sattler.
- 47 type InProceedings.
- 47 label "Explanation of OWL Entailments in Protege 4".
- 47 sameAs 47.
- 47 abstract "This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protege 4. These explanations take the form of justifications. A justification is a minimal sets of axioms that is sufficient for a given entailment to hold. Justification finding services for Protege 4 are presented, including what have become de-facto explanation services such as root/derived pinpointing, and justification presentation. In addition to this, an implementation of recent theoretical work that computes so-called precise justifications is presented. Finally, preliminary work and new ideas of how justifications might be made easier to understand is a topic for discussion. All feedback and discussion is welcomed. Protege 4 is an open source, freely available OWL ontology editor.".
- 47 hasAuthorList authorList.
- 47 isPartOf poster_demo_proceedings.
- 47 keyword "Explanation".
- 47 keyword "OWL".
- 47 title "Explanation of OWL Entailments in Protege 4".