DAML-S: Web Service Description for the Semantic Web

In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services - Web-accessible programs and devices - are garnering a great deal of interest from industry, and standards are emerging for low-level descriptions of Web Services. DAML-S complements this effort by providing Web Service descriptions at the application layer, describing what a service can do, and not just how it does it. In this paper we describe three aspects of our ontology: the service profile, the process model, and the service grounding. The paper focuses on the grounding, which connects our ontology with low-level XML-based descriptions of Web Services.

[1]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[2]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[3]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[4]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[5]  Katia P. Sycara,et al.  Middle-Agents for the Internet , 1997, IJCAI.

[6]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[7]  Douglas B. Moran,et al.  The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..

[8]  Craig Schlenoff,et al.  The essence of the process specification language , 1999 .

[9]  Matthias Klusch,et al.  Dynamic service matchmaking among agents in open information environments , 1999, SGMD.

[10]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[11]  Srinivas Narayanan,et al.  Reasoning About Actions in Narrative Understanding , 1999, IJCAI.

[12]  Craig Schlenoff,et al.  The Process Specification Language (PSL) Overview and Version 1.0 Specification , 2000 .

[13]  Katia P. Sycara,et al.  A taxonomy of middle-agents for the Internet , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[14]  Drew McDermott,et al.  Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents , 2001, SWWS.

[15]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

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

[17]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[18]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[19]  Matthias Klusch,et al.  Brokering and Matchmaking for Coordination of Agent Societies: A Survey , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[20]  Erik Christensen,et al.  WSDL: Web Service Description Language , 2001 .

[21]  Anupriya Ankolekar,et al.  Concurrent Semantics for the Web Services Specification Language DAML-S , 2002, COORDINATION.

[22]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

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

[24]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[25]  O. Lassila Serendipitous Interoperability , 2002 .

[26]  Rahul Singh,et al.  Browsing Schedules - An Agent-Based Approach to Navigating the Semantic Web , 2002, SEMWEB.

[27]  Adam Cheyer,et al.  The Open Agent Architecture , 1997, Autonomous Agents and Multi-Agent Systems.