BIROn - Birkbeck Institutional Research Online

    Conjunctive query inseparability of OWL 2 QL TBoxes

    Konev, B. and Kontchakov, Roman and Michel, L. and Schneider, T. and Wolter, F. and Zakharyaschev, Michael (2011) Conjunctive query inseparability of OWL 2 QL TBoxes. In: Burgard, W. and Roth, D. (eds.) Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 221-226. ISBN 9781577355076.

    longversion.pdf - Author's Accepted Manuscript

    Download (458kB) | Preview


    The OWL2 profile OWL 2 QL, based on the DL-Lite family of description logics, is emerging as a major language for developing new ontologies and approximating the existing ones. Its main application is ontology based data access, where ontologies are used to provide background knowledge for answering queries over data. We investigate the corresponding notion of query inseparability (or equivalence) for OWL 2 QL ontologies and show that deciding query inseparability is PSpace-hard and in ExpTime. We give polynomial-time (incomplete) algorithms and demonstrate by experiments that they can be used for practical module extraction.


    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Roman Kontchakov
    Date Deposited: 13 May 2013 09:10
    Last Modified: 09 Aug 2023 12:32


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item