Implementation of Enterprises Interoperation Based on Ontology

The interoperation among enterprises in e-business could block the ambient semantic collaboration and cause a big problem since varying information descriptions and different data models may be used in different enterprises＇ information systems. Ontology is an important tool to overcome the above mentioned syntax and semantic misunderstanding problem. Our goal is to provide a user-friendly environment supporting syntax and neutral format data model for business information. In this paper, two scenarios are discussed and a unified description of data model is developed to solve the gap in interoperation through mapping from logical data of enterprise＇s information system. It provides the methods to realize the mapping among different types of data or information. First, database and other types of information are transformed into neutral format that are described by web ontology language （OWL）. Second, the neutral format can be mapped into the semantic entities and semantic linking through the process of extraction and annotation and added into ontology and then described in a standard format that makes the collaboration be understood easily.

Chaining Distributed Geographic Information Web Services Based on Ontology

To solve the problem of chaining distributed geographic information Web services （GI Web services）, this paper provides an ontology-based method. With this method, semantic service description can be achieved by semantic annotation of the elements in a Web service description language（WSDL） document with concepts of geographic ontology, and then a common under-standing about service semantics between customers and providers of Web services is built. Based on the decomposition and formalization of customer requirements, the discovery, composition and execution of GI Web services are explained in detail, and then a chaining of GI Web services is built and used to achieve the customer＇s requirement. Finally, an example based on Web ontology language for service （OWL-S） is provided for testing the feasibility of this method.

Description method of conceptual model based on the ontology

The conceptual model is the first time abstraction ceptual model description method based on the UML and the of the real world. The traditional con- text usually has the semantic ambiguity problem. The formal description method lacks the mechanism of integrity and consistency check. Therefore both of them cannot support the simulation scenario description and the model compos- ability. A simulation conceptual description method based on ontology is put forward. According to the OWL language which was put forward by the W3C organization, a conceptual model description language is established. The OWL language semantic element in the description function in the mili- tary conceptual model is introduced. Then two layers of the military conceptual model framework are built up based on the general ontology and the domain ontology. In the general ontology, the class and property definition are given. While in the domain ontology, they are extended and a relat- ed example is given. The technique advantages of our method include the mechanism of conceptual model consistency and integrity check, the support of composable simulation models, and automatic creation of simulation scenario.

Graphical Transformation of OWL Ontologies to Event-B Formal Models

Formal methods use mathematical models to develop systems.Ontologies are formal specifications that provide reusable domain knowledge representations.Ontologies have been successfully used in several data-driven applications,including data analysis.However,the creation of formal models from informal requirements demands skill and effort.Ambiguity,inconsistency,imprecision,and incompleteness are major problems in informal requirements.To solve these problems,it is necessary to have methods and approaches for supporting the mapping of requirements to formal specifications.The purpose of this paper is to present an approach that addresses this challenge by using theWeb Ontology Language(OWL)to construct Event-B formal models and support data analysis.Our approach reduces the burden of working with the formal notations of OWL ontologies and Event-B models and aims to analyze domain knowledge and construct Event-B models from OWL ontologies using visual diagrams.The idea is based on the transformation of OntoGraf diagrams of OWL ontologies to UML-B diagrams for the purpose of bridging the gap between OWL ontologies and Event-B models.Visual data exploration assists with both data analysis and the development of Event-B formal models.To manage complexity,Event-B supports stepwise refinement to allow each requirement to be introduced at themost appropriate stage in the development process.UML-B supports refinement,so we also introduce an approach that allows us to divide and layer OntoGraf diagrams.

Generalized Testability Scheme Modeling of Materiel System Based on Information Ontology

A mode of ontology-based information integration and management( OIIM) for testability scheme was proposed through expatiating on the connotation of the system testability scheme.Aiming at the complexity of influencing factors in optimal design procedure of the testability scheme, the information of concept entities,concept attributions and concept relationships was analyzed and extracted,and then the testability scheme information ontology( TSIO) was built and coded via web ontology language( OWL).Based on the information ontology, the generalized model for testability scheme( GMTS) was founded by defining transformation rules. The primary study shows that the mode of OIIM for testability scheme can make up the deficiencies in knowledge representation and reasoning existing in traditional information models,and achieve the information share and reuse. It provides the effectual model basis for the optimal design of the testability scheme.

Towards a Service-Oriented Architecture for a Mobile Assistive System with Real-time Environmental Sensing

With the growing aging population, age-related diseases have increased considerably over the years.In response to these, Ambient Assistive Living（AAL） systems are being developed and are continually evolving to enrich and support independent living. While most researchers investigate robust Activity Recognition（AR）techniques, this paper focuses on some of the architectural challenges of the AAL systems. This work proposes a system architecture that fuses varying software design patterns and integrates readily available hardware devices to create Wireless Sensor Networks（WSNs） for real-time applications. The system architecture brings together the Service-Oriented Architecture（SOA）, semantic web technologies, and other methods to address some of the shortcomings of the preceding system implementations using off-the-shelf and open source components. In order to validate the proposed architecture, a prototype is developed and tested positively to recognize basic user activities in real time. The system provides a base that can be further extended in many areas of AAL systems,including composite AR.