基于BNF的OBO规范化和OWLDL转换研究

大多数生物本体包括基因本体这样重要的本体都用OBO表示。这些本体尤其是其中用共享和可控的词汇来注释的实验数据将会融入到语义网中。随着OWL语言成为W3C的本体标准建模语言。将用OBO表示的生物本体转换成用0WL语言表示显得十分必要。本文用BNF范式规范TOBO的语法,设计了一个规则将OBO转换成OWLDL,并且设计和实现了一个简易的转换系统。     

OWL DL的知识表示与推理研究

语义Web的逻辑基础是描述逻辑,其出现的目的就是为了解决机器和人对知识理解的问题,因此,可以在语义Web的基础上展开推理。传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的共享。探讨了OWL DL作为知识表示形式的优点;通过实例验证了OWL DL关于描述逻辑的推理。     

UML类图向OWL本体转换工具的设计与实现

介绍了UML类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(UML2OWL)的设计思想与实现技术.利用DOM API解析、提取UML类图元素,并根据UML-OWL转换规则,将其转换为相应的OWL本体元素.工具开发和案例研究表明,该转换方法在转换UML类图到OWL本体上是可行的,基于该转换方法的自动转换工具是可实现的.     

基于OWL的本体映射中概念相似度计算方法的研究

随着网络上的本体越来越多,为了实现不同本体间的知识重用和共享,需要在本体间建立映射。而建立映射的关键在于找到概念相同或相近的实体对。借鉴计算语言学中的语义距离思想,提出了基于OWL构词所描述的本体概念相似度计算方法,该方法充分考虑了概念本身、概念属性、概念所处的层次结构和概念的OWL语义四个方面的语义相似度。     

标注工具中OWL本体编辑功能的实现研究

基于本体的语义标注工具使用已有本体在Web页面中插入语义元数据信息,从而使Web页的内容机器可识别,是将现有Web提升为语义Web的有效方法之一.大多数标注工具仅支持使用已存在的本体词汇来标注Web页,不具备标注过程中新建本体或在已有本体中添加新词汇从而补充标注词汇的本体编辑功能.针对语义标注中的本体编辑功能的特点及存在问题进行研究,并从实现的角度对OWL本体编辑进行讨论.     

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

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

OWL本体查询技术研究

通过基于本体工程API的本体查询技术的研究,给出了一种基于Jena的、支持OWL Lite本体查询的原型工具OWL-QS的设计与实现技术.该技术给出了本体解析、本体信息可视化、本体元素(类、属性和个体)查询等功能的处理流程和实现方法.应用研究表明:OWL-QS实现的功能是有效的;基于当前开源本体API(如Jena)实现OWL本体查询是可行的.     

基于OWL的网络教学资源本体知识库构建

本文针对当前教育界虽然拥有丰富的网络教学资源,而互联网上却缺少可重用的网络教学资源的现状,本文探讨了本体技术和Web服务技术对网络教学资源系统的支持,并提出了基于本体和Web服务的网络教学资源库应用框架结构,目的是为了让网络教学资源库能提供概念共享模型,建立概念语义空间,并用本体标准语言OWL进行形式化描述,从而解决知识共享和语义互操作问题,同时也为解决机器理解问题提供了一种办法.     

OWL本体存储的分析与应用

知识本体是共享概念的明确形式规范说明,本体合理有效地存储是保证本体共享利用的前提,通过给出OWL本体和关系数据库模式的形式定义.在分析了OWL本体和关系数据库模式之间概念对应的基础上,通过对现有本体存储模式的分析,给出了一种本体存储模式的设计原则,应用动体的存储实例表明存储实现简单,查询实验表明查询检索效率有一定提高.     

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

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

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

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

基于Arnold变换和DCT变换的数字水印算法研究

提出了一种基于Arnold变换和DCT算法的数字水印算法.利用Arnold变换将水印图像变成无意义的图像,再对载体图像做DCT变换,将变换后的水印图像隐藏在DCT系数上,最后进行DCT反变换完成水印的嵌入.实验结果表明,该算法对于一般的图像攻击如滤波、噪声、剪裁有较好的鲁棒性.     

基于 OWL 本体的英语应用文体信息抽取技术

本体是领域概念的术语和信息的集合,传统的信息提取方法主要有基于统计的方法、基于规则的方法和混合方法.提出一种基于OWL本体的信息抽取方法,建立英语求职简历本体,构建信息抽取原型系统.通过计算信息抽取系统的准确率和召回率,验证方法的有效性.     

EXPRESS 向 OWL2 本体模型自动转换研究

为解决 EXPRESS 向本体转换中存在通用性差、 缺乏映射规则的形式化和自动转换等问题, 在不依赖领 域情况下, 提出两种语言间映射的形式化规则和自动转换算法。 该映射规则和算法实现了基于 EXPRESS 的石 油勘探开发国际标准数据模型(Epicentre)向本体的自动转化。 采用 Jena 推理验证了所构建的 Epicentre 本体的 准确性、 完整性和一致性。 结果表明, 该映射规则与自动化算法的有效性和普适性。     

基于小波变换的光栅投影图的压缩

研究了基于小波变换的光栅投影图的压缩．首先介绍了三维形貌测量的光栅投影图及其需要进行压缩的原因;简介可用于图像压缩的小波余弦变换技术,利用haar小波和db7小波对光栅投影图进行小波变换．按照不同的压缩比保留最大的小波系数．实验结果表明此方法能有效地压缩光栅投影图,使用压缩后还原的位棚图解调出来的物体形貌信息能得到有效的保留,而且使用不同的小波进行压缩变换的效果有着很大的区别．     

XML规范化研究

讨论了在XML规范化过程中涉及到的DTD的关系表示和无损联接分解并给出了保持依赖分解的定义，