资 源 简 介
Overview
IQAROS is a prototypical query rewriting system that is based on incremental query rewriting. Given an ontology (in DL-Lite) and a Conjunctive query IQAROS can create a rewriting that is a Union of Conjunctive Queries.
The motivation for creating IQAROS was the theoretical study of query rewriting under query extensions. More precisely given a query and a rewriting for it we studied how to compute the rewriting of the query that was produced by the extension of the initial one with an atom. Interestingly the techniques that we developed for rewriting extended queries imply a novel approach for computing a rewriting for fixed queries. More precisely, given a (fixed) query we where able to pick one of its atoms compute a rewriting for it and then iteratively add the rest of the atoms by extending the previously computed rewriting. When all the atoms of the input query have been processed a rewriting for that query would have been computed.
Public
