Tractable query answering for description logics via query rewriting

We consider the problem of answering conjunctive queries over description logic knowledge bases via query rewriting. Given a conjunctive query Q and a TBox T, we compute a new query Q′ that incorporates the semantic consequences of T such that, for any ABox A, evaluating Q over T and A can be done b...

Full description

Bibliographic Details
Main Author: Perez-Urbina, Hector M.
Other Authors: Horrocks, Ian : Motik, Boris
Published: University of Oxford 2010
Subjects:
004
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.532003