Data Migration for Ontology Evolution

Ontology is the conceptual backbone that provides meaning to data on the semantic web. However, ontology is not a static resource and may evolve over time, which often leaves the meaning of data in an undefined or inconsistent state. It is thus very important to have a method to preserve the data and its meaning when ontology changes. This paper proposed a general method that solves the problem using data migration. It analyzed some of the issues in the method including separation of ontology and data, migration specification, migration result and migration algorithm. The paper also instantiates the general mothod in RDF(S) as an example. The RDF(S) example itself is a simple but complete method for migrating RDF data when RDFS ontology changes.     

生物医学信息系统及Ontology构建

介绍了生物医学信息系统的设计、实现及其功能，并讨论了ontology及知识库构建的相关问题．基于现有的浪潮天梭TS10000集群系统，采用数据处理的新技术和新方法构建的这一用户化的、可扩展的综合系统，支持用神经影像方法来对脑结构、功能和疾病进行研究；为新的知识发现提供大量的文献数据集及神经影像ontology和基础知识库．     

一种基于本体的Web语义服务架构的研究

为解决现有的Web服务缺少形式语义支撑,导致Web服务的自动选择和组合困难的问题,该文提出一种基于本体的语义Web服务架构SOA-2,定义了Web服务本体,并实现QoS和上下文信息在SOAP消息中的嵌入和传递。与已有的方法相比,针对服务选择和组合的智能需求,本文提出的服务本体综合考虑了QoS和上下文因素。     

改进概念相似度的本体迁移学习

提出了一种改进候选相似概念集选取方法,滤除了没有计算意义的概念.进而根据本体中概念的特点和信息内容提出了一种改进概念相似度计算方法,最后使优化本体能够迁移学习.实验结果证明了该方法对概念相似度的计算有效,本体能够成功迁移学习.     

本体不一致性处理中的无辜诊断方法

随着语义网络技术的发展,本体不一致性问题成为本体联盟中的研究热点之一．其中基于模型诊断技术的本体不一致性处理方法,在结构化知识描述领域中得到了大量应用．局部诊断技术通过收缩问题域的方法来提高不一致性问题求解效率,但它基本上是一种基于“正确性推断”的假设．本文在研究过程中提出无辜诊断技术,与传统的局部诊断相比,这种方法更加有效．     

Towards a Formalized Ontology-Based Requirements Model

The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ontology were given. Then, it presented a collection of informal terms, including four subject areas. It also discussed the formalization process of ontology. The underlying meta-ontology was determined, and the formalized requirements ontology was analyzed. This formal ontology is built to serve as a basis for requirements model. Finally, the implementation of software system was given.     

基于本体的软件需求共享系统设计

从基于语义的信息共享思路出发,设计了一种基于本体的面向特定领域软件需求共享系统,系统分为5层：源文档层、索引本体层、检索层、管理层、表示层.系统基于本体对需求进行语义检索,定义了需求本体系统及描述方法,本体的实例影射到按项目编目存储的需求文档.     

基于多层次本体集成的服务系统建模

服务系统建模是服务科学的研究重点之一,在业务领域进行组件化设计,并与信息系统保持动态一致性,需要解决组件的适应性、多粒度和社会因素建模等问题.本文分析对比了传统企业建模、服务建模和本体在建模领域的应用,将本体引入服务系统的建模之中.在分析服务系统、技术系统、组织管理和服务的基础上,重点研究了本体建模中的层次性设计,提出了以技术链为基础,以服务为导向,基于多层次本体集成的服务系统建模方法论,并分析了相关的技术方法.     

业务模型驱动的应急物流本体知识表示及应用

为解决应急物流智能协作面临的异构信息融合与知识管理难题,以有效知识应用为目标,利用业务模型与本体模型对组成构件上的相关性进行映射,并根据系统控制与实体行为约束所需的业务推理规则,设计了3种模块之间的关系与四阶段转换步骤,形成了业务模型驱动的本体表示方法.以该方法为基础,结合应急物流领域需求,建立了由概念集合、概念属性、语义约束、推理规则等要素组成的应急物流本体模型.通过应急配送路径选择案例,自动推理得到可替代邻近点以完成配送路径求解.结果表明,应急物流本体模型及其应用实现了异构信息的本体融合,消除了以关键词匹配为基础的常规检索失效现象,满足了最小路径算法的执行条件,为应急物流决策模型及算法应用提供了知识层面的支持.      

一种本体转换为关系数据库模式的方法

语义网是下一代互联网,本体是语义网描述逻辑的具体实现．本文提出了一种本体转换为关系数据库模式存储的方法,将本体中的每个类和属性的实例用单独的数据表存储,使用视图来体现对象之间的关系．本文提出的转换方法的优点是当本体发生修改时,不需要大量修改数据库的结构,适合于中小型本体的转换．     

Distributed Human Resource Redistribution System Based on Agent and Ontology

A computer system for human resource （HR） redistribution system is presented to solve the balance problem of the ＂surplus resources＂ and ＂surplus tasks＂ among a group of project units. The system architecture is designed in a compositional manner using the elements of agent technology and knowledge technology. A combination of generic agent models, ontology and knowledge provides an effective approach to address the dynamic, distributed and knowledge-intensive characters of the HR management. In the system, the broker agent acting as intermediary provides matchmaking services to the domain agents, and the individual domain agents communicate directly with each other. The HR ontology provides the semantic match of the surplus task and the surplus resource. Finally, an application example is presented to illustrate the achieved solution for a concrete scenario. This novel way offers a comprehensive HR exchange solution and is snitablc for both intra-organizational and inter-organizational HR management.     

长篇小说文体的意识形态性与本体性探索

新世纪以来,随着作家问题意识的觉醒,长篇小说文体实验和文体形态异彩纷呈,文体创新成为长篇小说评价的重要标准。《新世纪长篇小说文体研究》对长篇小说文体意识形态性与本体性特征进行了有益的探索,认为长篇小说文体的本质是"人造物",向内转是新世纪长篇小说文体的本体性探索。     

预应力混凝土桥梁承载能力评定研究

考虑到预应力混凝土桥梁修建至当前运营状态的结构、受力及其病害发展特点,对如何建立较为符合实际的桥梁计算模型进行研究,同时建立分析模型对承载能力检算系数Z1的评价标准及评价方法进行初步研究,并结合实际桥梁工程,给出计算算例,可为该类桥梁的承载能力评定提供参考。     

铁路客运站始发列车检票时间算法研究

铁路客运站始发列车检票时间通常采用写实查定的方法来确定,工作量大且 不能及时反映客流不均衡性和检票设备更新后的变化,因此有必要对始发列车检票时间 进行定量化研究.本文首先采用K-S 检验方法,对旅客检票时间随机分布进行建模研究; 其次,针对旅客检票过程中的排队、拥挤和换队行为,构建基于实时人群密度的路径规划 算法,建立始发列车旅客检票过程仿真模型,并对模型的正确性进行验证;最后,以发送 旅客人数和自动检票闸机数量为自变量设计正交试验,根据仿真实验数据分析结果,提 出铁路客运站始发列车检票时间算法,并对算法的正确性进行验证.     

Functional ontology for conceptual design oriented model representation and reuse

Functionality represents a blueprint of a product and plays a crucial role in problem-solving such as design. This article discusses the model representation from the angle of functional ontology by function deployment. We construct a framework of functional ontology which decomposes the function and contains a library of vocabulary to comprehensively represent the conceptual design model. The ontology enables the automatic identification system to search in the functional space. Furthermore, the functional ontology can form a systematic representation for the model so that it can be reused in the conceptual design and can be applied in the domain of knowledge fusion in our further work.     

三维坐标法检测苏通大桥曲线段承台钢套箱精度分析

结合苏通大桥曲线段承台钢套箱的检测,对全站仪的三维坐标法测量点位的平面位置及高程的精度进行了分析,就全站仪的视准差、横轴的倾斜误差及后视已知点的定向误差对测量点位平面位置的影响和指标差对测量高程的影响进行了较深入的分析,并进行了模拟计算．在利用全站仪的坐标测量功能进行三维坐标测量时,对仪器进行视准差、横轴的倾斜误差进行设置及高程值用盘左、盘右测量取均值可以取得较好的测量效果．对苏通大桥曲线段承台钢套箱的角点坐标放样数据进行计算,并建立了数据库．     

An SNN Ontology Based Environment Monitoring Method for Intelligent Irrigation System

In order to realize high precision of environment parameters detection in irrigation applications, a sensor and sensor network (SSN) ontology based data fusion method is proposed. An SSN sub-ontology for soilstate monitoring is revised, which includes the sensing devices hierarchies and measurement properties selection according to the detection feature interests. As for sensor data processing, a tuning data method by data pool filtering and clustering is adopted, as well as a useful data fusion method for multi-sensor system. The testing results show that both the accuracy and efficiency of the proposed method are higher after related filtering and clustering process, which enables a thorough monitoring for intelligent irrigation systems and can be extended into environment monitoring and control applications.     

一种票务服务领域的本体模型设计

现有的Web服务缺少明显的形式语义支撑,而Web服务发现又因缺乏对服务质量(QoS)的描述而难以为用户选择最佳服务,为此,本文提出了一种基于QoS的Web服务发现本体模型,采用分类和反馈机制,在服务发现过程中添加服务质量本体信息,并针对票务服务领域进行了实例设计和语义描述。     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响．鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证．分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范．结果证明,当信道正常概率为99％,系统无延时概率为99％时,通信协议失效率小于1．5×10^-10．说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了．     

Web语义的分类和缓存

针对Web信息查询缺乏对查询概念的相关语义这一问题，引入一种本体的形式化模型，通过引入本体内聚度等概念建立本体中概念间的语义关联，从而便于对常识知识的处理，并作为语义扩展及缓存的依据，由此建立起查询的上下文关联及联想，给查询带来较好的适应性。