Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2007+aswc2007/tracks/research/papers/267> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- 267 creator aditya-kalyanpur.
- 267 creator bijan-parsia.
- 267 creator evren-sirin.
- 267 creator matthew-horridge.
- 267 type InProceedings.
- 267 label "Finding all Justifications of OWL DL Entailments".
- 267 sameAs 267.
- 267 abstract "Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient to produce an entailment) has emerged as a key inference service for the Web Ontology Language (OWL). Justifications are essential for debugging unsatisfiable classes and contradictions. The availability of justifications as explanations of entailments improves the understandability of large and complex ontologies. In this paper, we present several algorithms for computing all the justifications of an entailment in an OWL-DL Ontology and show, by an empirical evaluation, that even a reasoner independent approach works well on real ontologies.".
- 267 hasAuthorList authorList.
- 267 hasTopic Human-computer_interaction.
- 267 hasTopic Semantic_Web.
- 267 hasTopic Software_agent.
- 267 hasTopic Web_service.
- 267 isPartOf proceedings.
- 267 title "Finding all Justifications of OWL DL Entailments".