caa a22 4500 463187156 CHVBK 20180406164857.0 cr unu---uuuuu 170326e20070601xx s 000 0 eng 10.1007/s10472-007-9068-z doi (NATIONALLICENCE)springer-10.1007/s10472-007-9068-z Evolving objects in temporal information systems [Elektronische Daten] [Alessandro Artale, Christine Parent, Stefano Spaccapietra] This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modelling language able to express both timestamping and evolution constraints. We conduct a deeper investigation of evolution constraints, eventually devising a model-theoretic semantics for a full-fledged model with both timestamping and evolution constraints. The proposed formalization is meant both to clarify the meaning of the various temporal constructors that appeared in the literature and to give a rigorous definition, in the context of temporal information systems, to notions like satisfiability, subsumption and logical implication. Furthermore, we show how to express temporal constraints using a subset of first-order temporal logic, i.e., $\mathcal{DLR}{_{\mathcal{US}}}$ the description logic $\mathcal{DLR}$ extended with the temporal operators Since and Until. We show how $\mathcal{DLR}{_{\mathcal{US}}}$ is able to capture the various modelling constraints in a succinct way and to perform automated reasoning on temporal conceptual models. Springer Science+Business Media B.V., 2007 Temporal data models nationallicence Description logics nationallicence Artale Alessandro Faculty of Computer Science, Free University of Bolzano, I, Bolzano, Italy aut Parent Christine HEC/ISI, Université de Lausanne, CH, Lausanne, Switzerland aut Spaccapietra Stefano Database Laboratory, Ecole Polytechnique Fédérale Lausanne, CH, Lausanne, Switzerland aut Annals of Mathematics and Artificial Intelligence Springer Netherlands 50/1-2(2007-06-01), 5-38 1012-2443 50:1-2<5 2007 50 10472 https://doi.org/10.1007/s10472-007-9068-z text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10472-007-9068-z text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Artale Alessandro Faculty of Computer Science, Free University of Bolzano, I, Bolzano, Italy aut NATIONALLICENCE 700 1- Parent Christine HEC/ISI, Université de Lausanne, CH, Lausanne, Switzerland aut NATIONALLICENCE 700 1- Spaccapietra Stefano Database Laboratory, Ecole Polytechnique Fédérale Lausanne, CH, Lausanne, Switzerland aut NATIONALLICENCE 773 0- Annals of Mathematics and Artificial Intelligence Springer Netherlands 50/1-2(2007-06-01), 5-38 1012-2443 50:1-2<5 2007 50 10472 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer