Ongoma, E.A. Nasubo and Keet, C. Maria and Meyer, Thomas (2014) Transition Constraints for Temporal Attributes, Proceedings of 27th International Workshop on Description Logics (DL'14), 17-20 July 2014, Vienna, Austria, 1193, 684-695, CEUR-WS.
PDF
DL14transAttributes.pdf Download (329kB) |
Abstract
Representing temporal data in conceptual data models and ontologies is required by various application domains. For it to be useful for modellers to represent the information precisely and reason over it, it is essential to have a language that is expressive enough to capture the required operational semantics of the time-varying information. Temporal modelling languages have little support for temporal attributes, if at all, yet attributes are a standard element in the widely used conceptual modelling languages such as EER and UML. This hiatus prevents one to utilise a complete temporal conceptual data model and keep track of evolving values of data and its interaction with temporal classes. A rich axiomatisation of fully temporised attributes is possible with a minor extension to the already very expressive description logic language DLRUS. We formalise the notion of transition of attributes, and their interaction with transition of classes. The transition specified for attributes are extension, evolution, and arbitrary quantitative extension.
Item Type: | Conference paper |
---|---|
Uncontrolled Keywords: | temporal logic, description logics, temporal conceptual modeling |
Subjects: | Theory of computation > Formal languages and automata theory Computing methodologies > Artificial intelligence |
Alternate Locations: | http://www.meteck.org/files/DL14transAttributes.pdf |
Date Deposited: | 19 Aug 2014 |
Last Modified: | 10 Oct 2019 15:32 |
URI: | http://pubs.cs.uct.ac.za/id/eprint/950 |
Actions (login required)
View Item |