基于OWL DL的关系数据知识提取研究

关系型数据是企业的重要资源,针对当前关系数据库中海量数据的知识提取转换问题,对如何将关系型数据提取表示为OWLDL本体进行了研究。在形式化关系数据记录和本体模型的基础上,设计了转换算法来提取关系数据并将其转换为本体形式,对其中的标识和关联等关键问题进行了重点研究,最后以实例验证展示算法。该方法的提出可以使本体开发者更容易地将关系数据提取为知识,为快速构建企业知识本体提供了新的途径。     

对OWL及其逻辑基础的研究

OWL是Web Ontology的表示语言,是实现语义Web的语言工具.对OWL三个子语言的语法进行了比较分析,重点对OWL的逻辑基础(即描述逻辑)进行了讨论,就描述逻辑如何用于表示本体进行了研究,提出了一种基于描述逻辑的本体模型,并对描述逻辑的推理机制进行了阐述.     

一种关系模式到OWL DL本体的翻译方法

本体技术是数据可以达到语义层次交换的关键,如何将当前各类数据形成本体知识库表示是一个非常重要的问题。针对这个问题,以一种关系模式到一种语义扩展ER模型的正确性可满足转换算法为基础,提出了一种通过数据库反向工程到OWL DL本体的翻译算法,说明了该算法使得转换是正确性可满足的,并实验实现验证了算法。     

基于OWL的本体建模研究

计算机对语义Web上的文档理解是建立在本体基础之上的,本体是用来定义概念和数据之间的关系的,因此本体建模是非常重要的。介绍了本体与语义Web的关系,并以基于OWL的本体为例,对本体的建模以及相关问题进行研究。     

Web本体语言OWL

随着对语义Web研究的深入,人们越来越关注在Web上信息内容的表示和检索问题。在语义Web的七层模型中,建立在RDF模式层之上的本体语言层用于形式化描述Web文档中词汇的含义,是建立语义Web的关键环节。该文介绍了W3C最新给出的Web本体语言OWL,给出TOWL3个子语言构造成分的含义说明,并比较了3种子语言间的差别。     

OWL Lite形式化基础及应用研究

介绍了描述语言SHIF（D）以及本体语言OWLLite，证明了OWL Lite的形式化基础是SHIF（D），总结出OWLLite的推理问题可以归约为描述逻辑sHIF（D）知识库的满足性。最后设计了基于本体的手足口病的辅助诊断系统（HFMDS），由OWL Lite推理工具进行相应地推理工作，便于医生提出相关的治疗方案及临床建议。     

基于OWL DL的学科知识本体建模

学科知识建模是一项复杂的工程,目前存在的问题主要有知识库不能很好地共享和重用,难以实现语义上的推理及检索。本体作为一种能够描述概念以及概念之间的关系、能在语义和知识层次上描述概念模型的工具,已应用于语义网、自然语言处理、资源共享和重用等领域,同时也受到学科知识建模者的青睐。以＂数据库系统原理＂课程的知识本体为例,详细阐述了课程知识元模型的构建、基于OWL DL的本体建模方法,最后给出了基于OWL DL设计的知识本体的部分代码,以供业内同行研究参考。     

OWL的本体推理方法研究

针对RDFS与OWL语言之间的兼容性问题,从本体推理机的角度研究了扩展RDFS推理机支持OWL语义的两种方法。在Sesame系统的基础上,通过规则扩展的方法实现了升级方案对RDFS和OWL语言双重支持功能。实验测试表明,扩展后的本体推理机完全支持RDFS语言,其推理能力也大大超过了单纯的OWL语言推理机。     

描述逻辑综述

描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义Web中的地位等方面做了系统阐述。     

从ER模式到OWL DL本体的语义保持的翻译

提出了一种从ER模式到OWL DL本体的语义保持的翻译方法.该方法在形式化表示ER模式的基础上,建立ER模式和OWL DL本体之间精确的概念对应,通过一个翻译算法按照一组预定义的映射规则实现模式翻译.理论分析表明,该方法是语义保持的和有效的;算法实现和案例研究进一步证实,完全自动的机器翻译是可实现的.该文方法是原创性的,为Web本体的开发以及数据库和语义Web之间语义互操作的实现开辟了一条有效途径.     

OWL本体构建方法的研究

通过分析语义网的特点和对本体构建方法以及本体表示语言的要求,提出了一种新的使用OWL构建本体的方法.该方法分4步详细论述了构建本体的过程,解决了现实领域知识到计算机可以理解的形式化编码的转化问题.最后采用该方法构建食物链本体验证了该方法的有效性.     

一种构造OWL本体的方法研究

在该文中,首先讨论了3种最常见的抽象(即包含、聚集和联系)以及他们在本体中含义,然后分析并用实例演示了3种抽象的OWL实现方法。当所有的语义联系都被识别和描述后,就产生了OWL本体的主干部分(即分类、对属性的约束、以及分类间的关系)。并提出了一种支持本体构造的语义分析方法,该方法可以识别和定义概念间的语义联系,并将概念间的语义联系映射或转换成OWL原语。     

UML和OWL在本体建模中的比较研究

作为语义Web的基础,提供共享概念模型的本体扮演了重要的角色。然而目前的本体开发工具和技术是建立在AI领域KIF和KL-ONE的基础上,难以理解和掌握。通过介绍UML和OWL的基本概念和建模原语,结合建模实例分析它们在本体建模中的开发原理,并对两者在本体建模过程的方法进行分析评价,可以看出将UML应用于本体的开发,能提供标准直观的统一建模过程,提供方便的沟通和理解途径,对本体开发有较高的现实意义和理论价值。     

Efficient management and storage of a multiversion OWL 2 DL domain ontology

Ontology is the chief technology to model domain knowledge and fix its heterogeneity. Knowledge evolution is unavoidable in all fields, and ontology should reflect such an evolution while preserving its consistency. The access to an ontology evolution history is also a crucial need. Thereby, ontology versions should be stored efficiently. To address these requirements, some works focused only on managing ontology inconsistency. To this end, they adopted an a posteriori approach that checks inconsistency after its occurrence. Others have mainly focused on some ontology versioning aspects other than the storage and the consistency preservation issues. Specifically, the state of the art storage strategies perform well some typical queries at the cost of a high storage space. Strategies with low space overhead lose the main specificity of ontology: the knowledge semantics modelling. So, it is useful to address all these shortcomings. This paper presents an approach that allows generating consistent OWL 2 DL ontology versions in a priori way. It also proposes an efficient storage strategy that preserves the semantics aspect of ontology and performs well typical queries with a low storage space. A protégé plug‐in is developed to show the feasibility of the main ideas presented in this paper.     

基于关系数据库的OWL本体存储与提取技术

WEB本体语言(OWL)是一种用于对本体进行语义描述的语言,不仅提供强大的语义表达能力,而且能够表达机器可以理解的内容。关系数据库在存储与管理大规模数据方面相应技术比较成熟。针对该情况,结合两者的优势,提出一种基于关系数据库存储 OWL 本体的存锗模式,主要针对本体类的存储模式的设计思想和关键接口实现技术进行叙述。案例研究表明,所设计的类可以有效的实现关系数据库和OWL本体类之间的数据转换。     

OWL DL的UML建模方法

描述了一种OWL DL的UML建模方法,针对OWL DL定义了一种UML概要文件,描述了各种元素及元素之间的关系。实验表明,只要遵循该概要文件,就可以利用任何UML工具来进行本体论的开发,降低大型本体论建立与维护的复杂性。