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

Wang, Hai H.; Gibbins, Nick; Payne, Terry R.; Redavid, Domenico

doi:10.1016/j.is.2011.07.003

Cited by 31 publications

(17 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Wang et al provided a formal specification method based on Object‐Z to evaluate Web Service Modeling Ontology where different parts of the formal language were clearly defined in 1 composition system. This algebraic method supports both dynamic and static conditions of each composition approach by using semantic precondition and postcondition operators.…”

Section: Categorizing Of Selected Service Composition Approachesmentioning

confidence: 99%

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Souri

Rahmani

Navimipour

2018

Int J Communication

View full text Add to dashboard Cite

Summary Today, service composition is emerging paradigm on the communication networks such as cloud environments, internet of things, wireless sensor network, and software‐defined network. The goal of service composition method is to provide the interactions between user requirements and smart objects of intelligent communication systems. There have been many efforts to use formal verification and behavioral modeling methods to evaluate the service composition mechanisms. Up to now, there is not a comprehensive analysis research on this topic. Therefore, this paper focuses on several formal verification approaches that are performed to confirm the service composition correctness in communication networks. The objective of this paper is to comprehensively categorize and examine current research techniques on formal verification of the service composition. This research analysis provides an overview of recent service composition approaches according to structural and functional properties. Comparison results show that most of the verification approaches in explanation of the service composition correctness are semantic‐aware approach with 43%. The most used verification method for the service composition is model checking with 69%. The process algebra is used 29%, and some theorem proving methods are applied in 9% of the investigated mechanism. Moreover, most widely used modeling tools are NuSMV (22%), SPIN (17%), CPN (12%), UPPAAL (12%), Event‐B (10%), and PAT (5%).

show abstract

Section: Categorizing Of Selected Service Composition Approachesmentioning

confidence: 99%

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Souri

Rahmani

Navimipour

2018

Int J Communication

View full text Add to dashboard Cite

show abstract

“…• An ontology is a logical theory accounting for the intended meaning of a formal vocabulary [42]. i.e., "it is a commitment to a particular conceptualization of the world".…”

Section: Cprosa-holarchymentioning

confidence: 99%

An Ontology-Based Approach to Enable Knowledge Representation and Reasoning in Worker–Cobot Agile Manufacturing

Sadik

Urban

2017

Future Internet

View full text Add to dashboard Cite

Abstract:There is no doubt that the rapid development in robotics technology has dramatically changed the interaction model between the Industrial Robot (IR) and the worker. As the current robotic technology has afforded very reliable means to guarantee the physical safety of the worker during a close proximity interaction with the IR. Therefore, new forms of cooperation between the robot and the worker can now be achieved. Collaborative/Cooperative robotics is the new branch of industrial robotics which empowers the idea of cooperative manufacturing. Cooperative manufacturing significantly depends on the existence of a collaborative/cooperative robot (cobot). A cobot is usually a Light-Weight Robot (LWR) which is capable of operating safely with the human co-worker in a shared work environment. This is in contrast with the conventional IR which can only operate in isolation from the worker workspace, due to the fact that the conventional IR can manipulate very heavy objects, which makes it so dangerous to operate in direct contact with the worker. There is a slight difference between the definition of collaboration and cooperation in robotics. In cooperative robotics, both the worker and the robot are performing tasks over the same product in the same shared workspace but not simultaneously. Collaborative robotics has a similar definition, except that the worker and the robot are performing a simultaneous task. Gathering the worker and the cobot in the same manufacturing workcell can provide an easy and cheap method to flexibly customize the production. Moreover, to adapt with the production demands in the real time of production, without the need to stop or to modify the production operations. There are many challenges and problems that can be addressed in the cooperative manufacturing field. However, one of the most important challenges in this field is the representation of the cooperative manufacturing environment and components. Thus, in order to accomplish the cooperative manufacturing concept, a proper approach is required to describe the shared environment between the worker and the cobot. The cooperative manufacturing shared environment includes the cobot, the co-worker, and other production components such as the product itself. Furthermore, the whole cooperative manufacturing system components need to communicate and share their knowledge, to reason and process the shared information, which eventually gives the control solution the capability of obtaining collective manufacturing decisions. Putting into consideration that the control solution should also provide a natural language which is human readable and in the same time can be understood by the machine (i.e., the cobot). Accordingly, a distributed control solution which combines an ontology-based Multi-Agent System (MAS) and a Business Rule Management System (BRMS) is proposed, in order to solve the mentioned challenges in the cooperative manufacturing, which are: manufacturing knowledge representation, sharing, and reasoning.

show abstract

“…The entities that form the nodes of Ontology are referred to as concepts, classes and their instances. The relationships are known as properties, relations, or roles [10]. They are also referred to as attributes.…”

Section: Ontology Elements and Relationshipmentioning

confidence: 99%

“…Consequently, most ontology editors (and the respective ontology visualization tools) separate hyponymy from other relations. Tools for editing ontologies are usually based on a tree-structure establishing the representation of a domain model [10]. Visualizations also often focus on the hierarchical structures within ontology.…”

Section: Figure 4 a Simplified Model Of Basic Ontology Elementsmentioning

confidence: 99%

Towards From Manual to Automatic Semantic Annotation: Based on Ontology Elements and Relationships

Qasim¹,

Salih²

2013

IJWesT

View full text Add to dashboard Cite

Automatic annotation is offering a standards base for retrieving information from web services. It has been observed that many existing protocol e.g. Annotea did not support the fully automatic annotation directly or the process to be carried out needs professional developers (i.e. non-trivial protocol) such as KIM.In this paper a description of the architecture of the proposed system is given and a figurative structure is supplied. The diagrams that represent the structure will be described along with the main resources usage.

show abstract

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

Cited by 31 publications

References 22 publications

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

An Ontology-Based Approach to Enable Knowledge Representation and Reasoning in Worker–Cobot Agile Manufacturing

Towards From Manual to Automatic Semantic Annotation: Based on Ontology Elements and Relationships

Contact Info

Product

Resources

About