• The Journal of Society for e-Business Studies
• /
• v.12 no.3
• /
• pp.133-150
• /
• 2007

In this paper we investigate a trend analysis service using Semantic Web technology in a news domain. The trend analysis service can provide more intelligent answers rather than the answer given In current news search engines since it can analyze the passage of time and the relation among news. In order to provide the trend analysis service, the capability of temporal reasoning is required, but the Semantic Web language such as OWL does not support the reasoning capability. Therefore, we propose a language TL-OWL(Temporal Web Ontology Language) extending OWL with the temporal reasoning.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.509-522
• /
• 2009

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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.247-249
• /
• 2004

그동안 planning 분야에서는 action 또는 plan이 epistemically feasible한지에 대한 Knowledge Preconditions(KP) 문제(1)를 다루기 위해 여러 연구들이 제안되었다. 하지만 기존 연구에서는 feasibility에 대한 검사를 design-time에만 수행하며 run-time에서 수행하지 않기 때문에 여러 agent의 트랜잭션들이 발생하는 웹서비스 조합(WSC : Web Services Composition)에서는 문제가 발생하게 된다. 따라서 본 논문에서는 이 문제(Interfering Agent Problem)를 해결하기 위해 transactionally feasible한 WSC를 정의하고 WSC의 atomicity를 보장하기 위한 방법을 제안한다. 뿐만 아니라 WSC를 표현하기 위해 Description Logics기반의 TL-ALCF(2)를 적용하여 시맨틱 웹의 온톨로지(OWL-S)와 성능이 좋은 기존 subsumption 프로시저를 그대로 이용할 수 있도록 한다.