WDFXW文档下载网
首页     文档分类     最新文档    

 
注册 | 登录 点击查看的信息 | 退出
 

(┓)RDF推理中不一致问题研究

文档名称:(┓)RDF推理中不一致问题研究
分享到:

文档名称:(┓)RDF推理中不一致问题研究
文档关注次数:317
文档格式:纸质版或者PDF电子版(用Acrobat Reader打开)或Word版本doc格式
PDF格式 (┓)RDF推理中不一致问题研究 免费下载 Word格式 (┓)RDF推理中不一致问题研究 免费下载免费下载文档
文档大小:263KB
上传者:夹岩2标
添加时间:2019/05/05
内容摘要:
第38卷第7期
计算机工程
2012年4月
Vol 38 No.7
Computer Engineering
April 2012
?人工智能及识别技术
文章编号:1000-3428(2012)07-015203文款标识码:A
中日分类号tTP3112
RDF推理中不一致问题研究
王泔,带雪平,赵丽丽,艾莹費
(北京工业大学计算机学院,北京100124)
摘灵:→RDF在RDF中引入经典否定和椎理,以增强RDF的表达和推理能力,但经典否定会使程序出现不一致情况,导致程序无解。
为此,提出一种基于加权回容集程予的加权一RDF(WRDF推理方法。借鉴加权回答集思想,通过加校回答集程序对WRDF进行推理
给出其应用实例。实例应用结果表明,该方法使得程序在不一致的情况下,仍然可以得到最接近用户求的解。
关:语义网;经典否定;加权一RDF;加权回答集;权值
Research on Inconsistency Problem in RDF Reasoning
WANG Jie, HAN Xue-ping, ZHAO Li-li, A[ Ying-ying
(Department of Computer, Beijing University of Techmology, Beijing 100124, China)
Kabsrac RD inroduces the classical negation of answer s p mming to RD, which impro thecapacities of the expre ion and
reasoning of semantic Web. However, due the introduce of classical negation, sometimes there is inconsistence when reasoning RD with
answer set programming, which causes the program to no solution. This paper learns from the ideas of weighted answer sets, and forms Weighted
RDF(WRD It divers licit a s huh w e answ s Emle proves hat the reasoning method provides the best solution to the
users'needs when the program is inconsistent
Tkey words semantic Web; classical negation; Weighted RDF(WR DF); weighted answer set; weight
DO:10.39699.isa.1000-3428.2012.07.050
1概
理,一RDF满足加权回答集程序所要求的条件,即所有的
语义网叫是ー种能理解人类音的智能网络,目的是完规则必须有个权值代表该规则被否定的代价。因此,本文借
成基于语义的知识表示和推理。RDF?是W3C推荐的一种话
加权阿答集思想,提出加权RDF( Weighted RDF,
义网信息描述方式,用于表达任何可在Web上被标识的事物
WRDF),把WRDF转化成加权回答集程序,并通过加权回
信息,它提供的语义丰富了网络可表达的知识。然而,RDF答集程序对一WRDF进行推理。
也有一·些不足限了它的发展,如它不能表示否定和推理规2一RDF推理的不一致问题
则,针对这些问题,人们进行了广泛的研究。文献[引提出
つRDF既可表示逻辑中的经典否定,又可通过回答集浧
Web需要2种非;文献4在RDF中引入了部分逻辑( Partial序对其进行推理。然而,经典定的引入使得在対冖RDF推
Lgic)的否定概念;文献{5]首次证明了RDF和回答集程序之理时,回答集程序可能出现一个不一致的情况,此时程序无
的联系,同时把RDF毫无语义丢失地转化为回答集程序,解,推不出任何新事实。但是很多时候,根据用户定义的一
用回答集程序的规则形式表达RDF;文献[6提出了基于回答些规则是可以椎出新知识的。本文以FOAF为例,说明这
集程序的推理机制 GIABATA,并对RDF数据进行有效奁询;种不一致的情况。FOAF是一个RDFP词汇表,并提供一些简
文献[7也提出了RDF推理的控制算法;文献[別]在RDF上引单的服务,用户可以通过许多方式使用FOAF上的信息
入回答集程序中的经典非,提出了一种新的语义网知识表示
例如,现有事实包含: Sarah生日也是19860521,喜欢浏览
和推理形式(RDF)。一RDF继承了RDF的语法,人们通过篮球赛相关的页信息,不喜欢打篮球。若用户使用该规则
RDF数据模型,不但可以表达逻辑中的否定概念,而且可本体进行推理,则包含这样一条规则:如果一个人喜欢浏览
以通过回答集程序的推理规则获取知识库中蕴舍的事实,弥某些阿页,而这些网页是关于某项活动的信息,那么这个人
补了RDF不能表达否定和推理规则的2个不足。由于用户所就喜欢这项活动。这样则很容易产生结论: Sarah喜欢打篮
定义的规则往往带有主观性,使得程序容易出现不一致的情球,这与原事实 Sarah不喜欢打篮球矛盾,在这种情况下,
况,进而导致程序无解。然而,文献?提出加权回答集程序,由于程序具有互补的文字对面导敌程序无解,即推不出任何
恰好可以用来解决此类问题,使得程序在不一致的情况下,新事实。
仍然可以得到令用户相对满意的解。
为了修正这种不便,文献[提出了加回答集,这种解
加权回答集通过定义一种定量的优先关系,对答集语决方案使得程序无解情况下,可以找到最接近用户需求的解。
义进行了扩展。加权回答集程序给毎条规则赋予了一个非负
的权值,代表该条规则被否定时的代价。在计算冋答集时通
金项目;北京市教委科研计划基金资助项目(JC00701L200904)
过否定某些规则,使得程序无解情况下,可以找到最接近用作者筒介:王洁(1972ー),女,剧教授、博し,主研方向:逻程
户求的解。目前,这种方法已经广泛应用到产品配聞、方序设计,不确定推理;韩雪平、赵陋瓶、艾莹莹,硕士研究生
案优化等各种领域。然而,若用加权回答集对一RDF进行推收稿日嘉:2010704E-mai:Wy( bjut. edu. cn
万方数据
评论
序号
评论内容
用户名
日期
发表新评论 或 请提供可参考的全文下载链接
用户名
 
相关免费下载文档
 
 
文档下载排行
 
 
最新免费下载文档
 
WDFXW文档分享网 |联系我们
版权所有:www.WDFXW.net  | 鲁ICP备14035066号-3