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]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
TempAttAPCCM15.pdf Download (501kB) |
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.
| 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 |