OWL DL的形式化基础研究

W3C正在制定的 OWL DL 是一种面向语义 Web的知识表示标记语言 ,具有较强的知识表达能力并适合大规模应用的推理效率 ,是语义 Web领域对适合语义 Web应用的知识表示标记语言进行研究的最新综合 .在知识表示领域 ,为了对知识表达能力和推理效率做合适的折衷 ,进行了大量关于描述逻辑的研究 .本文以描述逻辑作为 OWL DL的形式化基础 ,详细分析了OWL DL 和描述逻辑间的对应关系 ,用描述逻辑的语义解释了 OWL DL 的各个基本元素 ,从而可以将描述逻辑领域研究的大量成果应用到 OWL DL上来 ,为进一步研究 OWL DL的知识表示、推理等问题奠定了基础 .

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

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

基于OWL元模型的本体建模研究

采用UML(UnifiedModelingLanguage)的Profile扩展技术作为消除OWL(WebOntologyLanguage)复杂符号体系与本体建模易操作性需求之间的矛盾的关键技术,制定了UML建模元素与OWLLite语法元素之间的映射关系,建立了OWLLite的UMLProfile元模型,并且通过一个具体的示例说明使用OWL的UMLProfile能够直观、清晰地进行OWL本体建模,促进OWL本体建立的易操作性.

OWL本体到关系数据库模式的映射

通过对现有本体存储模式的分析,以及对OWL本体和关系数据库模式之间的概念对应关系的分析,定义了从OWL本体到关系数据库模式的转换规则,给出了OWL本体存储模式的设计原则,并基于该原则提出了一种新的本体存储模式。针对本体描述语言OWL的构词特点,该模式提出将本体中的语义信息存放在不同的表中,以达到方便理解、结构稳定和提高效率的目的,适应于多数中小型本体的存储。

语义Web规则标记语言OWLRule+的设计与实现

语义Web是对未来Web体系结构的一个伟大设想 ,其研究分层次进行 目前足够成熟的最高层是以OWL语言为代表的ontology层 但它的语义仅限于描述逻辑 ,该逻辑主要表示对象和类的层次结构 ,而规则的表达能力弱 因此在其之上需要一种表达力更丰富的逻辑语言 设计了一种新的语义Web规则标记语言OWLRule+:其语法扩展了OWL ;语义基于CARIN ,一种结合描述逻辑和Horn规则的表示语言 ;实现基于Jess规则推理机

基于OWL的战场本体构建方法

对使用OWL构建战场本体的方法进行研究.尝试利用骨架法构建战场本体,并用OWL语言对战场本体及其关系进行形式化描述.结合一个具体的战场应用场景,对本体的应用进行说明,为实现基于本体的军事领域战场知识管理奠定基础.

基于本体论的农业知识的OWL描述

基于本体的信息交换特性,采用知识本体来表示农学领域知识。首先开发出农业知识本体;然后建立概念、概念之间的继承、实例,以及多种约束关系来表达高度共享和重用的农业领域知识;最后针对虚拟农作物生长系统开发平台中知识引擎对作物生长模型脚本的要求,用OWL描述了农业知识本体,通过实际应用,证明了该方法是可行且有效的。

基于OWL的领域本体的综合构建与进化

本文探索了基于OWL（Web Ontology Language，Web本体语言）的航空产品领域本体的初构、融合、映射与进化的综合方案，该方案以“航空产品的网上发现与跟踪系统”需求为目的，从实际应用角度设计与构建系统所需的领域知识本体。在本体构建过程中，融合了国外已开发的基于Loom的“军用飞行器本体”的方案；选择使用NASA叙词表，将广泛的航空产品类概念进行了本体映射；利用本体编辑工具Protege对航空产品领域本体原型进行了可视化开发；从Web文档中自动抽取航空产品实例概念对已构建的本体进行进化，从而保证了该领域本体的完善和动态更新。

基于语义网格的OWL-S服务本体的语义匹配研究

研究了本体、本体匹配、NBC文本分类和OWL-S。OWL-S把网格中的资源组织为服务,并用服务本体来表示和描述,不但可以描述服务的语义,而且还能够进行适当的推理。针对OWL-S服务本体的异构性,利用OWL、OWL-S的元素值和文本内容,从本体结构、功能和文本信息等多个维度分析本体间的语义匹配问题,并给出了相应的语义等价匹配规则和基于NBC的文本分类式语义相似匹配算法,为语义网格中的服务本体共享、交互和集成等技术的实现提供了基础。

基于OWL本体建模的概念产品配置

提出了一种基于本体的产品概念设计信息建模方法 ,并以减速器的设计为例 ,从概念实体、概念属性及概念间关系三方面介绍了构建产品本体信息模型的方法 ,同时采用最新的Web本体语言———OWL进行描述。初步研究表明 ,基于本体的信息模型克服了传统设计模型know -why、know -how在知识表达方面的欠缺 ,具有清晰、一致、完整等特点 ,可有效地保证设计质量并提高设计效率。

中文领域知识半自动化OWL本体构建方法研究

传统中文领域本体构建多采用手工构建的方法,这种方法费时费力且重用率不高。针对这种情况,提出一种把中文领域知识文档半自动化地转化为OWL(Web Ontology Language)本体的方法。该方法以武器装备领域为例,先使用分词工具ICTCLAS5.0对中文文档进行分词等预处理,然后使用TF-IDF算法、基于模板匹配算法挖掘领域核心概念、聚类概念等级关系,再使用Jena将聚类后的三元组文档形式化为OWL本体,最后使用Protégé工具对OWL本体进行可视化管理。实验结果表明,该方法可以有效地节省中文本体构建的时间和人力成本,为全面解决中文领域本体的自动化构建提供了一个新的思路和尝试。

基于OWL的本体集成

提出一种新的本体集成方法。分析了本体集成的原因,阐述了本体集成时应遵循的4条基本原则,并给出了集成的分类,提出了一种基于OWL DL图闭包的本体集成方法。该方法将OWL DL本体抽象为RDFS图模型,根据给定的OWL DL推理规则生成OWL DL本体的图闭包,在此基础上进行本体集成,同时提出了几种计算实体相似度的方法,将本方法与COMA++和FCA-merge进行实验对比,本方法在准确率和召回率上占优势。

基于标签Petri网的OWL-S建模与分析

提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL-S编辑器中嵌入该功能,完善了编辑器的功能。

基于OWL的成语典故本体构建研究

本体是共享概念模型的明确的形式化规范说明,作为知识表示和知识共享的一种方法,本体是目前信息处理领域研究的热点。基于本体论的思想,利用骨架法构建了成语典故本体,并用OWL语言对成语典故本体进行形式化描述。详细介绍了成语典故本体的目的和使用范围、知识采集提炼及OWL描述,OWL描述分别从类、子类、属性、个体及关系几个方面进行了详细分析,为成语典故相关知识的查询奠定基础。通过成语典故本体的构建可有效对成语典故进行智能检索,是本体技术在中国传统文化中应用的尝试。

一种从关系数据库学习OWL本体的方法

提出了一种从关系数据库学习OWL本体的方法.该方法在形式化表示关系数据库模式和OWL本体的基础上,遵循从关系数据库模式到OWL本体的一组通用映射规则.基于Java 2平台的原型工具实现和案例研究证明了该方法的有效性.

非一致OWL本体的推理方法研究

针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程序:HEX回答集程序,把本体推理问题规约为回答集程序求解问题。并通过在非一致本体上的推理实验,验证了该类方法的有效性。

OWL本体构建方法的研究

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

基于OWL的分布式制造信息系统语义集成

为了使制造信息系统能够实现正常的功能,建立了系统各单元的本体结构,并采用W3C推荐的本体描述语言标准OWL对单元属性进行描述,实现系统的语义集成和信息共享。以某陶瓷生产企业的信息系统为例,说明了OWL本体在语义集成中的作用。OWL在制造信息系统语义集成中的应用,解决了由单元属性描述差异造成的系统功能无法实现的问题。

从OWL本体到关系数据库模式的转换

给出了OWL本体和关系数据库模式的形式定义;在分析了OWL本体和关系数据库模式之间概念对应的基础上,定义了从OWL本体到关系数据库模式的转换规则.基于J2SE平台的算法实现和典型实例表明,从OWL本体到关系数据库模式的转换是可行的.

基于OWL的国防工业机构与产品领域本体构建

从现有的语义网和本体的相关理论出发,探索基于国防机构与产品本体的构建工具与方法;运用Protégé3.2构建世界国防工业机构与产品本体,并给出该本体的关联可视图。