Description Logics for Modelling Dynamic Information

In the first part of this Chapter we will introduce a general temporally enhanced conceptual data model able to represent time varying data, in the spirit of a temporally enhanced Entity-Relationship data model. In the second part, we will introduce an object-oriented conceptual data model enriched with schema change operators, which are able to represent the explicit temporal evolution of the schema while maintaining a consistent view on the (static) instantiated data. We will introduce a provably correct encoding of both conceptual data models and their inference problems in Description Logics. In this way, we study the properties of both the temporal conceptual data model and the object-oriented data model with schema change facilities.

[1]  Richard T. Snodgrass,et al.  The temporal query language TQuel , 1987, TODS.

[2]  Editors , 1986, Brain Research Bulletin.

[3]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[4]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[5]  Pericles Loucopoulos,et al.  A conceptual modelling formalism for temporal database applications , 1991, Inf. Syst..

[6]  Branka Tauzovich,et al.  Towards Temporal Extensions to the Entity-Relationship Model , 1991, International Conference on Conceptual Modeling.

[7]  Gary Hall,et al.  Modeling transition , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[8]  Gary Hall,et al.  An abstraction mechanism for modeling generation , 1992, [1992] Eighth International Conference on Data Engineering.

[9]  Alexander Borgida,et al.  Loading data into description reasoners , 1993, SIGMOD Conference.

[10]  Christian S. Jensen,et al.  Unifying Temporal Data Models via a Conceptual Model Unifying Temporal Data Models via a Conceptual Model , 1993 .

[11]  Fabrizio Ferrandina,et al.  Schema and Database Evolution in the O2 Object Database System , 1995, VLDB.

[12]  Richard T. Snodgrass,et al.  The TSQL2 Temporal Query Language , 1995 .

[13]  Alexander Borgida,et al.  Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..

[14]  John F. Roddick,et al.  A survey of schema versioning issues for database systems , 1995, Inf. Softw. Technol..

[15]  John F. Roddick,et al.  Schema Versioning , 1995, The TSQL2 Temporal Query Language.

[16]  M. Tamer Özsu,et al.  An axiomatic model of dynamic schema evolution in objectbase systems , 1997, TODS.

[17]  Ramez Elmasri,et al.  The Consensus Glossary of Temporal Database Concepts - February 1998 Version , 1997, Temporal Databases, Dagstuhl.

[18]  Fabio Grandi,et al.  Schema Versioning for Multitemporal Relational Databases , 1997, Inf. Syst..

[19]  Object identity as a query language primitive , 1998, JACM.

[20]  David Toman,et al.  Logics for Databases and Information Systems , 1998 .

[21]  Diego Calvanese,et al.  Information integration: conceptual modeling and reasoning support , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[22]  Stefano Spaccapietra,et al.  Modeling time from a conceptual perspective , 1998, CIKM '98.

[23]  Diego Calvanese,et al.  Description Logics for Conceptual Data Modeling , 1998, Logics for Databases and Information Systems.

[24]  Christian S. Jensen,et al.  Conceptual Modeling of Time-Varying Information , 2004, CCCT.

[25]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[26]  Christian S. Jensen,et al.  Temporal Data Management , 1999, IEEE Trans. Knowl. Data Eng..

[27]  Diego Calvanese,et al.  Unifying Class-Based Representation Formalisms , 2011, J. Artif. Intell. Res..

[28]  Enrico Franconi,et al.  Temporal ER Modeling with Description Logics , 1999, ER.

[29]  Frank Wolter,et al.  Modal Description Logics: Modalizing Roles , 1999, Fundam. Informaticae.

[30]  Ulrike Sattler,et al.  A Data Warehouse Conceptual Data Model for Multidimensional Aggregation , 1999, DMDW.

[31]  Christian S. Jensen,et al.  Temporal Entity-RelationshipModels | a Survey , 1996 .

[32]  François Goasdoué,et al.  The Use of CARIN Language and Algorithms for Information Integration: The PICSEL System , 2000, Int. J. Cooperative Inf. Syst..

[33]  Paolo Bresciani,et al.  A Knowledge Based Paradigm for Querying Databases , 2000, DEXA.

[34]  Matthias Jarke,et al.  Multidimensional Data Models and Aggregation , 2000 .

[35]  Enrico Franconi,et al.  Knowledge Representation meets Digital Libraries , 2000, DELOS.

[36]  Diego Calvanese,et al.  Keys for Free in Description Logics , 2000, Description Logics.

[37]  Enrico Franconi,et al.  A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases , 2000, Computational Logic.

[38]  Matthias Jarke,et al.  Concept based design of data warehouses: the DWQ demonstrators , 2000, SIGMOD '00.

[39]  Enrico Franconi,et al.  A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries , 2002, JELIA.

[40]  Andrea Calì,et al.  A Formal Framework for Reasoning on UML Class Diagrams , 2002, ISMIS.

[41]  Francesco M. Donini,et al.  Complexity of Reasoning , 2003, Description Logic Handbook.

[42]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[43]  Vipul Kashyap,et al.  OBSERVER: An Approach for Query Processing in Global Information Systems Based on Interoperation Across Pre-Existing Ontologies , 2000, Distributed and Parallel Databases.

[44]  David Toman,et al.  3 TEMPORAL LOGIC IN INFORMATION SYSTEMS , .