-
题名本体和描述逻辑在景点查询中的应用研究
被引量：1
- 1
-
-
作者
罗军
刘艺茹
-
机构
重庆大学计算机学院
-
出处
《计算机技术与发展》
2012年第6期239-242,246,共5页
-
文摘
旅游网站中的景点查询是针对单一选项的基于关键字的查询,查询结果不能完全令用户满意。为了解决这一问题,文中将本体和描述逻辑应用到景点查询中,提出了一种新方法。该方法首先依据景点领域本体对景点进行语义标注,然后将获取的用户查询请求预处理后提交给推理机,推理机则将景点知识库转化为概念包含结构,并将查询请求预处理后插入到该概念包含结构中。最后通过匹配算法,将推理结果按满意度返回给用户。实验证明,该方法能够提高查全率和查准率,从而证明了该方法的可行性和有效性。
-
关键词
本体
owldl
描述逻辑
Racer推理机
匹配算法
景点查询
-
Keywords
ontology
OWL DL
description logic
Racer reasoner
matching algorithm
scenery spot query
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名SWRL推理规则在平面几何证明中的应用
被引量：4
- 2
-
-
作者
王海林
-
机构
山西财经大学信息管理学院
-
出处
《计算机技术与发展》
2010年第9期218-221,226,共5页
-
基金
山西省筹资金资助项目(晋留管办发(2009)4号)
-
文摘
OWL由于其具有较强的知识表示能力目前已成为语义Web知识建模的主要语言,尽管如此,它在知识推理方面存在着许多不足。语义网规则语言(SWRL)是为了弥补OWL的不足发展起来的,它是以OWL的子语言OWL DL以及其它规则标记语言为基础的规则描述语言,将SWRL推理规则引入OWL DL可以大大改善OWL DL的推理能力。运用SWRL推理规则和Jess推理机对平面几何证明题进行了推理和证明,结果验证了SWRL推理规则的有效性和正确性,在实践中同时也发现了SWRL存在的一些问题,有待今后进一步研究。
-
关键词
owldl
SWRL
平面几何
JESS
推理规则
-
Keywords
OWL DL
SWRL
plane geometry
Jess
reasoning rule
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名OWL DL的知识表示与推理研究
被引量：2
- 3
-
-
作者
朱创录
-
机构
渭南师范学院计算机科学系
-
出处
《甘肃科技》
2010年第4期42-44,共3页
-
基金
渭南师范学院专项科研基金项目(07YKZ035)
-
文摘
语义Web的逻辑基础是描述逻辑,其出现的目的就是为了解决机器和人对知识理解的问题,因此,可以在语义Web的基础上展开推理。传统的推理系统结合语义Web可以克服知识表示方面的缺点,并且有利于知识的共享。探讨了OWL DL作为知识表示形式的优点;通过实例验证了OWL DL关于描述逻辑的推理。
-
关键词
语义WEB
owldl
描述逻辑
推理
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于BNF的OBO规范化和OWL DL转换研究
- 4
-
-
作者
魏韡
魏山
肖小朋
-
机构
井冈山大学信息科学与传媒学院
东北林业大学信息与计算机工程学院
-
出处
《井冈山大学学报（自然科学版）》
2008年第6期30-32,62,共3页
-
基金
江西省科技厅2006年科技攻关项目(赣科发计字[2006]185号)
-
文摘
大多数生物本体包括基因本体这样重要的本体都用OBO表示。这些本体尤其是其中用共享和可控的词汇来注释的实验数据将会融入到语义网中。随着OWL语言成为W3C的本体标准建模语言,将用OBO表示的生物本体转换成用OWL语言表示显得十分必要。本文用BNF范式规范了OBO的语法,设计了一个规则将OBO转换成OWL DL,并且设计和实现了一个简易的转换系统。
-
关键词
OBO
owldl
生物本体
语义网
-
Keywords
OBO
OWL DL
biological ontologies
Semantic Web
-
分类号
TP391.1
[自动化与计算机技术—计算机应用技术]
-
-
题名一种关系模式到OWL DL本体的翻译方法
被引量：1
- 5
-
-
作者
彭劲松
徐德智
-
机构
中南大学信息科学与工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第12期166-169,共4页
-
基金
湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.06JJ50142)
-
文摘
本体技术是数据可以达到语义层次交换的关键,如何将当前各类数据形成本体知识库表示是一个非常重要的问题。针对这个问题,以一种关系模式到一种语义扩展ER模型的正确性可满足转换算法为基础,提出了一种通过数据库反向工程到OWLDL本体的翻译算法,说明了该算法使得转换是正确性可满足的,并实验实现验证了算法。
-
关键词
关系数据模式
owldl
本体学习
语义网
-
Keywords
relational data model
OWL DL
Ontology learning
Semantic Web
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
