Temporal ontology language for representing and reasoning interval-based temporal knowledge

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5367 LNCS, Issue , 2008, Pages 31-45

  Kim, Sang Kyun ^a   Song, Mi Young ^a   Kim, Chul ^a   Yea, Sang Jun ^a   Jang, Hyun Chul ^a   Lee, Kyu Chul ^b  

^a Korea Institute of Oriental Medicine (KIOM)   (South Korea)

^b Chungnam National University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; LINGUISTICS; ONTOLOGY; SEMANTICS;

ONTOLOGY LANGUAGES; REAL WORLDS; TEMPORAL INFORMATIONS; TEMPORAL KNOWLEDGES; TEMPORAL ONTOLOGIES; WORKING GROUPS;

SEMANTIC WEB;

EID: 58049115333     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89704-0_3     Document Type: Conference Paper

References (13)

1. Allen, J.F.: Maintaining knowledge about temporal intervals. In: Communications of the ACM, vol. 26(11), pp. 832-843. ACM, New York (1983)
2. Artale, A., Franconi, E.: A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research 9, 463-506 (1998)
3. Artale, A., Franconi, E.: A Survey of Temporal Extensions of Description Logics. Annals of Mathematics and Artificial Intelligence 4(1). 171-210 (2001)
4. Bettini, C.: Time dependent concepts: Representation and reasoning using temporal description logics. Data &r Knowledge Engineering 22(1), 1-38 (1997)
5. Halpern, J. Y., Moses, Y.: A Propositional Modal Logic of Time Intervals. Journal of ACM 38(4), 935-962 (1991)
6. Hollander. B., Nutt. W.: Subsumption Algorithms for Concept Languages, Technical Research Report RR-90-04, DFKI, Germany (1990)
7. 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)
8. 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)
9. Schild, K.D.: Combining terminological logics with tense logic. In: Proc. of the 6th Portuguese Conference on Artificial Intelligence (1993)
10. Schmiedel, A.: A temporal terminological logic. In: Proc. of the AAAI 1990, pp. 640-645 (1990)
11. 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)
12. Wolter, F., Zakharyaschev, M.: Temporalizing description logics, Frontiers of Combining Systems. Studies Press-Wiley, Chichester (1999)
13. W3C Working Draft. Time Ontology in OWL (2006), http://www.w3.org/TR/owl- time