Query Answering over SROIQ Knowledge Bases with SPARQL

W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound and complete algorithm for the OWL Direct Semantics entailment regime. Since OWL’s Direct Semantics is based on Description Logics (DLs), this results in an expressive query language for DL knowledge bases. The query language differs from the commonly studied conjunctive queries in that it only has distinguished variables. Furthermore, variables can occur within complex concepts and can also bind to concept or role names. We provide a prototypical implementation and propose several novel optimizations strategies. We evaluate the efficiency of the proposed optimizations and find that for ABox queries our system performs comparably to already deployed systems. For complex queries an improvement of up to three orders of magnitude can be observed.

• Type: Journal
• Year: 2011
• Where: DLOG
• Authors: Ilianna Kollia, Birte Glimm, Ian Horrocks
• Keywords: Automated Reasoning, Description Logics, DLOG 2011, Prototypical Implementation, SPARQL Query Language