Sciweavers

Share
BIRTHDAY
2009
Springer

Foundations of Temporal Conceptual Data Models

9 years 10 months ago
Foundations of Temporal Conceptual Data Models
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provides a coherent model-theoretic formalisation for them. It then introduces a correct and succinct encoding in a subset of first-order temporal logic, namely DLRUS – the description logic DLR extended with the temporal operators Since and Until. At the end, results on the complexity of reasoning in temporal conceptual models are presented.
Alessandro Artale, Enrico Franconi
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where BIRTHDAY
Authors Alessandro Artale, Enrico Franconi
Comments (0)
books