Keet, CMNasubo Ongoma, EA2016-02-232016-02-232015-01Keet, CM and Nasubo Ongoma, EA. 2015. Temporal Attributes: their Status and Subsumption. Australasian Computer Science Week, Sydney, NSW, Australia, 27 - 30 January 2015http://pubs.cs.uct.ac.za/archive/00001003/http://www.meteck.org/files/TempAttAPCCM15.pdfhttp://hdl.handle.net/10204/8412Australasian Computer Science Week, Sydney, NSW, Australia, 27 - 30 January 2015. Due to copyright restrictions, the attached PDF file only contains the abstract of the full text item. For access to the full text item, please consult the publisher's websiteRepresenting 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.enTemporal conceptual data modelTemporal attributesDynamic dataDescription logicsConference PresentationKeet, C., & Nasubo Ongoma, E. (2015). Temporal Attributes: their Status and Subsumption. Australian Computer Society, Inc. http://hdl.handle.net/10204/8412Keet, CM, and EA Nasubo Ongoma. "Temporal Attributes: their Status and Subsumption." (2015): http://hdl.handle.net/10204/8412Keet C, Nasubo Ongoma E, Temporal Attributes: their Status and Subsumption; Australian Computer Society, Inc; 2015. http://hdl.handle.net/10204/8412 .TY - Conference Presentation AU - Keet, CM AU - Nasubo Ongoma, EA AB - 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. DA - 2015-01 DB - ResearchSpace DP - CSIR KW - Temporal conceptual data model KW - Temporal attributes KW - Dynamic data KW - Description logics LK - https://researchspace.csir.co.za PY - 2015 T1 - Temporal Attributes: their Status and Subsumption TI - Temporal Attributes: their Status and Subsumption UR - http://hdl.handle.net/10204/8412 ER -