BIROn - Birkbeck Institutional Research Online

    Can you tell the difference between DL-Lite ontologies?

    Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2008) Can you tell the difference between DL-Lite ontologies? In: Brewka, G. and Lang, J. (eds.) Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning (2008). California, U.S.: AAAI Press, pp. 285-295. ISBN 9781577353843.

    Full text not available from this repository.

    Abstract

    We develop a formal framework for comparing different versions of DL-Lite ontologies. Four notions of difference and entailment between ontologies are introduced and their applications in ontology development and maintenance discussed. These notions are obtained by distinguishing between differences that can be observed among concept inclusions, answers to queries over ABoxes, and by taking into account additional context ontologies. We compare these notions, study their meta-properties, and determine the computational complexity of the corresponding reasoning tasks. Moreover, we show that checking difference and entailment can be automated by means of encoding into QBF satisfiability and using off-the-shelf QBF solvers. Finally, we explore the relationship between the notion of forgetting (or uniform interpolation) and our notions of difference between ontologies.

    Metadata

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

    Statistics

    Downloads
    Activity Overview
    0Downloads
    142Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item