×

OWL的牵引近似扣除。 (英语) Zbl 1352.68233号

摘要:当今的本体应用需要高效可靠的描述逻辑(DL)推理服务。表达型DL通常具有较高的最坏情况复杂度,而易处理的DL在表达能力方面受到限制。这带来了一个新的挑战:用户是否可以使用富有表现力的DL来构建他们的本体,并像在易处理的语言中一样享受高效的服务?近似被认为是解决这一挑战的一种方法;然而,传统的近似方法在性能和可用性方面存在局限性。在本文中,我们为OWL2提出了一个易于处理的近似推理框架,该框架提高了效率并保证了可靠性。通过基准测试和实际用例对本体进行评估表明,我们的方法可以高效地对复杂本体进行推理,并具有较高的召回率。

MSC公司:

68立方英尺 知识表示
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 巴德,F。;Brandt,S。;Lutz,C.,《突破极限》,(第十九届国际人工智能联合会议论文集。第十九届国际人工智能联合会议论文集,IJCAI-05(2005),Morgan Kaufmann出版社:Morgan Kaufmann出版社,英国爱丁堡)
[3] (Baader,F.;Calvanee,D.;McGuinness,D.;Nardi,D.;Patel-Schneider,P.F.,《描述逻辑手册:理论、实现和应用》(2003),剑桥大学出版社)·Zbl 1058.68107号
[5] 博迪,M。;Dean,T.,《解决依赖时间的规划问题》(第11届国际人工智能联合会议论文集,第2卷)。第11届国际人工智能联合会议记录,第2卷,IJCAI'89(1989),Morgan Kaufmann Publishers Inc.:Morgan Koufmann-Publishers Inc.San Francisco,CA,USA),979-984
[6] Botoeva,E。;Calvanee,D。;Rodriguez-Muro,M.,DL-Lite本体论中的表达近似,(第14届国际人工智能大会议事录:方法论、系统、应用。程序。第14届国际人工智能大会:方法论、系统、应用。程序。第14届国际人工智能大会:方法论、系统、应用,AIMSA 2010,计算机科学讲稿,第6304卷(2010),Springer),21-31
[7] 卡多利,M。;Donini,F.M.,《知识汇编调查》,AI Commun。,10, 137-150 (1997)
[8] 卡多利,M。;Schaerf,M.,概念描述语言中的近似,(Nebel,B.;Rich,C.;Swartout,W.R.,《第三届知识表示和推理原则国际会议论文集》,KR92(1992),Morgan Kaufmann), 330-341
[9] 卡德利,M。;Schaerf,M.,《命题多值逻辑蕴含的复杂性》,《数学年鉴》。Artif公司。智力。,18, 29-50 (1996) ·Zbl 0890.03010号
[10] Calvanee,D。;德贾科莫,G。;伦博,D。;Lenzerini,M。;Rosati,R.,《描述逻辑中的可追踪推理和高效查询回答:dl-lite家族》,J.Autom。原因。,39, 385-429 (2007) ·Zbl 1132.68725号
[11] Calvanee,D。;Giacomo,G.D。;伦博,D。;Lenzerini,M。;Rosati,R.,描述逻辑中查询应答的数据复杂性,Artif。智力。,195, 335-360 (2013) ·Zbl 1270.68294号
[16] 杜比,J。;Fokoue,A。;Kalyanpur,A。;克申鲍姆,A。;Schonberg,E。;Srinivas,K。;Ma,L.,通过总结和提炼实现可伸缩语义检索(第22届全国人工智能会议论文集,第1卷)。《第22届全国人工智能会议记录》,第1卷,AAAI'07(2007),AAAI出版社),299-304
[17] 多尼尼,F.M。;马萨奇,F.,ALC,Artif的EXPTIME表格。智力。,124, 87-138 (2000) ·Zbl 0952.68136号
[18] 杜,J。;齐,G。;潘,J.Z。;Shen,Y.D.,《基于分解的方法优化OWL DL中的连接查询应答》,(Bernstein,A.;Karger,D.R.;Heath,T.;Feigenbaum,L.;Maynard,D.;Motta,E.;Thirunarayan,K.,《国际语义Web会议》,《计算机科学讲义》,第5823卷(2009),Springer),146-162
[20] 手指,M。;Wasserman,R.,《近似和有限推理:语义、证明理论、表达和控制》,J.Log。计算。,14, 179-204 (2004) ·Zbl 1101.68086号
[21] 手指,M。;Wassermann,R.,《近似推理的逻辑:“从上面”近似经典逻辑》,(《人工智能进展》(2002),施普林格出版社),21-30·Zbl 1031.68115号
[23] Frisch,A.M.,《无链推理》(第十届国际人工智能联合会议论文集,第1卷)。《第十届国际人工智能联合会议论文集》,第1卷,IJCAI’87(1987),摩根·考夫曼出版社:摩根·考夫曼出版社,美国加利福尼亚州旧金山),515-519
[25] Groot,P。;Stuckenschmidt,H。;Wache,H.,语义web推理的近似描述逻辑分类,(第二届欧洲语义web会议论文集:研究与应用。第二届欧盟语义web会议文献集:研究和应用,ESWC'05(2005),Springer-Verlag:Springer-Verlag Berlin,Heidelberg), 318-332
[26] Grosof,B.N。;霍洛克斯,I。;沃尔兹·R。;Decker,S.,《描述逻辑程序:将逻辑程序与描述逻辑结合起来》,(《第十二届万维网国际会议论文集》,第十二届国际万维网会议论文集,WWW’03(2003),ACM:美国纽约州纽约市ACM),48-57
[28] 希茨勒,P。;Vrandecic,D.,OWL DL的基于分辨率的近似推理,(Gil,Y.;etal.,《第四届国际语义网络会议论文集》,第四届世界语义网络会议,爱尔兰戈尔韦,2005年11月。第四届国际语义网络会议论文集。第四届国际语义网络会议记录,爱尔兰戈尔韦,2005年11月,计算机科学讲稿,第3729卷(2005),施普林格:施普林格柏林),383-397
[30] 霍洛克斯,I。;库茨,O。;美国萨特勒,《更不可抗拒》(SROIQ),(第十届国际知识表示与推理原则大会议事录,第十届知识表示与推论原则国际会议议事录,KR 2006(2006),AAAI出版社),57-67
[31] 霍洛克斯,I。;Sattler,U.,具有复杂角色包含公理的(SHIQ)的可判定性,Artif。智力。,160, 79-104 (2004) ·Zbl 1086.68129号
[32] Horrocks,I。;美国萨特勒。;Tobies,S.,非常富有表现力的描述逻辑的实用推理,Log。J.IGPL,8239-264(2000)·Zbl 0967.03026号
[33] 霍洛克斯,I。;美国萨特勒。;Tobies,S.,《为描述逻辑与个人推理》(SHIQ),(McAllester,D.,第17届国际自动演绎大会议事录,第17次国际自动演绎会议议事录,CADE 2000。程序。第17届国际自动扣减大会。程序。第17届国际自动扣除大会,CADE 2000,计算机科学讲稿,第1831卷(2000),Springer),482-496·Zbl 0963.68197号
[35] Horvitz,E.J.,《不同和不确定资源约束下的推理》,(第七届全国人工智能会议论文集,第七届国家人工智能会议文献集,AAAI 1988(1988)),111-116
[36] Hudek,A.K。;Weddell,G.,描述逻辑基于表格推理中的二进制吸收,(2006年描述逻辑国际研讨会论文集,2006年描述逻辑学国际研讨会论文集中,DL 2006,第189卷(2006))
[37] Hustadt,U。;莫蒂克,B。;Sattler,U.,《将描述逻辑简化为析取数据日志程序》,(Dubois,D.;Welty,C.A.;Williams,M.A.,第九届知识表示和推理原则国际会议议事录,KR 2004(2004),AAAI出版社:加拿大惠斯勒AAAI出版社,152-162
[38] 考茨,H。;Selman,B.,《知识汇编的一般框架》(Processing Declarative knowledge,1991),施普林格出版社,287-300
[39] 考茨,H。;Selman,B.,快速推理的形成概念,(知识表示和推理基础(1994),Springer),200-215
[40] Kazakov,Y.,RIQ和SROIQ比SHOIQ更难,(Brewka,G.;Lang,J.,KR 2008(2008),AAAI出版社),274-284
[42] 哈萨克夫,Y。;Krötzsch,M。;Simaník,F.,《(EL)本体论的并发分类》,(Aroyo,L.;Welty,C.;Alani,H.;Taylor,J.;Bernstein,A.;Kagal,L.,Noy,N.;Blomqvist,E.,《第十届国际语义网络会议论文集》,ISWC’11。第十届国际语义网络会议论文集。第十届国际语义网络会议论文集,ISWC'11,LNCS,第7032卷(2011),Springer)
[43] 哈萨克夫,Y。;Krötzsch,M。;Simaník,F.,《描述逻辑(EL)家族中名词的实用推理》,(Brewka,G.;Eiter,T.;McIlraith,S。第十三届知识表示与推理原则国际会议论文集。《第十三届知识表示与推理原理国际会议论文集》,KR’12(2012),AAAI出版社,264-274
[44] Krötzsch,M.,《OWL EL的高效基于规则的推理》,(Walsh,T.,《第22届国际人工智能联合会议论文集》,第22届人工智能联合大会论文集,IJCAI’11(2011),AAAI出版社/IJCAI),2668-2673
[45] Krötzsch,M.,《在owl-rl中计算类包含的非那么容易的任务》(The Semantic Web-ISWC 2012(2012),Springer),279-294
[46] Krötzsch,M。;鲁道夫,S。;Hitzler,P.,《Horn描述逻辑的复杂性边界》,(第22届AAAI人工智能会议论文集。第22届AI人工智慧会议论文集,AAAI'07(2007),AAAI出版社),452-457
[48] Levesque,H.J.,《逻辑与推理的复杂性》,J.Philos。日志。,17, 355-389 (1988)
[50] 莱维斯克,H.J。;Brachman,R.J.,《知识表示和推理的基本权衡》(1984),人工智能研究实验室,斯伦贝谢费尔柴尔德
[51] 卢卡西,G。;Szeredi,P.,Prolog中的高效描述逻辑推理:DLog系统,理论与实践。日志。程序。,9, 343-414 (2009) ·Zbl 1179.68024号
[52] 卢茨,C。;Walther,D。;Wolter,F.,表达描述逻辑中的保守扩展,(Veloso,M.,《第二十届国际人工智能联合会议论文集》,第二十届人工智能国际联合会议论文,IJCAI'07(2007),AAAI出版社),453-458
[53] 马萨奇,F.,《有效近似演绎及其在计算机安全中的应用》(1998年),罗马大学I“La Sapienza”,信息科学研究院,博士论文
[54] Miñarro-Giménez,J.A。;Blagec,K。;博伊斯,R.D。;Adlassnig,K.P。;Samwald,M.,《一个基于本体论的移动优化系统,用于关键点的药物基因组决策支持》,《公共科学图书馆·综合》,9,文章e93769 pp.(2014)
[55] Motik,B.,《使用分辨率和演绎数据库进行描述逻辑推理》(2006),Univesität Karlsruhe(TH):Univesitát Karrsruhe-(TH
[58] 莫蒂克,B。;Sattler,U.,《查询大型描述逻辑库的推理技术比较》,(Hermann,M.;Voronkov,A.,《第13届国际编程人工智能和推理逻辑会议论文集》,第13届世界编程人工智能与推理逻辑会议文献集,LPAR 2006。程序。第13届国际编程人工智能和推理逻辑会议。程序。第13届国际人工智能和推理编程逻辑会议,LPAR2006,LNCS,第4246卷(2006年),施普林格:施普林格金边,柬埔寨),227-241·Zbl 1165.68506号
[59] 莫蒂克,B。;采煤机,R。;Horrocks,I.,描述逻辑的Hypertableau推理,J.Artif。智力。研究,36,165-228(2009)·Zbl 1192.68664号
[61] 潘,J.Z。;Thomas,E.,《近似OWL-DL本体论》(第22届全国人工智能会议论文集,第2卷)。《第22届全国人工智能会议记录》,第2卷,AAAI'07(2007),AAAI出版社),1434-1439
[62] 潘,J.Z。;托马斯·E。;任,Y。;Taylor,S.,在本体应用中开发易处理的模糊和清晰推理,IEEE计算。智力。Mag.,7,2,45-53(2012)
[63] Parreiras,F.S。;Staab,S.,将本体与基于UML类的建模结合使用:TwoUse方法,数据知识。Eng.,69,1194-1207(2010),《本体论在设计高级信息系统中的贡献》专刊
[64] Patel-Schneider,P.F.,术语逻辑的四值语义,Artif。智力。,38, 319-351 (1989) ·Zbl 0664.03024号
[67] 罗梅罗,A.A。;格劳(Grau,B.C.)。;Horrocks MORe,I.,OWL推理机用于本体分类的模块化组合,(第十一届国际语义网络会议论文集。第十一届世界语义网络会议文献集,ISWC 2012。第十一届国际语义网络会议论文集。第十一届国际语义网络会议论文集,ISWC 2012,LNCS(2012),Springer)
[68] 鲁道夫,S。;Tserendorj,T。;Hitzler,P.,什么是近似推理?,(Calvanese,D.;Lausen,G.,《第二届网络推理和规则系统国际会议论文集》,第二届国际网络推理与规则系统会议论文集,RR2008。第二届网络推理和规则系统国际会议论文集。第二届网络推理和规则系统国际会议记录,RR2008,LNCS,第5341卷(2008),Springer),150-164
[69] Schaerf,A.,《概念语言中的个体推理》,《数据知识》。工程,13,141-176(1994)
[70] Schaerf先生。;Cadoli,M.,《通过近似进行可追踪推理》,Artif。智力。,74, 249-310 (1995) ·Zbl 1014.03512号
[71] 塞尔曼,B。;Kautz,H.,《使用Horn近似进行知识汇编》(第九届全国人工智能会议论文集,第2卷)。第九届全国人工智能大会论文集,第2卷,AAAI’91(1991),AAAI出版社,904-909
[72] 塞尔曼,B。;Kautz,H.,《知识汇编和理论近似》,J.ACM,43,193-224(1996)·Zbl 0882.68137号
[74] Sirin,E。;Cuenca Grau,B。;Parsia,B.,《从葡萄酒到水:优化名词的描述逻辑推理》,(《KR-2006年会刊》,第十届知识表示与推理原则国际会议,《KR-2016年会刊,第十次知识表示与推论原则国际会议》,英国湖区,2006年6月2-5日(2006),AAAI出版社),90-99
[76] Stuckenschmidt,H。;van Harmelen,F.,近似术语查询,(Larsen,H.等,《第四届灵活问答系统国际会议论文集》,第四届柔性问答系统会议论文集,FQAS’02。第四届灵活问答系统国际会议论文集。第四届灵活问答系统国际会议论文集,FQAS’02,《软计算进展》,第2522卷(2002),Springer-Verlag),329-343
[77] Suntisrivaraporn,B.,《模块提取和增量分类:(EL^+)本体的实用方法》,(Bechhofer,S.;Hauswirth,M.;Hoffmann,J.;Koubarakis,M.,《第五届欧洲语义网络会议论文集》,第五届欧洲语义网络会议,ESWC'08。第五届欧洲语义网络会议论文集。第五届欧洲语义网络会议论文集,ESWC'08,计算机科学讲义,第5021卷(2008),Springer-Verlag),230-244
[80] Tsarkov,D。;霍洛克斯,I。;Patel-Schneider,P.F.,《优化表达描述逻辑的术语推理》,J.Autom。原因。,39, 277-316 (2007) ·Zbl 1132.68742号
[81] Tserendorj,T。;鲁道夫,S。;Krötzsch先生。;Hitzler,P.,《带尖叫的近似OWL-推理》,(Calvanee,D.;Lausen,G.,《第二届国际会议网络推理和规则系统会议录》,第二届世界会议,RR 2008,德国卡尔斯鲁厄,2008年10月31日至11月1日。《网络推理和规则系统会议录》,第二届国际会议。《网络推理和规则系统会议录》,第二届国际会议,RR 2008,德国卡尔斯鲁厄,2008年10月31日至11月1日,LNCS,第5341卷(2008),斯普林格出版社,165-180
[82] Urquhart,A.,《解决方案的硬示例》,J.ACM,34,209-219(1987)·Zbl 0639.68093号
[83] Wache,H。;Groot,P。;Stuckenschmidt,H.,通过近似实现语义网的可伸缩实例检索,(《2005年web信息系统工程国际会议论文集》,2005年网络信息系统工程会议论文集,WISE’05(2005),Springer-Verlag:Springer-Verlag Berlin,Heidelberg),245-254
[84] 沃尔特·T。;Silva Parreiras,F。;Staab,S.,OntoDSL:一个基于本体论的领域特定语言框架,(第十二届模型驱动工程语言和系统国际会议论文集。第十二届国际模型驱动工程语言学和系统会议论文集,MODELS'09(2009),Springer-Verlag:Springer-Verlag Berlin,海德堡),408-422
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。