DAML-S: Web service description for the semantic web

DOI10.1007/3-540-48005-6_27MaRDI QIDQ4739565zbMATH OpenFDO

Authors Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, David E. Martin, Drew McDermott, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2342/23420348.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies and applications (68U99)

Recommendations

• Concurrent semantics for the web services specification language DAML-S
• Semantic matching of web services capabilities
• Analysis and simulation of Web services.
• scientific article; zbMATH DE number 5292334
• DAML+OIL: A reason-able web ontology language

Cited in

(23)

• Analysis and simulation of Web services.
• DAML+OIL: A reason-able web ontology language
• Dynamic generation of web services for data retrieval using ontology
• Ontology-based knowledge modeling in network manufacturing
• WSMF model: Elements decomposed and expressed in code
• DSOL: a declarative approach to self-adaptive service orchestrations
• DAML enabled web services and agents in the semantic web
• A dependency markup language for web services
• Using ontology to bind web services to the data model of automation systems
• An ontology for software component matching
• DAML+OIL: A reason-able web ontology language
• Processing schedules using distributed ontologies on the semantic web
• Importing the semantic web in UDDI
• Automatic derivation of DAML-S service specifications from UML business models
• Towards self-describing web services
• Towards service description logics
• Concurrent semantics for the web services specification language DAML-S
• Semantic web enabled web services
• Bringing together semantic web and web services
• Semantic matching of web services capabilities
• Validation and verification of web services choreographies by using timed automata
• Web services composing by multiagent negotiation
• Specification and verification of data-driven Web applications

Describes a project that uses

Uses Software

• DAML+OIL
• GOLOG

This page was built for publication: DAML-S: Web service description for the semantic web

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4739565)