Temporal Attributes: their Status and Subsumption

Keet, C. Maria and Ongoma, E.A. Nasubo (2015) Temporal Attributes: their Status and Subsumption, Proceedings of Asia-Pacific Conference on Conceptual Modelling (APCCM'15), 27-30 January, 2015, Sydney, Australia, 165, 61-70, CRPIT.

[img] PDF

Download (501kB)


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.

Item Type: Conference paper
Uncontrolled Keywords: temporal conceptual model, Description logics, attribute
Subjects: Theory of computation > Formal languages and automata theory
Information systems
Alternate Locations: http://www.meteck.org/files/TempAttAPCCM15.pdf
Date Deposited: 12 Feb 2015
Last Modified: 10 Oct 2019 15:32
URI: http://pubs.cs.uct.ac.za/id/eprint/1003

Actions (login required)

View Item View Item