BIROn - Birkbeck Institutional Research Online

    Minimal module extraction from DL-Lite ontologies using QBF solvers

    Kontchakov, Roman and Pulina, L. and Sattler, U. and Schneider, T. and Selmer, Petra and Wolter, F. and Zakharyaschev, Michael (2009) Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Boutilier, C. (ed.) IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. California, U.S.: AAAI Press, pp. 836-841. ISBN 9781577354260.

    Full text not available from this repository.

    Abstract

    We present a formal framework for (minimal) module extraction based on an abstract notion of inseparability w.r.t. a signature between ontologies. Two instances of this framework are discussed in detail for DL-Lite ontologies: concept inseparability, when ontologies imply the same complex concept inclusions over the signature, and query inseparability, when they give the same answers to existential queries for any instance data over the signature. We demonstrate that different types of corresponding minimal modules for these inseparability relations can be automatically extracted from large-scale DL-Lite ontologies by composing the tractable syntactic locality-based module extraction algorithm with intractable extraction algorithms using the multi-engine QBF solver AQME. The extracted minimal modules are compared with those obtained using non-logic-based approaches.

    Metadata

    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Administrator
    Date Deposited: 13 May 2013 13:15
    Last Modified: 11 Oct 2016 12:02
    URI: https://eprints.bbk.ac.uk/id/eprint/6713

    Statistics

    Downloads
    Activity Overview
    0Downloads
    138Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item