Temporal Attributes: Status and Subsumption

Representing data that changes over time in conceptual data models is required by various application domains, and requires a language that is expressive enough to fully capture the operational semantics of the time-varying information. Temporal modelling languages typically focus on representing and reasoning over temporal classes and relationships, but have scant support for temporal attributes, if at all. This prevents one to fully utilise a temporal conceptual data model, which, however, is needed to model not only evolving objects (e.g., an employee’s role), but also its attributes, such as changes in salary and bonus payouts. To characterise temporal attributes precisely, we use the DLRUS Description Logic language to provide its model-theoretic semantics, therewith essentially completing the temporal ER language ERV T . The new notion of status attribute is introduced to capture the possible changes, which results in several logical implications they entail, including their interaction with temporal classes to ensure correct behaviour in subsumption hierarchies, paving the way to verify automatically whether a temporal conceptual data model is consistent.

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

[2]  Richard T. Snodgrass,et al.  Capturing Telic/Atelic Temporal Data Semantics: Generalizing Conventional Conceptual Models , 2014, IEEE Transactions on Knowledge and Data Engineering.

[3]  Stefano Spaccapietra,et al.  Conceptual modeling for traditional and spatio-temporal applications - the MADS approach , 2006 .

[4]  Frank Wolter,et al.  Temporal Description Logic for Ontology-Based Data Access , 2013, IJCAI.

[5]  Diego Calvanese,et al.  Expressive Description Logics , 2003, Description Logic Handbook.

[6]  Diego Calvanese,et al.  Introducing Datatypes in DL-Lite , 2012, ECAI.

[7]  Pablo R. Fillottrani,et al.  Toward an Ontology-Driven Unifying Metamodel for UML Class Diagrams, EER, and ORM2 , 2013, ER.

[8]  Nicola Guarino,et al.  Formalising Temporal Constraints on Part-Whole Relations , 2008, KR.

[9]  Peter McBrien.  Temporal Constraints in Non-temporal Data Modelling Languages , 2008, ER.

[10]  Alessandro Artale,et al.  DL-Lite with Attributes and Datatypes , 2012, ECAI.

[11]  Carlo Combi,et al.  Designing the reconciled schema for a pharmacovigilance data warehouse through a temporally-enhanced ER model , 2012, SHB '12.

[12]  Stefano Spaccapietra,et al.  Evolving objects in temporal information systems , 2007, Annals of Mathematics and Artificial Intelligence.

[13]  Gunter Saake,et al.  Revised Version of the Modelling Language TROLL , 1994 .

[14]  C. Maria Keet,et al.  Essential, Mandatory, and Shared Parts in Conceptual Data Models , 2009, Innovations in Information Systems Modeling.

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

[16]  Franz Baader,et al.  Temporalizing Ontology-Based Data Access , 2013, CADE.

[17]  Thomas Andreas Meyer,et al.  Transition Constraints for Temporal Attributes , 2014, Description Logics.

[18]  C. Maria Keet,et al.  A Basic Characterization of Relation Migration , 2010, OTM Workshops.

[19]  Terry A. Halpin,et al.  Temporal Modeling and ORM , 2008, OTM Workshops.

[20]  Christian Schläger,et al.  Supporting Attribute-based Access Control in Authorization and Authentication Infrastructures with Ontologies , 2007, J. Softw..

[21]  Carsten Lutz,et al.  Temporal Description Logics: A Survey , 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

[22]  Arie Segev,et al.  Extended Update Functionality in Temporal Databases , 1997, Temporal Databases, Dagstuhl.