Description Logics for Modeling 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.

Extracted Key Phrases

4 Figures and Tables

Cite this paper

@inproceedings{Artale2003DescriptionLF, title={Description Logics for Modeling Dynamic Information}, author={Alessandro Artale and Enrico Franconi and Federica Mandreoli}, booktitle={Logics for Emerging Applications of Databases}, year={2003} }