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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, J.F.: Maintaining knowledge about temporal intervals. In: Communications of the ACM, vol. 26(11), pp. 832–843. ACM, New York (1983)
Artale, A., Franconi, E.: A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research 9, 463–506 (1998)
Artale, A., Franconi, E.: A Survey of Temporal Extensions of Description Logics. Annals of Mathematics and Artificial Intelligence 4(1), 171–210 (2001)
Bettini, C.: Time dependent concepts: Representation and reasoning using temporal description logics. Data & Knowledge Engineering 22(1), 1–38 (1997)
Halpern, J.Y., Moses, Y.: A Propositional Modal Logic of Time Intervals. Journal of ACM 38(4), 935–962 (1991)
Hollunder, B., Nutt, W.: Subsumption Algorithms for Concept Languages, Technical Research Report RR-90-04, DFKI, Germany (1990)
Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of the 19th International Joint Conference on Artificial Intelligence, pp. 448–453 (2005)
Milea, V., Frasincar, F., Kaymak, U., Noia, T.: An OWL-based Approach Towards Representing Time in Web Information Systems. In: Proc. of the 4th International Workshop of Web Information Systems Modeling Workshop, pp. 791–802 (2007)
Schild, K.D.: Combining terminological logics with tense logic. In: Proc. of the 6th Portuguese Conference on Artificial Intelligence (1993)
Schmiedel, A.: A temporal terminological logic. In: Proc. of the AAAI 1990, pp. 640–645 (1990)
Welty, C., Fikes, R., Makarios, S.: A Reusable Ontology for Fluents in OWL. In: Proc. of the International Conference on Formal Ontology in Information Systems, pp. 226–236 (2006)
Wolter, F., Zakharyaschev, M.: Temporalizing description logics, Frontiers of Combining Systems. Studies Press-Wiley, Chichester (1999)
W3C Working Draft, Time Ontology in OWL (2006), http://www.w3.org/TR/owl-time
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, SK., Song, MY., Kim, C., Yea, SJ., Jang, H.C., Lee, KC. (2008). Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge. In: Domingue, J., Anutariya, C. (eds) The Semantic Web. ASWC 2008. Lecture Notes in Computer Science, vol 5367. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89704-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-89704-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89703-3
Online ISBN: 978-3-540-89704-0
eBook Packages: Computer ScienceComputer Science (R0)