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.
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: | 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 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/46572 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
