BIROn - Birkbeck Institutional Research Online

    When are description logic knowledge bases indistinguishable?

    Botoeva, E. and Kontchakov, Roman and Ryzhikov, V. and Wolter, F. and Zakharyaschev, Michael (2015) When are description logic knowledge bases indistinguishable? In: UNSPECIFIED (ed.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Palo Alto, U.S.: AAAI Press, pp. 4240-4246. ISBN 9781577357384.

    [img]
    Preview
    Text
    13589.pdf - Published Version of Record

    Download (497kB) | Preview

    Abstract

    Deciding inseparability of description logic knowledge bases (KBs) with respect to conjunctive queries is fundamental for many KB engineering and maintenance tasks including versioning, module extraction, knowledge exchange and forgetting. We study the combined and data complexity of this inseparability problem for fragments of Horn-ALCHI, including the description logics underpinning OWL 2 QL and OWL 2 EL.

    Metadata

    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Roman Kontchakov
    Date Deposited: 26 Nov 2015 13:50
    Last Modified: 24 Jun 2020 19:05
    URI: http://eprints.bbk.ac.uk/id/eprint/13589

    Statistics

    Downloads
    Activity Overview
    96Downloads
    613Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item