From: David Martin (martin@AI.SRI.COM)
Date: 05/12/05
We are pleased to announce the availability of version 1.0 of the Semantic Web Services Framework (SWSF) specification, here: http://www.daml.org/services/swsf/ This specification presents two major components: * The Semantic Web Services Language (SWSL) is used to specify formal characterizations of Web service concepts and descriptions of individual services. It includes two sublanguages. SWSL-FOL is based on first-order logic (FOL) and is used primarily to express the formal characterization (ontology) of Web service concepts. SWSL-Rules is based on the logic-programming (or "rules") paradigm and is used to support the use of the service ontology in reasoning and execution environments based on that paradigm. * The Semantic Web Services Ontology (SWSO) presents a conceptual model by which Web services can be described, and an axiomatization, or formal characterization, of that model, which builds out from both OWL-S and the Process Specification Language [PSL]. The complete axiomatization is given in first-order logic, using SWSL-FOL, with a model-theoretic semantics that specifies the precise meaning of the concepts. In addition, the axioms have been systematically translated into the SWSL-Rules language. This specification is the work of the Semantic Web Services Language (SWSL) Committee: http://www.daml.org/services/swsl/ of the Semantic Web Services Initiative: http://www.swsi.org/ We welcome comment and discussion on this mailing list (public-sws-ig). Regards, David Martin Michael Kifer co-chairs, SWSL committee
This archive was generated by hypermail 2.1.4 : 05/12/05 EST