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

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

Knowledge Preconditions for Composition of Semantic Web Services

시맨틱 웹서비스 조합을 위한 지식 전제조건

  • 김상균 (충남대학교 컴퓨터공학과) ;
  • 이규철 (충남대학교 컴퓨터공학과)
  • Published : 2005.09.01
Download PDF
⟨ Previous Next ⟩

Abstract

Several researches have been proposed to formalize the knowledge preconditions problem - j.e., an action or a plan is epistemically feasible. However, since the feasibility is only checked at design-time and is assumed that it will also 1)e feasible at run-time, it is not suitable in the context of Semantic Web services composition, where many agents should share the limited resources required for the execution of Web services composition. Therefore, in this paper, we formalize a transactionally executable Web services composition which enables to guarantee its atomicity. Moreover, in order to formalize the transactional executability, we propose $TL-ALCFK_{NF}$ which extends TL-ALCF with the modal operators K and A. Based on $TL-ALCFK_{NF}$, we show how to carry out the epistemic reasoning with TL-ALCF as a language to represent Semantic Web services composition.

행동 또는 계획이 인식적으로 실행 가능한지에 대한 지식 전제조건 문제는 그 동안 여러 연구들을 통해 정형화되어 왔다. 하지만 지금까지의 연구에서는 이러한 행동 및 계획이 실행 가능한지를 만드는 시점에서만 검사하며, 실제 수행될 때도 실행 가능할 것이라는 것을 가정하기 때문에, 시맨틱 웹에서 여러 에이전트들이 웹서비스 조합을 실행하기 위해 제한된 자원들을 공유해야 하는 분산 환경에서는 제대로 동작하지 않게 된다. 따라서 본 연구에서는 웹서비스 조합의 원자성을 보장할 수 있도록 트랜잭션적으로 수행 가능한 웹서비스 조합을 정의하고 이를 정형화한다. 이를 위해서 TL-ALCF에서 K와 A 모달 연산자를 추가하여 확장한 $TL-ALCFK_{NF}$를 제안함으로써 웹서비스 조합을 표현할 수 있는 언어인 TL-ALCF에서 인식 추론이 어떻게 수행될 수 있는지를 보인다.

Keywords

References

  1. S. McIlraith and T. C. Son. Adapting Golog for Composition of Semantic Web Services. In Proc. of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR'02), pp. 482-496 (2002)
  2. D.J. Mandell and S.A.McIlraith. Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. In Proc. Of the 2nd International Semantic Web Conference, pp. 227-241 (2003)
  3. E. Davis. Knowledge Preconditions for Plans. Journal of Logic and Computation, 4(5):721-766 (1994) https://doi.org/10.1093/logcom/4.5.721
  4. Artale and E. Franconi. A Temporal Description Logic for Reasoning about Actions and Plans, Journal of Artificial Intelligence Research, 9:463-506 (1998)
  5. J. F. Allen. Temporal Reasoning and Planning. In J. F. Allen, H. A. Kautz, R. N. Pelavin and J. D. Tenenberg, editors, Reasoning about Plans, Chap. 1, pp.2-68, Morgan Kaufmann (1991)
  6. F. M. Donini, D. Nardi, R. Rosati. Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logics, 3(2):177-225 (2002) https://doi.org/10.1145/505372.505373
  7. J. McCarthy and P.J. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pp.463-502, Edinburgh University Press (1969)
  8. R. Moore. A Formal Theory of Knowledge and Action. In J. Hobbs and R. Moore, editors, Formal Theories of the Commonsense World, pp.319-358, ABLEX Publishing, Norwood, New Jersey (1985)
  9. OASIS WS-CAF TC Draft. Web Services Composite Application Framework. In http://www.oasis-open.org/committees/documents.php?wg_abbrev=ws-caf (2005)
  10. C. Boutilier, T. Dean, and S. Hanks. Decision-Theoretic Planning: Structural Assumptions and Computational Leverage. Journal of Artificial Intelligence Research 11, pp.1-94 (1999)
  11. D. Wu, E. Sirin, B. Parsia, J. Hendler, and D. Nau. Automatic Web Services Composition using SHOP2. In Workshop on Planning for Web Services (2003)
  12. L. Morgenstern. Foundations of a Logic of Knowledge, Aciton, and Communication. PhD thesis, New York University (1987)
  13. B. Hollunder and W. Nutt. Subsumption Algorithms for Concept Languages. Technical Research Report RR-90-04, DFKI, Germany (1990)
  14. I. Horrocks, D.L, McGuinness, C.A. Welty. Digital Libraries and Web-Based Information Systems. In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P. F. Patel-Schneider, pp.436-459, Cambridge University Press (2002)