Cloud-ALC:描述逻辑ALC的不确定扩展

描述逻辑是本体的重要表示方式,但只能处理严格的确定性知识,并不能处理自然界中广泛存在的不确定知识。通过对最基本的描述逻辑ALC进行扩展,提出了能够处理不确定知识的基于云模型不确定描述逻辑Cloud-ALC,给出了Cloud-ALC的语法和语义及其蕴涵推理关系。实例分析说明Cloud-ALC可以为扩展本体描述语言以能够处理不确定知识提供语义支持。     

Tableau算法在粗逻辑知识推理中的应用

Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。     

基于本体的领域知识库构建及推理研究

文章基于本体、资源描述框架、本体描述语言OWL、描述逻辑，对领域知识库的构建及知识推理等方面进行了研究，阐述了基于本体的领域知识库构建的方法，并且介绍了常用软件领域知识库的构建实例，对基于描述逻辑的知识库推理进行了研究，并以实例说明其应用。     

语义网中模糊本体的描述逻辑

为了使用语义网上的表达能力强的模糊知识来表示、推理模糊本体,我们将提出一种新的基于描述逻辑的模糊扩展,称之为带比较表达式的模糊描述逻辑（FCDLs）。FCDLs的语法和语义有标准化的定义,并且,FCDLs的公理和断言也有明确的指定。FCDLs结合模糊描述逻辑（FDLs）的模糊概念和扩展的模糊描述逻辑（EFDLs）的削减概念。因此,FCDLs可以使用语义网上的模糊知识来表示、推理模糊本体。     

一种面向形式概念分析的语义相似度计算框架

为了计算形式概念分析的形式概念或概念格的语义相似度,利用描述逻辑概念作为形式背景的特征属性对形式概念分析的形式背景进行语义扩展,即利用领域本体(描述逻辑知识库)提出了形式背景的一种语义表示方法．在此基础上,基于形式背景的语义表示,利用描述逻辑推理(即本体推理)给出了一种面向形式概念分析的形式概念或概念格语义相似度计算框架,并且证明了实例化该架构所得到的语义相似度计算方法满足对称性和等价不变性等基本性质．     

面向语义Web的直觉模糊粗描述逻辑

分析了面向语义Web的直觉模糊粗描述逻辑的研究现状和存在的问题,基于(I, T)-直觉模糊粗集理论将直觉模糊描述逻辑和粗描述逻辑进行了集成,即提出了一种新的直觉模糊粗描述逻辑．针对与本体语言OWL 2等价的描述逻辑SROIQ(D),对SROIQ(D)进行了扩充,具体提出了直觉模糊粗描述逻辑IFRSROIQ(D),给出了IFRSROIQ(D)的语法、语义和性质,证明了IFRSROIQ(D)的推理问题（包括知识库可满足性、概念可满足性、概念包含、逻辑推导、ABox一致性推理等）都可以归约到基于完备格的描述逻辑L*-SROIQ(D)上对应的推理．     

基于规则与相似度的语义web服务匹配

随着语义web技术的快速发展,基于语义的web服务发现技术,已成为web服务领域研究热点之一.效率和精度,是web服务发现技术的两个主要关注点.Web服务发现可以分为基于本体概念相似度度量和基于逻辑推理这两种方法.这两个方法互有优点,前者主要效率方面占优,而后者则在精度方面优势明显.本文提出了一种基于规则与相似度的语义web服务两阶段匹配方案.该方案采用语义网规则语言作为规则描述语言,利用基于相似度的服务输入输出匹配方法进行第一阶段的筛选.在此基础上再次利用基于规则推理的方法,对第一阶段的匹配结果进行进一步的精化,从而在效率与精度两方面取得一定的平衡.     

基于OWL DL的本体推理机设计与实现

语义Web中描述逻辑和本体论日益受到关注,成为学术界的一个研究热点.首先给出了与OWL DL等价的描述逻辑SHOIN(D)的语法和语义,以及OWL DL本体知识库各模型元素的描述形式.然后介绍了OWL-API、Pellet-API、Jena-API推理机的工作原理和推理编程的核心技术,提出一种基于Pellet和Jena的叠加推理机框架.最后开发了一个OWL DL本体推理机原型,实现了本体知识库一致性、分类和可实现性推理服务.     

基于本体和规则的物流知识表示与推理

为了解决物流领域相关概念的共享和信息集成问题,研究了物流配送过程中相关知识的表示以及基于知识的推理．应用本体论方法分析配货规则,使用本体中表示的概念和属性制定配货规则库．运用Jena推理子系统,对本体和配货规则进行推理,开发了一套基于本体和规则的自动配货系统．由于本体是共享概念模型明确的、形式化的规范描述,可以利用本体强大的语义表达能力、本体所描述的共享知识以及自动推理机制,实现物流企业之间以知识集成为基础的业务集成．     

基于语义关联的多本体完善方法

本体作为语义web应用中语义信息的来源,在实现语义web应用的自动发现和组合中有着重要作用。当前对本体的研究多关注于提高本体使用的有效性,从而使得本体能够提供更精确丰富的语义信息,而忽略了本体自身质量对语义信息的影响。文章提出了一个基于本体概念间语义关联关系的多本体完善方法,利用参考本体中的概念关系和层次结构,结合目标本体与参考本体间的语义关联,补充与完善目标本体的概念关系和层次结构,并通过参考本体和目标本体的角色互换,迭代的完成对多本体的完善。通过对17个本体进行实验,将实验结果与传统的本体完善方法——闭包推理进行对比,证明了该方法不仅能够得到闭包推理产生的结果,并且能够对本体进行更多的正确的完善和补充,实现基于语义关联的本体完善。     

基于语义Web的网页推荐模型

如何使用语义 Web技术构建网页推荐模型是一个有着广泛应用前景的研究课题。语义 Web下的网页用本体标注 ,该模型自动采集被标注网页上的语义信息 ,利用网页中的标注信息和相应的本体概念对网页进行分类 ,将分类结果存放在数据库中。同时 ,在这个模型下 ,用户的兴趣存放在DAML (DARPA agent markup language)格式的文件中。通过用户兴趣和网页类别的匹配 ,就能够给用户推荐需要的网页 ,在推荐网页时 ,该模型还采用支持向量机用于分类用户。实验结果显示了该模型比传统的网页推荐模型准确率更高     

Development and Research on the Internet Resources Aggregation Platform

We proposed an Intemet resource aggregation platform based on semantic web. The platform includes an Web Ontology Language（OWL） ontology design toolkit（VO-Editor） and a selective inference algorithm engine so that it can visually editing ontology and using novel selective reasoning for information aggregation. We introduce the VO-Editor and the principle of selective inference algorithm. At last a case of budget travel system is used to interpret the approach of Internet resources aggregation by this platform.     

一种基于语义网技术和本体的数据集成方法

研究语义网技术在数据集成中的应用方法。采用规则系统实现对语义网本体语言的扩展,以提高本体语言的表达能力。在此基础上将语义网相关技术系统地应用到数据集成系统的各个方面,包括数据采集、本体构建、本体映射、数据查询和数据持久化。通过一个实例,展示了上述方法的可行性。     

Design of child＇ s safety management system based on ontology using context information of home network

This paper presents a system to alert of dangerous a child situation of a child by applying context information collected from a home network to ontology that is capable of inference. Radio frequency Identification （RFID） and sensors were used for the configuration of a home network, to obtain the raw data to convert into context information. To express the ontology, web ontology language （OWL） was used to provide the inference of context information. Then, simple object access protocol （SOAP） messages were used to notify of the dangerous situations that a child may be involved in via mobile devices. The proposed system consists of Context Manager, Service Manager, and Notification Manager. The child＇s safety management system can proactively detect the context data of a child on the basis of context awareness. In the experiment, the Jena 2.0 by ontology reasoner and the OSGi（Open Service Gateway initiative） Gateway developed using open source software Knopflerfish 1.3.3 were used to implement the service frame work.     

Design of child’s safety management system based on ontology using context information of home network

This paper presents a system to alert of dangerous a child situation of a child by applying context information collected from a home network to ontology that is capable of inference. Radio frequency Identification (RFID) and sensors were used for the configuration of a home network, to obtain the raw data to convert into context information. To express the ontology, web ontology language (OWL) was used to provide the inference of context information. Then, simple object access protocol (SOAP) messages were used to notify of the dangerous situations that a child may be involved in via mobile devices. The proposed system consists of Context Manager, Service Manager, and Notification Manager. The child's safety management system can proactively detect the context data of a child on the basis of context awareness. In the experiment, the Jena 2.0 by ontology reasoner and the OSGi(Open Service Gateway initiative) Gateway developed using open source software Knopflerfish 1.3.3 were used to implement the service frame work.     

基于QoS本体的语义Web服务选择算法

引入QoS本体,提出了一种基于QoS本体的语义Web服务选择算法.该算法通过构造Web服务的QoS本体模型以支持异构QoS参数的语义描述和度量,并将QoS语义匹配和数值匹配相结合,从而更准确地为用户选择满足其个性化需求的Web服务.仿真实验表明,基于QoS本体的语义Web服务选择算法能够充分利用QoS语义和数值信息,为用户选择更合适的服务,实现用户对Web服务的个性化需求.     

基于FCA算法及中文特性的本体论构建

本体论(Ontology)是语义网最重要的基础,可以用来描述特定领域(Domain)下的知识.提出一个以形式概念分析FCA（Formal Concept Analysis）加上中文特性的半自动化构建本体论方法,该方法能快速地建构出本体论的概念层及实例层,以达到知识的整合与分享,根据效率评估结果可知,本系统解决了网页数据种类繁多、文字前处理不易等问题.     

当前基于本体的语义标注工具的分析

基于本体的语义标注工具使用已有本体在Web页面中插入语义元数据信息,从而使Web页的内容机器可识别,它完成的是构建语义Web的基础性工作.本文将对当前基于本体的语义标注工具进行分析和比较,并总结和探讨基于本体的语义标注工具的发展趋势.