一种新的DL-Lite不一致容忍语义

在本体工程中,处于演变过程中的本体常出现不一致性问题,这将导致基于本体的推理失效.为解决推理失效的问题,提出了一种新的处理DL-Lite本体实例断言中冲突的不一致容忍语义,讨论了新的不一致容忍语义与已有的不一致容忍语义的关系,给出了在新定义的不一致容忍语义下的修复算法并做了新语义下推理任务的复杂度分析.     

基于动态描述逻辑的语义Web服务PE匹配算法

将基于描述逻辑断言构成的PE描述公理的有限集合看作一个本体知识库,因此有关PE的语义匹配问题就转化到两个基于描述逻辑的本体知识库之间的逻辑蕴含判定问题,然后将逻辑蕴含推理问题转化为本体库的可满足性检测问题,并通过可判的扩展算法解决,同时对匹配结果进行有意义的排序及分类.所提方法与现有方法相当的情况下,具有更高的查全率,能够更好地区分匹配结果.     

模糊本体结构及基于NGD的隶属度确定

本体能够形式化地描述特定领域的概念、术语及关系,但不能表达模糊的信息.为此将模糊描述逻辑应用在本体构建中,提出一个5元组的模糊本体模型,由概念集、角色集、实例集、模糊断言集和模糊关系集构成.基于Tableaux算法思想并结合算例,给出模糊本体模型推理问题的求解方法.针对模糊本体模型的隶属度计算问题,结合Google搜索,利用标准化谷歌距离(normalized Google distance,NGD)演算法,以实时且完全在线处理的方式计算关键词的相关性,并最终转化为模糊本体中的隶属度.     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

ABox推理计算实体相似度

针对主题图本体映射中主题上下文语义不易确定,缺少分类信息,但有明确的结构语义特征的特点,提出了A-Sim主题图本体映射算法。首先对主题图中的主题进行分类,利用描述逻辑语言ALCIR+的表达能力,根据主题属性及关联关系建立各种能表达上下文语义信息的概念术语集,将主题图本体转换为断言集合;其次在断言集合上进行多项式复杂度实例检测,记录模型构造过程中的个体,获得主题的上下文语义;最后将上下文语义结合元素级概念相似度算法计算实体综合相似度,获得异构主题图实体间的实体映射关系。通过对主题图进行相似度计算实验,结果证明新算法对主题图实体相似度计算综合性能至少提升了14%。     

协同业务过程中的语义一致性

为了解决协同业务过程中的语义不一致问题,使协同企业之间实现数据与知识共享,提出基于描述逻辑的本体不一致性分析方法。首先定义了本体的最小不一致子集、命中集合和调适集合,之后提出DS IO算法求解调适集合,并证明通过删除或修改调适集合中的公理可以有效恢复本体的一致性。最后以实际项目中的协同业务过程为例,在领域本体和协同本体的基础上建立本体一致性分析系统,分析结果证明该文提出的方法可以有效解决本体的不一致问题,从而保证了协同业务过程的语义一致性。     

基于HS-树的所有MIPS求解算法

本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.目前很多解决本体不一致的方法都需要计算最小不一致保持子集(MIPS).本文利用HS-树方法给出了一种能够有效计算本体中所有MIPS的算法.实验表明该算法是有效的,尤其对于本体中包含不可满足的概念远远多于MIPS的情形更加有效.     

协同业务过程中的语义一致性

为了解决协同业务过程中的语义不一致问题,使协同企业之间实现数据与知识共享,提出基于描述逻辑的本体不一致性分析方法。首先定义了本体的最小不一致子集、命中集合和调适集合,之后提出DSIO算法求解调适集合,并证明通过删除或修改调适集合中的公理可以有效恢复本体的一致性。最后以实际项目中的协同业务过程为例,在领域本体和协同本体的基础上建立本体一致性分析系统,分析结果证明该文提出的方法可以有效解决本体的不一致问题,从而保证了协同业务过程的语义一致性。     

可信Web服务的度量模型

针对Web服务的可信性缺乏有效度量方法的问题,引用本体的基本思想和主要理论对Web服务进行统一的语义描述和建模,提出了可信Web服务的度量模型(MM-TWS),建立了面向本体的可信Web服务,并解析了MM-TWS中建立本体的基本步骤和主要流程。采用模糊描述逻辑来设计MM-TWS的模型算法FDL-MM-TWS,并推算Web服务的可信度。最后,利用MM-TWS对一个基于突发事件处理的智能建筑系统集成进行度量,初步验证了该方法的可行性和有效性。     

SCORM模型资源实体整合算法设计

对SCORM学习资源间的关系描述进行充分的挖掘,对资源本体间的关系类型和关系性质进行了划分和刻画,给出了资源本体的语义相似度度量方法和学习资源搜索算法,并在此基础之上,设计了SCORM模型中资源实体整合算法.     

Reasoning with Inconsistent Ontologies

Reasoning with inconsistent ontologies involves using an inconsistency reasoner to get meaningful answers from inconsistent ontologies. This paper introduces an improved inconsistency reasoner, which selects consistent subsets using minimal inconsistent sets and a resolution method, to improve the run-time performance of the reasoning processing. A minimal inconsistent set contains a minimal explanation for the inconsistency of a given ontology. Thus, it can replace the consistency checking operation, which is executed frequently in existing approaches. When selecting subsets of the inconsistent ontology, formulas which can be directly or indirectly resolved with the negation of the query formula are selected because only those formulas affect the consequences of the reasoner. Therefore, the complexity of the reasoning processing is significantly reduced. Tests show that the run-time performance of the inconsistency reasoner is significantly improved.     

本体上的代数结构

建立了本体概念集合上的一种代数结构——本体格,通过本体格上的代数性质分析本体结构的特性．由于本体的形式化研究仍处于初级阶段,尚缺乏对本体的严格的评价技术．代数方法是一种带有严谨逻辑推理的方法,代数性质是一种适用广泛的性质,本体上的代数性质可用于分析所有本体结构的特性．所以,建立的本体格为本体论的研究提供了一种具体的评价技术．     

Bridge Ontology： A Multi-Ontologies.Based Approach for Semantic Annotation

Representing the relationships between ontologies is the key problem of semantic annotations based on multi ontologies. Traditional approaches only had the ability of denoting the simple concept subsumption relations between ontologies. Through analyzing and classifying the relationships between ontologies, the idea of bridge ontology was proposed, which had the powerful capability of expressing the complex relationships between concepts and relationships between relations in muhi ontologies. Meanwhile, a new approach employing bridge ontology was proposed to deal with the multi ontologies-based semantic annotation problem. The bridge ontology is a peculiar ontology, which can be created and maintained conveniently, and is effective in the multi-ontologies based semantic annotation. The approach using bridge ontology has the advantages of low cost, scalablc, robust in the web circumstance, and avoiding the unnecessary ontology extending and integration.     

面向文物鉴定本体的基础模型与建模环境

建立面向文物鉴定本体的基础模型环境是文物数字化和建立数字博物馆的基础,其核心文物鉴定基本模型(FMA2)是一个关于可移动文物结构化组织的概念及概念间关系的领域本体,包含了从构成文物器物的材料对象以及与它们关联的非材料实体(时间、空间、面、线和点),用以描述文物器物结构化的关系.提出了基本模型及其建模环境包括本体的定义及方法论、一个四元组的高级模式、一组准则和基于帧的创作环境.建议FMA2作为文物信息学的一种参考本体,以使在文物鉴定中不同的观点能相互关联,矫正在文物信息学本体中现有的和新发现的本体,并提供用于表示文物功能的结构化模板,使文物数字化过程中统一语义标注并提高本体的重用性.     

一种基于语义网的数字图书馆智能检索模型

提出基于语义网技术的数字图书馆智能检索模型, 该模型以数字图书馆领域本体为基础, 采用双层本体结构, 通过本体映射和本体推理等技术实现了分布式和异质的数字图书馆的智能检索功能. 该模型可以实现数字图书馆语义级的资源共享和智能化的信息检索, 具有较高的查准率和良好的可伸缩性. 该模型提供了一种建设知识化和智能化数字图书馆的方法.     

基于改变历史日志扩展的本体映射进化研究

本体映射可以有效地解决本体异构问题,然而现有的本体映射研究大多只关注于映射方法本身,而缺乏在具体动态应用环境中对映射进化的分析,使得已有的本体映射方法在实际应用中的效率并不高。因此本文提出一种基于改变历史日志扩展的本体映射重建方法。该方法在本体映射进化时,用HL记录本体的变化对现有的映射系统进行扩展,仅仅更新过期的无效的映射对。实验结果表明,本文方法在本体不断更新的动态环境中表现较优,和其他现存映射进化系统相比具有时效性更高的优点。     

小麦草害本体知识库构建研究

根据小麦草害信息知识的特点,结合本体理论与方法,以河南省小麦草害为例,在小麦领域专家的指导下,首先凝练出小麦草害领域本体知识资源,并进一步梳理出较为完善的小麦草害领域本体知识组织体系,最后探索并构建了河南省小麦草害本体知识库,为其它领域本体的构建提供了框架参考和技术支撑.     

"存在本体"与"生态视野"--试谈中国当代美学的前景与出路

中国当代美学在经历了重建实践本体和超越实践本体之后,似乎开始进入到对生态本体的构想之中。但目前的一些生态美学研究还具有过多的诗意想象成份,并时常陷入"人类中心"、"反人类中心"、信仰与科学等等的矛盾。生态美学否定实践和主体性的武断姿态,也使其面临关闭对人的存在进行深切理解的险途。人是感性的存在物,也是想象的、思索的、语言的、实践的存在物,最终是"关系的存在物"。"人与自然"的关系是最为原初和根本的,但它不是人类生存关系的整体和全部。人们无法忽视生态美学开启的新视野,但一种能够引导方向的美学无法离开人类整体生存活动的大关系和总基础。以存在为本体、以生态为视野的存在论美学或许能为试图突破认识论模式的中国当代美学开辟出一条可能的道路。