The DLRUS Temporal Description Logic.
Alessandro Artale, Enrico Franconi, Milenko Mosurović, Frank Wolter, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic 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 expressions) and investigate the problem of checking query containment under the constraints defined by conceptual schemas, as well as the problems of schema satisfiability and logical implication.