Academia.eduAcademia.edu

Outline

Title
Abstract
Figures
Introduction
Case Study -Amazon Web Services
Discussion
Conclusion
References
All Topics
Computer Science
Information Systems

A formal model of the Semantic Web Service Ontology (WSMO)

Profile image of Ahmed SalehAhmed Saleh

2012, Information Systems

https://doi.org/10.1016/J.IS.2011.07.003
visibility

…

description

50 pages

link

1 file

Abstract

Semantic Web Service, 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 been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring and etc.) involved in both intra-and inter-enterprise integration of Web Services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where 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 present in existing documentation.

Figures (3)
The elements defined within Concept are defined as ConceptElement. It is derived from NestedComponent, the attribute parentID is renamed to InConceptID and a secondary attribute inConcept is defined. Attribute, defined for each concept, represents a named slot for data values for instances, whereas hasType denotes the possible values of that slot. The class invariant specifies that all the value types must be defined within Ontology.
The elements defined within Concept are defined as ConceptElement. It is derived from NestedComponent, the attribute parentID is renamed to InConceptID and a secondary attribute inConcept is defined. Attribute, defined for each concept, represents a named slot for data values for instances, whereas hasType denotes the possible values of that slot. The class invariant specifies that all the value types must be defined within Ontology.
Logical expressions in WSMO can be divided into simple logical expres- sions and complex logical expressions. Before we model any of them, we define some of the common attributes of a WSMO expression first. The has Variables and usedTerms denote the set of variables and WSMO elements used in an expression. V represents the truth-value of an expression.
Logical expressions in WSMO can be divided into simple logical expres- sions and complex logical expressions. Before we model any of them, we define some of the common attributes of a WSMO expression first. The has Variables and usedTerms denote the set of variables and WSMO elements used in an expression. V represents the truth-value of an expression.
usedTerms = left.usedTerms U right.usedTerms As shown in Section 4, WSMO has four top-level elements as the main concepts which have to be described in order to define Semantic Web Ser- vices. They are Ontologies, Web Services, Goals and Mediators. Out of these, the Web Service element is the key element for representing the func- tional (and behavioural) aspects of a service, and it connects computers and devices with each other using the standard Web-based protocols to exchange data and combine data in new ways. Thus, we focus on the execution seman- tics of Services within this section. In WSMO, each Web service represents an atomic piece of functionality that can be reused to build more complex ones. Web services are described in WSMO from two different perspectives: functionality and behaviour. A Web service can be described by multiple interfaces, but has one and only one capability. The capability of a Web ser-
usedTerms = left.usedTerms U right.usedTerms As shown in Section 4, WSMO has four top-level elements as the main concepts which have to be described in order to define Semantic Web Ser- vices. They are Ontologies, Web Services, Goals and Mediators. Out of these, the Web Service element is the key element for representing the func- tional (and behavioural) aspects of a service, and it connects computers and devices with each other using the standard Web-based protocols to exchange data and combine data in new ways. Thus, we focus on the execution seman- tics of Services within this section. In WSMO, each Web service represents an atomic piece of functionality that can be reused to build more complex ones. Web services are described in WSMO from two different perspectives: functionality and behaviour. A Web service can be described by multiple interfaces, but has one and only one capability. The capability of a Web ser-

Related papers

Towards WSMO Ontology Specification From Existing Web Services
Djelloul Bouchiha

2nd Conférence Internationale sur l'informatique et ses Applications (CIIA'09), 2009

Semantic Web Services (SWSs) aim to improve the possibilities for automated discovery, composition and invocation of Web Services by providing ontology-based service descriptions expressed in a formal language. Several approaches have been driving the development of Semantic Web Service frameworks such as OWL-S (Ontology Web Language for Services), WSMO (Web Service Modeling Ontology) and WSDL-S (Semantic Annotation of Web Service Description Language descriptions). This paper focuses on WSMO; it aims to give a service ontology specification according to WSMO and using the reverse engineering techniques.

View PDFchevron_right
Towards Intelligent Web Services: The Web Service Modeling Ontology (WSMO
Axel Polleres

. Towards intelligent web services: the web service modeling ontology (WSMO). Abstract. The Semantic Web and the Semantic Web Services build a natural application area for Intelligent Agents, namely querying and reasoning about structured knowledge and semantic descriptions of services and their interfaces on the Web. This paper provides an overview of the Web Service Modeling Ontology, a conceptual framework for the semantical description of Web services.

View PDFchevron_right
Toward an Integrated Ontology for Web Services
Yassin Chabeb

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.

View PDFchevron_right
The Web Service Modeling Language WSML: An Overview
Axel Polleres

2006

The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeling Ontology WSMO which is based on well-known logical formalisms, specifying one coherent language framework for the description of Semantic Web Services, starting from the intersection of Datalog and the Description Logic SHIQ. This core language is extended in the directions of Description Logics and Logic Programming in a principled manner with strict layering. WSML distinguishes between conceptual and logical modeling in order to facilitate users who are not familiar with formal logic, while not restricting the expressive power of the language for the expert user. IRIs play a central role in WSML as identifiers. Furthermore, WSML defines XML and RDF serializations for inter-operation over the Semantic Web.

View PDFchevron_right

References (32)

  1. C. Bussler, B2B Protocol Standards and their Role in Semantic B2B Integration Engines, Bulletin of the Technical Committee on Data En- gineering 24 (1).
  2. S. A. McIlraith, T. C. Son, H. Zeng, Semantic web ser- vices, IEEE Intelligent Systems 16 (2) (2001) 46-53. doi:http://dx.doi.org/10.1109/5254.920599.
  3. T. Payne, O. Lassila, Guest editors' introduction: Semantic web services, IEEE Intelligent Systems 19 (4) (2004) 14-15. doi:http://dx.doi.org/10.1109/MIS.2004.29.
  4. A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, D. Mar- tin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, DAML-S: Web Service Description for the Semantic Web, in: First In- ternational Semantic Web Conference (ISWC) Proceedings, 2002, pp. 348-363.
  5. D. Roman, U. Keller, H. Lausen, J. de Bruijn, R. Lara, M. Stollberg, A. Polleres, C. Feier, C. Bussler, D. Fensel, Web services modeling on- tology, Journal of Applied Ontology 39 (1) (2005) 77-106.
  6. R. Duke, G. Rose, Formal Object Oriented Specification Using Object- Z, Cornerstones of Computing, Macmillan, 2000.
  7. S. K. Kim, D. Carrington, Formalizing UML Class Diagram Using Object-Z, in: R. France, B. Rumpe (Eds.), UML'99, Lect. Notes in Comput. Sci., Springer-Verlag, 1999.
  8. W. K. Tan, A Semantic Model of A Small Typed Functional Lan- guage using Object-Z, in: J. S. Dong, J. He, M. Purvis (Eds.), The 7th Asia-Pacific Software Engineering Conference (APSEC'00), IEEE Press, 2000.
  9. D. Fensel, E. Motta, Structured development of problem solving meth- ods, in: Proceedings of the 11th Workshop on Knowledge Acquisition, Modeling, and Management (KAW '98), Banff, Canada, 1998.
  10. Object Management Group, Meta object facility (MOF) specification, http://www.omg.org (2002). URL \url{http://www.omg.org/technology/documents/formal/ mof.htm}
  11. J. Bruijn, H. Lausen, A. Polleres, D. Fensel, The web service modelling language wsml: An overview, in: Proceedings of the 3rd European Se- mantic Web Conference, Springer-Verlag, Budva, Montenegro, 2006, pp. 590-604.
  12. M. Kifer, G. Lausen, J. Wu, Logical foundations of object oriented and frame based languages, Journal of ACM 42 (1995) 741-843.
  13. G. Smith, A fully abstract semantics of classes for Object-Z, Formal Aspects of Computing 7 (3) (1995) 289-313.
  14. A. Griffiths, G. Rose, A Semantic Foundation for Object Identity in For- mal Specification, Object-Oriented Systems 2 (Chapman & Hall 1995) 195-215.
  15. G. Smith, Extending W for Object-Z, in: J. P. Bowen, M. G. Hinchey (Eds.), Proceedings of the 9th Annual Z-User Meeting, Springer-Verlag, 1995, pp. 276-295.
  16. J. Woodcock, S. Brien, W : A logic for Z, in: Proceedings of Sixth Annual Z-User Meeting, University of York, 1991.
  17. J. S. Dong, R. Duke, Class Union and Polymorphism, in: C. Mingins, W. Haebich, J. Potter, B. Meyer (Eds.), Proc. 12th International Confer- ence on Technology of Object-Oriented Languages and Systems. TOOLS 12, Prentice-Hall, 1993, pp. 181-190.
  18. R. Chinnici, J. J. Moreau, A. Ryman, S. Weerawarana, Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language, http://www.w3.org/TR/wsdl20/wsdl20-z.html (2006).
  19. H. H. Wang, A. Saleh, T. Payne, N. Gibbins, Formal specification of owl-s with object-z: the static aspect, in: The 2007 IEEE/WIC/ACM International Conference on Web Intelligence, Silicon Valley, USA, 2007.
  20. H. H. Wang, T. Payne, N. Gibbins, A. Saleh, Formal specification of owl-s with object-z: the dynamic aspect, in: The 8th International Con- ference on Web Information Systems Engineering, Springer, 2007. URL http://eprints.ecs.soton.ac.uk/14395/
  21. T. R. Gruber, A translation approach to portable ontol- ogy specifications, Knowl. Acquis. 5 (2) (1993) 199-220. doi:http://dx.doi.org/10.1006/knac.1993.1008.
  22. J. S. Dong, G. Rose, R. Duke, The Role of Secondary Attributes in Formal Object Modelling, Tech. Rep. 95-20, Software Verification Re- search Centre, Dept. of Computer Science, Univ. of Queensland, Aus- tralia (1995).
  23. A. Rector, Modularisation of domain ontologies implemented in descrip- tion logics and related formalisms including owl, in: J. Genari (Ed.), Knowledge Capture 2003, ACM, Sanibel Island, FL, 2003, pp. 121-128.
  24. P. Doran, V. A. M. Tamma, L. Iannone, Ontology module extraction for ontology reuse: an ontology engineering perspective, in: M. J. Silva, A. H. F. Laender, R. A. Baeza-Yates, D. L. McGuinness, B. Olstad, O. H. Olsen, A. O. Falcão (Eds.), CIKM, ACM, 2007, pp. 61-70.
  25. T. Oinn, M. Addis, J. Ferris, D. Marvin, M. Senger, M. Greenwood, T. Carver, K. Glover, M. Pocock, A. Wipat, P. Li, Taverna: a tool for the composition and enactment of bioinformatics workflows, Bioinformatics 20 (17) (2004) 3045-3054.
  26. M. G. Nanda, S. Chandra, V. Sarkar, Decentralizing execution of com- posite web services, in: OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, ACM Press, New York, NY, USA, 2004, pp. 170-187. doi:http://doi.acm.org/10.1145/1028976.1028991.
  27. C. Wroe, C. Goble, M. Greenwood, P. Lord, S. Miles, J. Papay, T. Payne, L. Moreau, Automating experiments using semantic data on a bioinformatics grid, IEEE Intelligent Systems 19 (1) (2004) 48-55. doi:http://doi.ieeecomputersociety.org/10.1109/MIS.2004.1265885.
  28. R. Milner, J. Parrow, D. Walker, A calculus of mobile processes I and II, Information and Computation 100 (1992) 1 -41, 42 -78.
  29. J. S. Dong, C. H. Lee, Y. F. Li, H. Wang, Verifying DAML+OIL and Beyond in Z/EVES, in: Proc. The 26th International Conference on Software Engineering (ICSE'04), Edinburgh, Scotland, 2004, pp. 201- 210.
  30. J. S. Dong, J. Sun, H. Wang, Checking and Reasoning about Semantic Web through Alloy, in: 12th Internation Symposium on Formal Methods Europe (FM'03), Springer-Verlag, 2003.
  31. K. Jacek, R. Dumitru, S. James, Wsmo use case: Amazon e-commerce service, unpublished manuscript (2006).
  32. J. S. Dong, C. H. .Lee, Y. F. Li, H. Wang, A combined approach to checking web ontologies, in: The 13th ACM International World Wide Web Conference (WWW'04), ACM Press, 2004, pp. 714-722.

Related papers

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO
Ahmed Saleh

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.

View PDFchevron_right
D2v1. 2. web service modeling ontology (WSMO)
John Domingue

2005

Abstract This document presents an ontology called Web Service Modeling Ontology (WSMO) for describing various aspects related to Semantic Web Services. Taking the Web Service Modeling Framework (WSMF) as a starting point, we refine and extend this framework, and develop an ontology and a description language.

View PDFchevron_right
A Formal Model of Semantic Web Service Ontology (WSMO) Execution
Ahmed Saleh

2008

Semantic Web services have been one of the most significant research areas within the semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential. Current semantic Web service research focuses on defining models and languages for the semantic markup of all relevant aspects of services, which are accessible through a Web service interface. The Web service modelling ontology (WSMO) is one of the most significant semantic Web service framework proposed to date. To support ...

View PDFchevron_right
A Critical Evaluation of Web Service Modeling Ontology and Web Service Modeling Language
Zeki Bayram

Computer and Information Sciences, 2016

Web Service Modeling Language (WSML), based on the Web Service Modeling Ontology (WSMO), is a large and highly complex language designed for the specification of semantic web services. It has different variants based on logical formalisms, such as Description Logics, First-Order Logic and Logic Programming. We perform an in-depth study of both WSMO and WSML, critically evaluating them by identifying their strong points and areas in which improvement would be beneficial. Our studies show that in spite of all the features WSMO and WSML support, their sheer size and complexity are major weaknesses, and there are other areas in which important deficiencies exist as well. We point out those discovered deficiencies, and propose remedies for them, laying the foundation for a more tractable and useful formalism for specifying semantic web services.

View PDFchevron_right
Web Service Modeling Ontology (WSMO)
John Domingue

2004

“Web Services” are defined as “loosely coupled, reusable components that semantically encapsulate discrete functionality and are distributed and programmatically accessible over standard internet protocols”[Stencil Group, see www. stencilgroup. com/ideas_scope_200106wsdefined. html]. They constitute one of the “hot” areas in web technology supporting the remote invocation of business functionality over the Internet through message exchange.

View PDFchevron_right

Related topics

  • Information Systems
    • 580 California St., Suite 400
    San Francisco, CA, 94104
    © 2025 Academia. All rights reserved