Presented at: 8th Extended Semantic Web Conference (ESWC2011)
The SPARQL query language is currently being extended by W3C with so-called entailment regimes, which define how queries are evaluated under more expressive semantics than simple entailment. We describe a sound and complete algorithm for the OWL Direct Semantics entailment regime. The queries of the regime are very expressive since variables can occur within complex class expressions and can also bind to class or property names. We propose several novel optimizations such as strategies for determining a good query execution order, query rewriting techniques, and show how specialized OWL reasoning tasks and the class and property hierarchy can be used to reduce the query execution time. We provide a prototypical implementation and evaluate the efficiency of the proposed optimizations. For standard conjunctive queries our system performs comparably to already deployed systems. For complex queries an improvement of up to three orders of magnitude can be observed.
Keywords: OWL Direct Semantics entailment regime, SPARQL, optimization techniques
Resource URI on the dog food server: http://data.semanticweb.org/conference/eswc/2011/paper/reasoning/9
Explore this resource elsewhere: