Toward Knowledge Preconditions for Composition of Semantic Web Services

시맨틱 웹서비스 조합을 위한 Knowledge Preconditions

그동안 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 프로시저를 그대로 이용할 수 있도록 한다.