View article

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—i.e., knowledge bases—as well as the problems of schema satisfiability and logical implication.