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.


    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.


    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 08 Nov 2021 13:53
    Last Modified: 09 Aug 2023 12:52


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item