BIROn - Birkbeck Institutional Research Online

    Modularity in DL-Lite

    Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2007) Modularity in DL-Lite. In: Calvanese, D. and Franconi, E. and Haarslev, V. and Lembo, D. and Motik, B. and Turhan, A.-Y. and Tessaris, S. (eds.) Proceedings of the 2007 International Workshop on Description Logics. CEUR Workshop Proceedings.

    Full text not available from this repository.

    Abstract

    We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ontologies. For two members of the DL-Lite family of description logics, we prove important metaproperties of these notions such as robustness under joins, vocabulary extensions, and iterated import of ontologies. The computational complexity of the corresponding reasoning tasks is investigated.

    Metadata

    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 11 May 2021 12:33
    Last Modified: 11 May 2021 12:33
    URI: https://eprints.bbk.ac.uk/id/eprint/44216

    Statistics

    Downloads
    Activity Overview
    0Downloads
    9Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item