Towards WSMO Ontology Specification From Existing Web Services

2013

The tasks of semantic web service (discovery, selection, composition, and execution) are supposed to enable seamless interoperation between systems, whereby human intervention is kept at a minimum. In the field of Web service description research, the exploitation of descriptions of services through semantics is a better support for the life-cycle of Web services. The large number of developed ontologies, languages of representations, and integrated frameworks supporting the discovery, composition and invocation of services is a good indicator that research in the field of Semantic Web Services (SWS) has been considerably active. We provide in this paper a detailed classification of the approaches and solutions, indicating their core characteristics and objectives required and provide indicators for the interested reader to follow up further insights and details about these solutions and related software.

Interface, 2006

The potential to achieve dynamic, scalable and cost-effective infrastructure for electronic transactions in business and public administration has driven recent research efforts towards so-called Semantic Web services, that is enriching Web services with machine-processable semantics. Supporting this goal, the Web Service Modeling Ontology (WSMO) provides a conceptual framework and a formal language for semantically describing all relevant aspects of Web services in order to facilitate the automation of ...

2009 Fourth International Conference on Internet and Web Applications and Services, 2009

The lack of semantics in Web Services Description Language (WSDL) prevents automatic discovery and hence automatic invocation and composition. In our work, we are interested in extending existing approaches for the description of Semantic Web Services. Previously, we have extended the W3C recommendation on Semantics for Web Services (SAWSDL) and have proposed the use of two types of ontologies: a Technical Ontology type containing concepts defining semantics of services, their QoS,etc. and a Domain Ontology type containing the concepts defining the semantics of the business domain. The aim of this paper is to present Yet Another Semantic Annotation for WSDL (YASA4WSDL) and define a technical service ontology for YASA4WSDL. This ontology integrates useful concepts of WSDL meta-model, and OWL-S and WSMO ontologies. The integration of these ontologies is based on different matching techniques according to an ontology mapping process. The resulting ontology covers specific Web services semantic concepts.

… Resource Retrieval in …, 2007

Semantic Web Services are a research effort to automate the usage of Web services, a necessary component for the Semantic Web. Traditionally, Web service discovery depends on detailed formal semantic descriptions of available services. Since a complete detailed service description is not always feasible, the client software cannot select the best service offer for a given user goal only by using the static service descriptions. Therefore the client needs to interact automatically with the discovered Web services to find information about the available concrete offers, after which it can select the best offer that will fulfill the user's goal. This paper shows when and why complete semantic description is unfeasible, it defines the role and position of offer discovery, and it suggests how it can be implemented and evaluated.

2007

Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has recently been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra-and inter-enterprise integration of Web Services. To support the standardization and tool support of WSMO, a formal semantics of the language is highly desirable. As there are a few variants of WSMO and it is still under development, the semantics of WSMO needs to be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z semantics of WSMO. Different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors presented in existing documentation.