Browse > Article

Knowledge Preconditions for Composition of Semantic Web Services  

Kim Sang-Kyun (충남대학교 컴퓨터공학과)
Lee Kyu-Chul (충남대학교 컴퓨터공학과)
Publication Information
Journal of KIISE:Software and Applications / v.32, no.9, 2005 , pp. 888-900 More about this Journal
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.
Keywords
Web Services Composition; Knowledge Preconditions; Semantic Web;
Citations & Related Records
연도 인용수 순위
  • Reference
1 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)
2 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)
3 OASIS WS-CAF TC Draft. Web Services Composite Application Framework. In http://www.oasis-open.org/committees/documents.php?wg_abbrev=ws-caf (2005)
4 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)
5 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)
6 L. Morgenstern. Foundations of a Logic of Knowledge, Aciton, and Communication. PhD thesis, New York University (1987)
7 B. Hollunder and W. Nutt. Subsumption Algorithms for Concept Languages. Technical Research Report RR-90-04, DFKI, Germany (1990)
8 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)
9 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)
10 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)
11 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)   DOI
12 E. Davis. Knowledge Preconditions for Plans. Journal of Logic and Computation, 4(5):721-766 (1994)   DOI
13 Artale and E. Franconi. A Temporal Description Logic for Reasoning about Actions and Plans, Journal of Artificial Intelligence Research, 9:463-506 (1998)
14 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)