UCT CS Research Document Archive

Temporal Attributes: their Status and Subsumption

Keet, C. Maria and E.A. Nasubo Ongoma (2015) Temporal Attributes: their Status and Subsumption. In Koehler, H. and M. Saeki, Eds. Proceedings Asia-Pacific Conference on Conceptual Modelling (APCCM'15) 165, pages 61-70, Sydney, Australia.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.

Abstract

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 ERVT. 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.

EPrint Type:Conference Paper
Keywords:temporal conceptual model, Description logics, attribute
Subjects:F Theory of Computation: F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
H Information Systems: H.1 MODELS AND PRINCIPLES
ID Code:1003
Deposited By:Keet, C. Maria
Deposited On:12 Febuary 2015
Alternative Locations:http://www.meteck.org/files/TempAttAPCCM15.pdf