Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2010/paper/123> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- 123 creator bijan-parsia.
- 123 creator matthew-horridge.
- 123 creator ulrike-sattler.
- 123 type InProceedings.
- 123 label "Justification Oriented Proofs in OWL".
- 123 sameAs 123.
- 123 abstract "Justifications - that is, minimal entailing subsets of an ontology - are currently the dominant form of explanation provided by ontology engineering environments, especially those focused on the Web Ontology Language (OWL). Despite this, there are naturally occurring justifications that can be very difficult to understand. In essence, justifications are merely the premises of a proof and, as such, do not articulate the (often non-obvious) reasoning which connect those premises with the conclusion. This paper presents justification oriented proofs as a potential solution to this problem.".
- 123 hasAuthorList authorList.
- 123 isPartOf proceedings.
- 123 keyword "semantic web".
- 123 title "Justification Oriented Proofs in OWL".