Prexto: Query Rewriting under Extensional Constraints in DL-Lite

Presented at: 9th Extended Semantic Web Conference (ESWC2012)

by Riccardo Rosati

In this paper we present Prexto, an algorithm for comput- ing the perfect rewriting of unions of conjunctive queries over ontologies expressed in the description logic DL-LiteA. The main novelty of Prexto lies in the fact that it constitutes the ﰃrst technique for query rewriting over ontologies which fully exploits extensional constraints to optimize query rewriting. In addition, Prexto makes use of functional role axioms and of concept and role disjointness axioms to optimize the size of the rewritten query. We show that these optimizations allow Prexto to out- perform the existing query rewriting techniques for DL-Lite in practical cases.

Keywords: DL Lite, conjunctive queries, query rewriting

Resource URI on the dog food server:

Explore this resource elsewhere: