Semantic Web Fred - Automated Goal Resolution on the Semantic Web

Semantic Web Fred, SWF for short, is a context-independent, goal-driven system for automated execution of tasks that are delegated to electronic representatives along with dynamic service usage. A task is assigned to an agent for automated resolution, represented as a Goal. This is used to determine potential partners for collaborative task resolution, and for discovery of suitable goal-resolving services that can be internal implementations as well as external Semantic Web Services. The SWF technology integrates agent technology, ontologies, and Semantic Web Service technologies - the technological building blocks identified for the Semantic Web - into a coherent system. This paper describes the architecture of SWF, explains the mechanisms for establishing automated and cooperative goal resolution, and the alignment of SWF with the Web Service Modeling Ontology WSMO, a well-structured overall framework for Semantic Web Services. We also outline the contribution of SWF to the development of Semantic Web technologies.

[1]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

[2]  James A. Hendler,et al.  The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities , 2001 .

[3]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[4]  Jos de Bruijn,et al.  Semantic Web Services: description requirements and current technologies , 2003 .

[5]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[6]  Holger Lausen,et al.  D2v02. Web Service Modeling Ontology - Standard (WSMO - Standard) , 2004 .

[7]  Thomas Erl,et al.  Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services , 2004 .

[8]  Andrei Voronkov,et al.  The design and implementation of VAMPIRE , 2002, AI Commun..

[9]  Ian Horrocks,et al.  A software framework for matchmaking based on semantic web technology , 2003, WWW '03.

[10]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[11]  Li Ding,et al.  Using semantic web technology in multi-agent systems: a case study in the TAGA trading agent environment , 2003, ICEC '03.

[12]  Mark Lycett,et al.  Service-oriented architecture , 2003, 2003 Symposium on Applications and the Internet Workshops, 2003. Proceedings..

[13]  Uwe Keller,et al.  Inferencing Support for Semantic Web Services: Tools for Semantic Support , 2004 .

[14]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[15]  Dieter Fensel,et al.  The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[16]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[17]  William A. Ruh,et al.  Enterprise Application Integration: A Wiley Tech Brief , 2000 .

[18]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[19]  Dieter Fensel,et al.  Towards Semantic Web Portals , 2004, WWW Workshop on Application Design, Development and Implementation Issues in the Semantic Web.

[20]  S. Weibel,et al.  RFC 2413: Dublin core metadata for resource discovery , 1998 .

[21]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[22]  William J. Brown,et al.  Enterprise Application Integration: A Tech Brief , 2001 .

[23]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[24]  Egon Börger,et al.  High Level System Design and Analysis Using Abstract State Machines , 1998, FM-Trends.

[25]  Michael Kifer,et al.  Inferencing Support for Semantic Web Services: Proof Obligations , 2004 .