Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge

Authors:
Sang-Kyun Kim;Mi-Young Song;Chul Kim;Sang-Jun Yea;Hyun Chul Jang;Kyu-Chul Lee
Affiliations:
Korea Institute of Oriental Medicine, South Korea;Korea Institute of Oriental Medicine, South Korea;Korea Institute of Oriental Medicine, South Korea;Korea Institute of Oriental Medicine, South Korea;Korea Institute of Oriental Medicine, South Korea;Dept. of Computer Engineering, Chungnam National University, South Korea
Venue:
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Year:
2008

Citing 8
Cited 1

A propositional modal logic of time intervals

Journal of the ACM (JACM)
Time-dependent concepts: representation and reasoning using temporal description logics

Data & Knowledge Engineering
Maintaining knowledge about temporal intervals

Communications of the ACM
A survey of temporal extensions of description logics

Annals of Mathematics and Artificial Intelligence
Combining Terminological Logics with Tense Logic

EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Reusable Ontology for Fluents in OWL

Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
A temporal description logic for reasoning about actions and plans

Journal of Artificial Intelligence Research
A tableaux decision procedure for SHOIQ

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

W3C Web Ontology working group has recently developed OWL as an ontology language for the Semantic Web. However, because OWL does not have the full-fledged semantics for temporal information, it cannot perform reasoning about temporal knowledge. Entities in the real world are changing according to the passage of time and new facts are occurring due to events. If knowledge in the KBs does not have the temporal information, it becomes incomplete and incorrect. Therefore, we in this paper propose an ontology language TL-OWL, which extends OWL to have the temporal semantics in order to represent and reason the temporal information in the Semantic Web.