Output details
11 - Computer Science and Informatics
University of Oxford
Tractable query answering and rewriting under description logic constraints
<22>
Answering queries over an incomplete database w.r.t. a set of Description Logic (DL) constraints is an important computational task with applications in fields as diverse as information integration and metadata management in the Semantic Web. This paper presents a novel query rewriting algorithm that handles constraints modelled in the DL ELHIO(neg). It proves that answering conjunctive queries in this setting is PTime-complete w.r.t. data complexity and that the algorithm is worst-case optimal; it also proves that the algorithm remains worst-case optimal for various weaker description logics of the EL and DL-Lite families.