Conjunctive query inseparability of OWL 2 QL TBoxes

Part of book or chapter of book English OPEN
Konev, B. ; Kontchakov, Roman ; Michel, L. ; Schneider, T. ; Wolter, F. ; Zakharyaschev, Michael (2011)
  • Publisher: AAAI Press
  • Subject: csis

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.
  • References (25)
    25 references, page 1 of 3

    Artale, A.; Calvanese, D.; Kontchakov, R.; and Zakharyaschev, M. 2009. The DL-Lite family and relations.

    Journal of Artificial Intelligence Research 36:1-69.

    Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P., eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.

    Baier, C., and Katoen, J.-P. 2007. Principles of Model Checking. MIT Press.

    Botoeva, E.; Calvanese, D.; and Rodriguez-Muro, M. 2010.

    of AIMSA, 21-31. Springer.

    Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2006. Data complexity of query answering in description logics. In Proc. of KR, 260-270.

    Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3):385-429.

    2008. Modular reuse of ontologies: Theory and practice.

    JAIR 31:273-318.

  • Metrics
    views in OpenAIRE
    views in local repository
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    Birkbeck Institutional Research Online - IRUS-UK 0 11
Share - Bookmark