Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Temporal Ontology Language for Representing and Reasoning about Interval-based Temporal Information

시구간 기반 시간 정보의 표현과 추론을 위한 시간 온톨로지 언어

  • 김상균 (한국한의학연구원 정보연구센터) ;
  • 이규철 (충남대학교 컴퓨터공학과) ;
  • 송미영 (한국한의학연구원 정보연구센터)
  • Published : 2009.07.15
Download PDF
⟨ Previous Next ⟩

Abstract

The W3C Ontology Working Group has recently developed OWL as an ontology language for the Semantic Web. OWL, however, fails to perform the process of reasoning about temporal knowledge because it lacks full-pleadged semantics for temporal language. Entities in the real world are changing as time passes, while new facts are being introduced as new events occur. KBs without temporal information are incomplete and incorrect. In this paper, we propose an extended temporal ontology language called TL-OWL which provides an abstract syntax and semantics for representing and reasoning about temporal information in the Semantic Web.

W3C 웹 온톨로지 워킹그룹에서는 시맨틱웹을 위한 온톨로지 언어를 위해서 OWL을 개발하였다. 하지만 OWL은 시간에 대한 의미체계를 표현할 수 없기 때문에 시간 정보에 기반한 추론을 수행할 수 없다. 실세계의 개체들은 시간의 흐름에 따라 변하고 어떤 사건의 발생으로 인해 새로운 사실들이 생겨나고 있기 때문에 만약 지식베이스에 존재하는 지식이 시간 정보를 가지지 않는다면 불완전하고 부정확 해질 수 밖에 없다. 따라서 본 논문에서는 시맨틱웹에서 시간 정보를 표현하고 추론할 수 있도록 OWL을 시간에 대한 의미체계를 가지도록 확장한 온톨로지 언어인 TL-OWL올 제안한다.

Keywords

References

  1. W3C Recommendation, 'OWL Web Ontology Language Semantics and Abstract Syntax,' http://www.w3.org/TR/owl-semantics, 2004
  2. Artale, A., and Franconi, E., 'A Survey of Temporal Extensions of Description Logics,' Annals of Mathematics and Artificial Intelligence, Kluwer Academic Press, vol.30, issue 1-4, pp.171-210, 2001
  3. Milea, V., Frasincar, F., Kaymak, U., Noia, T., 'An OWL-based Approach Towards Representing Time in Web Information Systems,' Proc. of the 4th International Workshop of Web Information Systems Modeling Workshop, pp.791-802, 2007
  4. Allen, J. F., 'Maintaining knowledge about temporal intervals,' Communications of the ACM, vol. 26, no.11, pp.832-843, 1983 https://doi.org/10.1145/182.358434
  5. TimeML Working Group, 'TimeML 1.2.1 A Formal Specification Language for Events and Temporal Expressions,' http://timeml.org/site/publications/timeMLdocs/timeml_1.2.1.html, 2005
  6. ISO, 'Language Resource Management – Semantic Annotation Framework (SemAF) - Part 1: Time and Events,' ISO Report ISO/TC37/SC4 N269 version 19 (ISO/WD 24617-1), 2007
  7. Hobbs, J. R., and Pan, F., 'An Ontology of Time for the Semantic Web,' ACM Transactions on Asian Language Processing (TALIP): Special issue on Temporal Information Processing, vol.3, no.1, pp.66-85, 2004
  8. Welty, C., Fikes, R., Makarios, S., 'A Reusable Ontology for Fluents in OWL,' Proc. of the International Conference on Formal Ontology in Information Systems, pp.226-236, 2006
  9. Artale, A., and Franconi, E., 'A Temporal Description Logic for Reasoning about Actions and Plans,' Journal of Artificial Intelligence Research, vol.9, pp.463-506, 1998
  10. Hollunder, B., and Nutt, W., 'Subsumption Algorithms for Concept Languages,' Technical Research Report RR-90-04, DFKI, Germany, 1990
  11. 김상균, 이규철, '시간 웹 온톨로지 언어를 이용한 뉴스 동향 분석 서비스', 한국전자거래학회지, vol.12, no.3, pp.133-150, 2007
  12. 김상균, 이규철, 시맨틱 웹서비스 조합을 위한 지식 전제조건, 정보과학회논문지 : 소프트웨어 및 응용, vol.32, no.9, pp.888-900, 2005
  13. 'TL-OWL의 함의성 보존 증명(Supplementary Proof)', http://dblab.cnu.ac.kr/~skkim/papers/TL-OWL_SP.pdf, 2008