论文信息 - Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships

Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships

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 [1] have shown.

Hans-Ulrich Krieger

[1] Thierry Declerck,et al. A Framework for Temporal Representation and Reasoning in Business Intelligence Applications , 2008, AAAI Spring Symposium: AI Meets Business Rules and Process Management.

[2] Carsten Lutz,et al. Combining interval-based temporal reasoning with general TBoxes , 2004, Artif. Intell..

[3] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.

[4] Theodore Sider. Four-Dimensionalism: An Ontology of Persistence and Time , 2002 .

[5] Manfred Schmidt-Schaubß,et al. Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[6] Richard Fikes,et al. A Reusable Ontology for Fluents in OWL , 2006, FOIS.

[7] Thierry Declerck,et al. A Hybrid Reasoning Architecture for Business Intelligence Applications , 2008, 2008 Eighth International Conference on Hybrid Intelligent Systems.