DAML-S 0.7 Draft Release
DAML-S is a DAML-based Web service ontology, which supplies Web
service providers with a core set of markup language constructs
for describing the properties and capabilities of their Web
services in unambiguous, computer-intepretable form. DAML-S
markup of Web services will facilitate the automation of Web
service tasks, including automated Web service discovery,
execution, composition and interoperation. Following the layered
approach to markup language development, the current version of
DAML-S builds on top of DAML+OIL
(March 2001), and subsequent versions of DAML-S will build on
top of the most appropriate descendants of DAML+OIL, including
language layers with greater logical expressiveness.
This page contains a draft version of the DAML-S language
under development by a group of DAML researchers (listed below).
We encourage feedback from interested parties through the email@example.com
Please note that this draft is incomplete at present. The
Status page summarizes what's missing,
and also includes some notes about what's
new or changed since
Note also that the focus of this draft release is on a language
for use in describing Web services. Related matters such as software
components, tools, use cases, and architectural considerations are not
covered here in detail. However, many requirements in these areas are
being considered in developing this language, and as the scope of this
working group expands, will be made more explicit. Some of these
considerations are already described in DAML-S-related publications
listed at http://www.daml.org/services/.
Technical Overview - a white paper describing the key elements of DAML-S.
Informal Grounding Presentation
WalkThrough - an expository text illustrating the
basic concepts in the context of a concrete example.
- DAML specifications
- Service.daml - the upper ontology for services.
- Profile.daml - the upper ontology for service profiles.
- Process.daml - the upper
ontology for process models.
- Grounding.daml - the upper
ontology for groundings.
- Time.daml - a simple ontology
of time, used (currently in very limited ways) in process specification.
- Resource.daml - an
ontology of resources, for future use in specification of
profiles and processes (but currently not used at all).
- Appendices - discussions of directions on
particular technical issues. These discussions reflect
technical points that need further work. Except for
listOfInstancesOf, these are technical points that have not
yet been fully
integrated into the release.
- Relationship to Existing Industry Web Services Efforts
- Design Rationale and Outstanding Issues
- Coming soon: FAQ
- Status of this release
The following individuals were
involved in preparing the DAML-S 0.7 pre-release. See individual
documents for additional information.
- David Martin, editor (SRI International)
- Anupriya Ankolekar (Carnegie-Mellon University)
- Mark Burstein (BBN Technologies)
- Jerry Hobbs (USC Information Sciences Institute)
- Ora Lassila (Nokia)
- Drew McDermott (Yale University)
- Sheila McIlraith (Stanford University)
- Srini Narayanan (International Computer Science Institute)
- Massimo Paolucci (Carnegie-Mellon University)
- Terry Payne (University of Southampton)
- Katia Sycara (Carnegie-Mellon University)
We thank the following "beta reviewers" and other associates,
who have given valuable input to this release.
- Edward Buckley
- Michael Grove
- Jessica Jenkins
- Magdi Kamil
- Mohamed Keshk
- Ryusuke Masuoka
- Bijan Parsia
- Norman Sadeh
- Evren Sirin
- Monika Solanki