enso with consequence of symbol

Semantic Web Services

A growing trend in software architecture is to build self-contained and modular software components called Web services, that can be described, published, located and invoked over the Internet.

Web services promote interoperability between disparate heterogeneous applications by leveraging standardized Web-based technologies. To enable automated operations on web services, recent research has explored annotating Web services with computer-interpretable descriptions of their properties such as behaviour, purpose, preconditions, and effects.

There have been several proposals for semantic web services, including OWL-S and the Web Serviced Modelling Ontology (WSMO). Since these proposals are all being reviewed by the World Wide Web Consortium (W3C), it is important to provide a formal harmonization of the efforts rather than create an environment with conflicting standards. Work in Applications of PSL to Semantic Web Services proposed an axiomatization of OWL-S concepts using PSL, and this axiomatization later became the foundation for Semantic Web Services Ontology (SWSO), which was published as a W3C Member Submission to the World Wide Web Consortium.

Important open problems within this area include the characterization of the relationship between SWSO and other proposals for semantic web services. Such a characterization will either provide an explicit axiomatization of other informal web service ontologies or it will specify semantic mappings between the axiomatizations of the ontologies.

<<back to projects