BIROn - Birkbeck Institutional Research Online

    Module extraction via query inseparability in OWL 2 QL

    Konev, B. and Kontchakov, Roman and Ludwig, M. and Schneider, T. and Wolter, F. and Zakharyaschev, Michael (2011) Module extraction via query inseparability in OWL 2 QL. In: UNSPECIFIED (ed.) Proceedings of the 24th International Workshop of Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745. CEUR Workshop Proceedings.

    [img]
    Preview
    Text
    DL-11-modules.pdf - Author's Accepted Manuscript

    Download (421kB) | Preview

    Abstract

    We show that deciding conjunctive query inseparability for OWL 2 QL ontologies 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.

    Metadata

    Item Type: Book Section
    Additional Information: Proceedings of the DL Home 2011 International Workshop on Description Logics (DL2011) - Barcelona, Spain, July 13-16, 2011
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Roman Kontchakov
    Date Deposited: 13 May 2013 08:48
    Last Modified: 27 Jun 2020 05:56
    URI: http://eprints.bbk.ac.uk/id/eprint/6636

    Statistics

    Downloads
    Activity Overview
    140Downloads
    152Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item