An OWL-based WordNet lexical ontology

This paper discribes a data representation for WordNet 2.1 based on Web Ontology Language (OWL). The main components of WordNet database are transformed as classes in OWL, and the relations between synsets or lexcial words are transformed as OWL properties. Our conversion is based on the data file of WordNet instead of the Prolog database. This work can be used to enrich the work in progress of standard conversion of WordNet to the RDF/OWL representation at W3C.

基于上下结合法的战场态势信息本体构建

由于战场态势信息的来源复杂、数据结构和表达方式存在较大差异,建立统一的知识表达模型具有一定的挑战。本体作为语义化的概念模型,常被用于描述知识领域中的概念、关系和属性。提出了一种基于上下结合法的战场态势信息领域本体构建方法。采用自顶向下法构建上层本体,通过定义概念、关系和属性,设计上下位结构明确的概念层次结构模型,建立概念类之间的层级关系和语义关联。采用自底向上法构建底层本体,提出了一种基于双重聚合算法的本体抽取方法。TF-IDF获得实体的特征表示,利用K-means++初步抽象归纳出本体,利用凝聚式层次聚类算法进一步细分本体概念,定义本体之间的关系。使用描述语言OWL和编辑工具Protégé管理本体,最终构建了对战场态势信息进行一致性管理的知识本体模型BattleOnto,在指挥员做出决策时提供支持和帮助。

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.