Goal-oriented Query Rewriting for OWL 2 QL

We present an optimized query rewriting algorithm for OWL 2 QL that computes the rewriting set of a user query by avoiding unnecessary inferences and extended clause subsumption checks. The evaluation shows a significant performance improvement in comparison to other similar approaches. Alternatively, instead of a rewriting set, the algorithm can produce an equivalent non-recursive datalog program.

• Type: Journal
• Year: 2011
• Where: DLOG
• Authors: Alexandros Chortaras, Despoina Trivela, Giorgos B. Stamou
• Keywords: Automated Reasoning, Datalog Program, DLOG 2011, Inferences, Performance Improvement