Share This Author
DAML-S: Semantic Markup for Web Services
- Anupriya Ankolekar, M. Burstein, Honglei Zeng
- Computer ScienceInternational Conference on Semantic Web & Web…
- 30 July 2001
The overall structure of the ontology, the service profile for advertising services, and the process model for the detailed description of the operation of services are described, which compare DAML-S with several industry efforts to define standards for characterizing services on the Web.
Bringing Semantics to Web Services: The OWL-S Approach
This paper shows how to use OWL-S in conjunction with Web service standards, and explains and illustrates the value added by the semantics expressed in OWl-S.
DAML-S: Web Service Description for the Semantic Web
- M. Burstein, Jerry R. Hobbs, K. Sycara
- Computer ScienceInternational Workshop on the Semantic Web
- 9 June 2002
DAML-S is presented, a DAML+OIL ontology for describing the properties and capabilities of Web Services, and three aspects of the ontology are described: the service profile, the process model, and the service grounding.
Bringing Semantics to Web Services with OWL-S
OWL-S can be used to automate a variety of service-related activities involving service discovery, interoperation, and composition, and has led to the creation of many open-source tools for developing, reasoning about, and dynamically utilizing Web Services.
Adapting Golog for Composition of Semantic Web Services
It is argued that an augmented version of the logic programming language Golog provides a natural formalism for automatically composing services on the Semantic Web and logical criteria for these generic procedures that define when they are knowledge self-sufficient and physically selfsufficient are proposed.
Semantic Web Services
The authors propose the markup of Web services in the DAML family of Semantic Web markup languages. This markup enables a wide variety of agent technologies for automated Web service discovery,…
Simulation, verification and automated composition of web services
This paper defines the semantics for a relevant subset of DAML-S in terms of a first-order logical language and provides decision procedures for Web service simulation, verification and composition.
Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning
- Rodrigo Toro Icarte, Toryn Q. Klassen, R. Valenzano, Sheila A. McIlraith
- Computer ScienceInternational Conference on Machine Learning
- 3 July 2018
Q-Learning for Reward Machines is presented, an algorithm which appropriately decomposes the reward machine and uses off-policy q-learning to simultaneously learn subpolicies for the different components and is guaranteed to converge to an optimal policy in the tabular case.
Bringing semantics to Web services
DAML-S is such a language it is a DAML+OIL ontology for describing Web services that a coalition of researchers created with support from DARPA.
Dsharp: Fast d-DNNF Compilation with sharpSAT
- Christian Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu
- Computer ScienceCanadian Conference on AI
- 28 May 2012
Empirical results demonstrate that Dsharp is generally an order of magnitude faster than c2d, the de facto standard for compiling to d-DNNF, while yielding a representation of comparable size.