Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/eswc2011/paper/reasoning/11> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- 11 creator anees-ul-mehdi.
- 11 creator sebastian-rudolph.
- 11 creator stephan-grimm.
- 11 type InProceedings.
- 11 label "Epistemic Queries for OWL Knowledge Bases".
- 11 sameAs 11.
- 11 abstract "Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL2 reasoning steps thereby enabling the deployment of off-the-shelf OWL2 reasoning tools for this task. We prove formal correctness of our method, justify the omission of nominals and universal role, and provide an implementation as well as evaluation results.".
- 11 hasAuthorList authorList.
- 11 isPartOf proceedings.
- 11 keyword "Epistemic Querying".
- 11 keyword "OWL2".
- 11 keyword "Reasoning Interface".
- 11 title "Epistemic Queries for OWL Knowledge Bases".