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

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

OWL DL的形式化基础研究

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

OWL本体构建方法的研究

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

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

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

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

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

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

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

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

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

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

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

基于OWL的仿真想定本体构建方法

研究了作战过程,提出了基于OWL的作战单元本体、装备本体、任务本体和仿真想定本体的构建方法,采用了描述逻辑对作战相关概念、关系进行了推理,检验了概念、关系的一致性,优化了概念层次结构。通过实例分析,对构建的本体进行了检验。结果表明:该方法实现了军事领域概念的合理分类和想定数据语义的智能检测,可为想定开发人员自动地提供决策支持。

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

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

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

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

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

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

基于关系数据库的OWL本体构建方法的研究

利用已有的数据资源以自动或半自动方式构建本体是实现语义Web的任务之一。在分析了现有研究成果及不足的基础上,给出了一个比较系统的基于关系数据库的OWL本体构建方法。介绍了如何从关系模式中识别实体、联系、继承关系、聚类关系及基数约束等语义,完成了从关系数据库语义到本体相应部分的转换,通过原型系统的实现验证了该方法的有效性。

扩展OWL处理模糊知识

为了解决模糊Ontology的表示和推理问题,本文结合网络本体语言OWL的特点,在模糊描述逻辑的基础上,构建了RDF/XML式的模糊算子和公理．用来表达Ontology中的模糊概念和模糊声明；提出了OWL到模糊算子的转换规则,统一了模糊Ontology中确定知识的表示方法．最后,利用新增模糊词汇和转换规则解决了视频提取领域的模糊知识表示和推理任务．

基于OWL-S的制造网格服务发现研究

结合语义Web技术,设计了制造网格服务本体开发步骤,对制造网格服务进行语义描述,提出了基于OWL-S的制造网格服务发现模型。将本体匹配技术引入制造网格的服务匹配中,并改进了本体匹配中概念相似度算法,为解决服务匹配问题提供一个有益的尝试。实验表明,该语义模糊匹配技术能有效地弥补基于关键词的服务发现查全率和查准率较低的不足,提高服务发现的质量。

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

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

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

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

基于OWL的本体集成

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

基于OWL-S的服务发现语义匹配机制

本文提出一种基于OWL-S的语义web服务匹配系统的机制,将语义元素引入UDDI系统中,从而在UD-DI中保存语义信息.系统通过语义服务匹配算法提高web服务匹配的准确度和召回率,并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性.系统使用本体概念的索引机制提高服务发现的效率.而且,系统在建立和维护索引的过程、或服务的匹配过程中使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率.

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

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