检索结果-南通市图书馆

ComR:a combined owl reasoner for ontology classification

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2019年第1期13卷 139-156页

作者： Changlong WANG Zhiyong FENG Xiaowang ZHANG Xin WANG Guozheng RAO Daoxun FU School of Computer Science and Technology Tianjin UniversityTianjin 300072China Tianjin Key Laboratory of Cognitive Computing and Application Tianjin 300072China School of Computer Science and Engineering Northwest Normal UniversityLanzhou 730070China

Ontology classification,the problem of computing the subsumption hierarchies for classes (atomic concepts),is a core reasoning service provided by Web Ontology Language (owl)*** general-purpose owl 2 reasoners employ sophisticated optimizations for classification,they are still not efficient owing to the high complexity of tableau algorithms for expressive ontologies. Profile-specific owl 2 EL reasoners are efficient;however, they become incomplete even if the ontology contains only a small number of axioms that are outside the owl 2 EL *** this paper,we present a technique that combines an owl 2 EL reasoner with an owl 2 reasoner for ontology classification of expressive *** optimize the workload,we propose a task decomposition strategy for identifying the minimal non-EL subontology that contains only necessary axioms to ensure *** the ontology classification,the bulk of the workload is delegated to an efficient owl 2 EL reasoner and only the minimal non- EL subontology is handled by a less efficient owl 2 *** proposed approach is implemented in a prototype ComR and experimental results show that our approach offers a substantial speedup in ontology *** the wellknown ontology NCI,the classification time is reduced by 96.9%(resp.83.7%)compared against the standard reasoner Pellet (*** modular reasoner MORe).

关键词： owl ontology classification reasoner

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

owl本体建模中约束公理的应用

计算机工程 2006年第16期32卷 193-194,223页

作者：林汝坤刘芳戴长华姚莉国防科技大学信息系统与管理学院长沙410073

本体建模的难点在于概念的定义和概念间关系的描述,owl中的约束公理正好是解决这个难点问题的强有力方法。约束公理是owl语言中最核心的部分,通过约束公理可以更完整更明确地定义本体模型,使所建立的本体模型能满足最小本体承诺规则。... 详细信息

本体建模的难点在于概念的定义和概念间关系的描述,owl中的约束公理正好是解决这个难点问题的强有力方法。约束公理是owl语言中最核心的部分,通过约束公理可以更完整更明确地定义本体模型,使所建立的本体模型能满足最小本体承诺规则。该文以W3C提供的酒本体为例子,结合工程实践,描述了如何利用owl的约束公理,完善和准确定义本体中的概念。

关键词： Ontology owl 约束公理

在线全文

学校读者我要写书评

暂无评论

基于owl的森林资源数据智能化采集技术

北京林业大学学报 2008年第1期30卷 108-113页

作者：刘鹏举朱秀杰周宇飞李志清唐小明中国林业科学研究院资源信息研究所

建立森林资源调查规范本体库是森林资源监测知识重用与共享的基础,可用于提高数据输入过程的智能化与规范化。该文利用owl语言对森林资源调查本体进行了描述,建立了森林资源调查规范本体库,并基于Jena推理机技术推导调查因子间约束条件... 详细信息

建立森林资源调查规范本体库是森林资源监测知识重用与共享的基础,可用于提高数据输入过程的智能化与规范化。该文利用owl语言对森林资源调查本体进行了描述,建立了森林资源调查规范本体库,并基于Jena推理机技术推导调查因子间约束条件,以推导的调查领域知识为基础,开发了基于本体知识的逻辑检查与推理功能,支持森林资源调查软件的数据输入过程。结果表明,所提出的方法将调查输入软件从专业领域知识中分离,使之更通用,更易于维护和扩展,提高了调查输入软件的智能化与规范化程度。

关键词： owl 森林资源调查本体库

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

在线全文

学校读者我要写书评

暂无评论

计算机学报 2006年第10期29卷 1786-1796页

作者：许卓明董逸生陆阳河海大学计算机及信息工程学院南京210098 东南大学计算机科学与工程学院南京210096

提出了一种从ER模式到owl DL本体的语义保持的翻译方法.该方法在形式化表示ER模式的基础上,建立ER模式和owl DL本体之间精确的概念对应,通过一个翻译算法按照一组预定义的映射规则实现模式翻译.理论分析表明,该方法是语义保持的和有效的... 详细信息

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

关键词：模式翻译 ER模式 owl 语义保持本体开发语义Web

在线全文

学校读者我要写书评

暂无评论

基于owl的地名本体构建与检索机制研究

基于OWL的地名本体构建与检索机制研究

作者：李文娟解放军信息工程大学

学位级别：硕士

本文在总结地名本体基本概念的基础上,介绍了国内外地名词典以及地名本体研究现状、本体基本理论与技术方法以及本体表示语言的演化和检索方式的发展,建立了基于地名本体的地理信息组织机制,初步设计并构建了地名本体概念模型,在此基础... 详细信息

本文在总结地名本体基本概念的基础上,介绍了国内外地名词典以及地名本体研究现状、本体基本理论与技术方法以及本体表示语言的演化和检索方式的发展,建立了基于地名本体的地理信息组织机制,初步设计并构建了地名本体概念模型,在此基础上利用本体构建工具,实现了基于owl的地名本体形式化表达,最后实现了基于地名本体的空间信息检索原型系统,验证了本文的理论和技术方法。主要包含以下基本内容:1.在总结地名本体研究背景和意义以及地理本体发展历程和国内外研究现状、本体表示语言的演化以及检索方式发展的基础之上,探讨了目前地名信息组织中存在的问题,提出了基于地名本体的地名信息组织解决方案。2.对本体研究的相关理论与技术进行了系统研究。从本体的定义与内涵入手,探讨了本体的基本概念与分类,并重点讨论了本体的主要构建方法与常用实例化工具,在此基础上,总结了基于本体的地名信息组织的基本内容,分析了当前地名本体在地名信息组织中的作用。3.地名本体概念模型设计。从地名本体包含的关键组件的设计需求分析出发,分别从地名本体语义关系、空间关系及空间位置表达三个方面总结了地名本体总体设计需关注的关键问题,在此基础上,构建了地名本体概念模型,探讨了地名本体设计与构建方法。并依据设计的地名本体概念模型,实现了基于地名本体的空间信息表达。4.基于owl的地名本体形式化表达。在地名本体概念模型设计的基础之上,探讨了实现地名本体形式化表达的方法、语言和工具,基于owl利用Protégé本体编辑工具实现了地名本体的形式化定义。5.空间信息检索原型系统设计与实现。讨论了基于地名本体的空间检索系统总体框架设计,探索了地名本体在空间检索中的具体应用,给出了基于本体的空间检索原型系统的主要功能实例,实验验证了基于地名本体的空间检索原型系统。

关键词：地名本体概念模型 owl Protégé 形式化表达信息检索

基于owl和Horn子句的β-PSML语言框架

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机工程 2005年第23期31卷 65-66,78页

作者：苏依拉郑磊刘椿年钟宁 LIU Jiming 北京工业大学多媒体与智能软件技术北京市重点实验室北京100022内蒙古工业大学信息工程学院呼和浩特010062 北京工业大学多媒体与智能软件技术北京市重点实验室北京100022 日本前桥工业大学香港浸会大学

提出了将owl和Horn子句相结合构建β-PSML语言,它既可以表示owl中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完... 详细信息

提出了将owl和Horn子句相结合构建β-PSML语言,它既可以表示owl中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完成语义Web中的查询。

关键词：问题解决标记语言 owl 语义Web Horn子句

一种从企业遗留智能系统学习owl本体方法研究

在线全文

学校读者我要写书评

暂无评论

大连理工大学学报 2009年第4期49卷 598-604页

作者：高俊杰邓贵仕大连理工大学系统工程研究所辽宁大连116024

为规避基于文本的本体学习中尚未解决的中文分词歧义问题,实现企业遗留智能系统中拥有的大量领域知识的复用,提出一种从遗留智能系统学习owl本体的方法.在分析关系数据库模式、元组集与owl本体之间元素对应关系的基础上,详述了该方法的... 详细信息

为规避基于文本的本体学习中尚未解决的中文分词歧义问题,实现企业遗留智能系统中拥有的大量领域知识的复用,提出一种从遗留智能系统学习owl本体的方法.在分析关系数据库模式、元组集与owl本体之间元素对应关系的基础上,详述了该方法的具体步骤.与现有相关方法相比,本方法针对的数据源蕴含更丰富的领域知识,更加适合实际的工程应用;通过一个简单、低时间复杂度的转换算法,而非中间模型或大量抽象规则,从关系数据库模式中自动获取相应的owl本体部分;并按照一定的先后顺序将遗留系统中范例、规则知识项(元组集)移植为owl本体中对应的个体.一个面向企业工装工时定额的遗留智能系统应用实例证实了该方法的有效性.

关键词：遗留智能系统本体学习工时定额 owl

面向企业互操作性的XML和owl之间的转换

在线全文

学校读者我要写书评

暂无评论

面向企业互操作性的XML和OWL之间的转换

作者：肖成龙哈尔滨工业大学

学位级别：硕士

互操作性在企业或组织之间的电子交易正变得越来越重要。在电子商务中的不同参与者之间有效的合作,只有当商业伙伴同意一个共同的语义和对领域内的基本概念有一个共同的理解才有可能建立起来。这样的目标可以通过应用语义技术来实现。... 详细信息

互操作性在企业或组织之间的电子交易正变得越来越重要。在电子商务中的不同参与者之间有效的合作,只有当商业伙伴同意一个共同的语义和对领域内的基本概念有一个共同的理解才有可能建立起来。这样的目标可以通过应用语义技术来实现。到目前为止,XML在电子商务中一直是普遍接受的数据交换形式。XML是互联网中的W3C标准文档格式,它用于写和交换信息。XML覆盖了语法层,但是缺乏对概念化共享的有效支持。幸运的是,owl是一个W3C标准模式,用于描述语义和对互联网上的信息推理。它对语义协调的技术有着很好的支持。owl通过使用类,属性和实例在分布式互联网的环境中支持领域知识的表示。然而,owl和XML虽然很相似,但毕竟是基于两种不同的表现形式。基于现有的研究结果,在这篇论文中首先提出了从XML的数据模型元素到owl的数据模型元素的映射关系。然后介绍了从已有的XML数据和XML模式自动生成owl实例以及从已有的owl实例和owl模式自动生成XML数据的方法。这篇论文的创新点在于定义并且实现了从XML数据自动生成owl实例和从owl实例自动生成XML数据。论文是基于已有的一些研究结果,对其进行了很大程度的扩展和完善,文中对以前的一些研究所未涉及到的问题进行了讨论,并给出了相应的解决方案。因此,电子商务中的有效合作有可能通过利用owl的概念化有效共享的优点来实现。

关键词：电子商务语义概念化 owl XML

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

中国机械工程 2008年第1期19卷 58-60页

作者：张开升孙延明郑时雄中国海洋大学青岛 266100 华南理工大学广州 510640

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

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

关键词： owl 本体信息系统语义集成