MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Reasoning on temporal conceptual schemas with dynamic constraints (2004) [6 citations — 3 self]

Download:
Download as a PDF
by Alessandro Artale
In 11 th Int. Symposium on Temporal Representation and Reasoning (TIME04). IEEE Computer Society, 2004. Also in Proc. of DL’04
http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-104/01Artale.pdf
Add To MetaCart

Abstract:

Temporally enhanced conceptual models have been developed to help designing temporal databases [12]. In this paper we deal with Extended Entity-Relationship (EER) diagrams 1 used to model temporal databases. The temporal conceptual model ERV T has been introduced both to formally clarify the meaning of the various temporal constructs appeared in

Citations

78 Many-Dimensional Modal Logics: Theory and Applications – Gabbay, Kurucz, et al. - 2003
74 Unifying class-based representation formalisms – Calvanese, Lenzerini, et al. - 1999
72 A temporal description logic for reasoning about actions and plans – Artale, Franconi - 1998
66 Temporal Data Management – Jensen, Snodgrass - 1999
62 et al. A Consensus Glossary of Temporal Database Concepts – Jensen - 1998
52 Temporal logic in information systems – Chomicki, Toman - 1998
52 Unifying temporal data models via a conceptual model – Jensen, Soo, et al. - 1993
43 A Conceptual Modelling Formalism for Temporal Database Applications – Theodoulidis, Loucopoulos, et al. - 1991
42 Satisfiability problem in description logics with modal operators – Wolter, Zakharyaschev - 1998
33 Temporal ER modeling with description logics – Artale, Franconi - 1999
33 A Survey of Temporal Extensions of Description Logics – Artale, Franconi - 2001
26 Conceptual modeling of time-varying information – Gregersen, Jensen - 1998
23 Reasoning on UML class diagrams – Berardi, Calvanese, et al. - 2003
22 Modeling Time from a Conceptual Perspective – Spaccapietra, Parent, et al. - 1998
8 Description logics for modelling dynamic information – Artale, Franconi, et al. - 2003