BIROn - Birkbeck Institutional Research Online

    Inseparability and conservative extensions of description logic ontologies: a survey

    Botoeva, E. and Konev, B. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2017) Inseparability and conservative extensions of description logic ontologies: a survey. In: Pan, J.Z. and Calvanese, D. and Eiter, T. and Horrocks, I. and Kifer, M. and Lin, F. and Zhao, Y. (eds.) Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. Lecture Notes in Computer Science 9885. New York, U.S.: Springer, pp. 27-89. ISBN 9783319494920.

    Full text not available from this repository.

    Abstract

    The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization, forgetting, and knowledge exchange. What ‘safe replacement’ means depends on the intended application of the ontology. If, for example, it is used to query data, then the answers to any relevant ontology-mediated query should be the same over any relevant data set; if, in contrast, the ontology is used for conceptual reasoning, then the entailed subsumptions between concept expressions should coincide. This gives rise to different notions of ontology inseparability such as query inseparability and concept inseparability, which generalize corresponding notions of conservative extensions. In this chapter, we survey results on various notions of inseparability in the context of description logic ontologies, discussing their applications, useful model-theoretic characterizations, algorithms for determining whether two ontologies are inseparable (and, sometimes, for computing the difference between them if they are not), and the computational complexity of this problem.

    Metadata

    Item Type: Book Section
    Additional Information: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures. Series ISSN: 0302-9743
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Administrator
    Date Deposited: 15 Jun 2017 14:21
    Last Modified: 09 Aug 2023 12:41
    URI: https://eprints.bbk.ac.uk/id/eprint/18928

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    376Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item