BIROn - Birkbeck Institutional Research Online

    Reasoning over extended ER models

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, M. (2007) Reasoning over extended ER models. In: Parent, C. and Schewe, K.-D. and Storey, V.S. and Thalheim, B. (eds.) Conceptual Modeling, ER 2007: 26th International Conference on Conceptual Modeling. Lecture Notes in Computer Science 4801. Springer, pp. 277-292. ISBN 9783540755623.

    Full text not available from this repository.

    Abstract

    We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs: isa between entities and relationships, disjointness and covering of entities and relationships, cardinality constraints for entities in relationships and their refinements as well as multiplicity constraints for attributes. We extend the known ExpTime-completeness result for UML class diagrams [5] and show that reasoning over EER diagrams with isa between relationships is ExpTime-complete even without relationship covering. Surprisingly, reasoning becomes NP-complete when we drop isa between relationships (while still allowing all types of constraints on entities). If we further omit disjointness and covering over entities, reasoning becomes polynomial. Our lower complexity bound results are proved by direct reductions, while the upper bounds follow from the correspondences with expressive variants of the description logic DL-Lite, which we establish in this paper. These correspondences also show the usefulness of DL-Lite as a language for reasoning over conceptual models and ontologies.

    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 13:27
    Last Modified: 11 May 2021 13:27
    URI: https://eprints.bbk.ac.uk/id/eprint/44217

    Statistics

    Downloads
    Activity Overview
    0Downloads
    17Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item