DAMLS Tools and Technology for Semantic Web Services
DAML-S Tools and Technology for Semantic Web Services Knowledge Systems Lab, Department of Computer Science, Stanford University DAML Sheila Mc. Ilraith, Honglei Zeng, Son Cao Tran, Jessica Jenkins Ron Fadel, Richard Fikes, Deborah Mc. Guinness http: //www. ksl. stanford. edu/projects/daml DAML DAML 1 DAML DAML-S: A markup language for describing Web services DAML (Jointly developed with BBN, CMU, Nokia, SRI and Yale) DAML-S is a DAML+OIL ontology for describing Web services. It enables automated Web service discovery, execution, composition, interoperation. DAML Web Service Ontologies Web Procedures Ontologies DAML Agent Broker DAML-enabled web pages DAML-enabled personal/company constraints and prefs E-mail 2 4 DAML-S Editor (Preliminary) A DAML-S ontology-based editor, customized for the needs of Web service providers, so that they can seamlessly create DAML-S markup for their Web services using a combination of textual and graphical input. Future extensions will exploit automated reasoning for verification and validation of service descriptions. This may be done in collaboration with SRI and Manchester University. 3 . . . KB DAML-Enabled Automatic Web Service Composition Tool Agent technology that automatically composes DAML Web services using Generic procedures and customizing user constraints. (See separate poster. ) In the future we will add execution monitoring to our composition capabilities. DAML-S to PDDL Translator PDDL is the Planning Domain Definition Language, used by the planning community as a generic format for specifying planning problems. We are completing a DAML-S to PDDL translator that will enable the planning community to seamlessly use their technology for DAML -Enabled Web Service planning. Other KSL DAML Tools and Technology DAML+OIL – Ontolingua translator check DAML+OIL ontology syntax load DAML+OIL ontologies into Ontolingua query DAML+OIL ontologies from Ontolingua interact with DAML+OIL ontologies through OKBC analyze DAML+OIL ontologies with Chimaera – Ontology analysis and diagnostics tool JTP – theorem prover extended for DAML+OIL DAML Subsumption Reasoner
- Slides: 1