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.

    [img]
    Preview
    Text
    longversion.pdf - Author's Accepted Manuscript

    Download (458kB) | Preview

    Abstract

    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.

    Statistics

    Downloads
    Activity Overview
    91Downloads
    148Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item