BIROn - Birkbeck Institutional Research Online

    A temporal description logic for reasoning over conceptual schemas and queries

    Artale, A. and Franconi, E. and Wolter, F. and Zakharyaschev, Michael (2002) A temporal description logic for reasoning over conceptual schemas and queries. In: Flesca, S. and Leone, N. and Ianni, G. (eds.) JELIA 2002: Logics in Artificial Intelligence. Lecture Notes in Computer Science 2424. Springer, pp. 98-110. ISBN 9783540441908.

    Full text not available from this repository.

    Abstract

    This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear temporal logic with Since and Until.We define a query language (where queries are non-recursive Datalog programs and atoms are complex DLRUS expressions) and investigate the problem of checking query containment under the constraints defined by DLRUS conceptual schemas—i.e., DLRUS knowledge bases—as well as the problems of schema satisfiability and logical implication.

    Metadata

    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 08 Nov 2021 13:53
    Last Modified: 08 Nov 2021 13:53
    URI: https://eprints.bbk.ac.uk/id/eprint/46572

    Statistics

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

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item