DFKI-LT - Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships
Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships
1 KI 2008: Advances in Artificial Intelligence,
Lecture Notes in Artificial Intelligence number 5243,
Representing temporally-changing information becomes increasingly important for reasoning & query services defined on top of RDF and OWL, and for the Semantic Web/Web 2.0 in general. Extending binary OWL properties or RDF triples with a further temporal argument either lead to additional objects or to reification, as Welty et al. (2005) have shown. We argue that temporal description logics (Lutz, 2004) are not able to represent temporally-changing information, since they are geared towards synchronic relationships, not diachronic ones. In this paper, we critically discuss several well-known approaches as presented in Welty et al. (2005), add a new one, and finally reinterpret the OWL encoding of the 4D/perdurantist view. The reinterpretation has several advantages and requires no rewriting of an ontology that lacks a treatment of time. We also suggest that practical OWL reasoning should support means for temporal annotation of ABox relation instances. The work discussed in this paper has been carried out in an EU-funded project called MUSING (http://www.musing.eu) and has been successfully applied to the PROTON upper-level ontology by equipping it with a concept of time and for representing temporally-changing relationships in MUSING.