×

标称安全矩阵的多项式时间包容算法{ELO}(ELO)_\bot)。 (英语) Zbl 1453.68177号

概要:Rational Closure(RC)下的Description Logics(DL)是DL中非单调推理的著名框架。在本文中,我们讨论了标称安全系数RC下的概念包含决策问题{ELO}(ELO)_\bot)是OWL 2配置文件OWL 2EL的一个显著且实际重要的DL代表。我们在这里的贡献是定义一个多项式时间包含过程,用于标称安全{ELO}(ELO)_\完全依赖于一系列经典单调的{标高}_\bot)包容测试。因此,任何现有的经典单调{标高}_\bot\)推理机可以用作实现我们方法的黑盒。然后,我们还将该方法应用于RC对DL的一个已知扩展,即基于可失效继承的DL,而不会失去计算可处理性。

MSC公司:

68T27型 人工智能中的逻辑
68立方英尺 知识表示

软件:

ELK公司
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Artale,A。;Calvanee,D。;康查科夫,R。;Zakharyaschev,M.,《DL-Lite家族和关系》。Artif公司。智力。决议,36,1-69(2009年)·Zbl 1192.68657号
[2] 巴德,F。;Hollander,B.,《先决条件下违约的优先级及其在处理术语默认逻辑中的特殊性方面的应用》,J.Autom。原因。,15, 41-68 (1995) ·Zbl 0842.68081号
[3] 巴德,F。;Brandt,S。;Lutz,C.,《突破(EL)极限》,《第19届国际人工智能联合会议论文集》(IJCAI-05),364-369(2005),Morgan-Kaufmann出版社:英国爱丁堡Morgan-Kufmann出版商
[4] 博纳蒂,P.A。;卢茨,C。;Wolter,F.,《描述逻辑中界限的复杂性》,J.Artif。智力。Res.,35,717-773(2009年)·Zbl 1182.68275号
[5] 博纳蒂,P.A。;费拉,M。;Sauro,L.,(EL)with default attributes and overrided,《第九届国际语义网络会议论文集》(ISWC-10),计算机科学讲稿第6496卷(2010)
[6] 博纳蒂,P.A。;费拉,M。;Sauro,L.,将默认属性添加到EL++,《第25届AAAI人工智能会议论文集》(AAAI-11),171-176(2011),AAAI出版社
[7] 博纳蒂,P.A。;费拉,M。;Sauro,L.,低复杂度DL中的可消除包裹体,J.Artif。智力。研究,42,719-764(2011)·Zbl 1247.68265号
[8] 博纳蒂,P.A。;费拉,M。;彼得罗娃,I。;Sauro,L.,描述逻辑中覆盖的新语义,Artif。智力。J.,2221-48(2015)
[9] 博纳蒂,P.A。;费拉,M。;卢茨,C。;Sauro,L。;Wolter,F.,《重新审视限制描述逻辑的决定性》,《知识表示、逻辑编程和抽象论证的进展——在格哈德·布鲁卡60岁生日之际献给他的论文》,LNCS第9060期,112-124(2015)·Zbl 1432.68428号
[10] 布里茨,K。;海德玛,J。;Meyer,T.,语义优先包含,(Lang,J.;Brewka,G.,《第十一届知识表示与推理原则国际会议论文集》(KR-08)(2008),AAAI出版社/MIT出版社)
[11] Britz,K。;Meyer,T。;Varzinczak,I.,优先描述逻辑的语义基础,(Wang,D.;Reynolds,M.,《第24届澳大利亚人工智能联合会议论文集》(AI-11),LNAI(2011)第7106号,Springer)
[12] Britz,K。;卡西尼,G。;Meyer,T。;穆德利,K。;美国萨特勒。;Varzinczak,I.,《描述逻辑的Rational Defeasible Reasoning》(2017),南非开普敦大学,技术报告
[13] 卡西尼,G。;斯特拉契亚,U.,《可废止描述逻辑的理性闭包》,(Janhunen,T.;Niemelä,I.,《第十二届欧洲人工智能逻辑会议论文集》(JELIA-10),LNCS第6341期(2010年),斯普林格-Verlag),77-90·Zbl 1306.68187号
[14] 卡西尼,G。;斯特拉契亚,U.,《基于可失效继承的描述逻辑》,J.Artif。智力。研究,48,415-473(2013)·Zbl 1360.68794号
[15] 卡西尼,G。;Meyer,T。;穆德利,K。;诺特杰,R。;Leite,J.,《相关闭包:描述逻辑的一种新的可判定推理形式》,(Fermé,E.,《第14届欧洲人工智能逻辑会议论文集》(JELIA-14),LNCS(2014)第8761卷,Springer),92-106·Zbl 1432.68433号
[16] 卡西尼,G。;斯特拉契亚,美国,《可废止描述逻辑的词汇封闭》,第八届澳大利亚本体论研讨会(AOW)论文集,969,4-15(2014)
[17] 卡西尼,G。;迈耶,T.A。;穆德利,K。;美国萨特勒。;Varzinczak,I.J.,《将可解性引入OWL本体论》,《语义网络——ISWC 2015——第14届国际语义网络会议》(2015)
[18] G.Casini,U.Straccia,T.Meyer,《(mathcal)多项式时间包容算法》{标高}_\机器人程序\)http://puma.isti.cnr.it/dfdownload.php?ident=/cnr.isti/2015-TR-044langver=itsselta=元数据;G.Casini,U.Straccia,T.Meyer,《(mathcal)多项式时间包容算法》{标高}_\机器人程序\)http://puma.isti.cnr.it/dfdownload.php?ident=/cnr.isti/2015-TR-044langver=itsselta=元数据
[19] 多尼尼,F.M。;Nardi,D。;Rosati,R.,《最小知识和否定作为失败的描述逻辑》,ACM Trans。计算。《逻辑学》,3177-225(2002)·Zbl 1365.68403号
[20] 艾特,T。;伊安尼,G。;Lukasiewicz,T。;Schindlauer,R.,《语义网中描述逻辑程序的良好语义》,ACM Trans。计算。逻辑,12,2,11:1-11:41(2011)·Zbl 1351.68275号
[21] 佐丹奴,L。;Gliozzi,V。;Olivetti,N。;Pozzato,G.L.,低复杂度描述逻辑的原型推理:初步结果,第十届逻辑编程和非单调推理国际会议论文集(LPNMR-09),LNCS第5753卷,430-436(2009),Springer Verlag·Zbl 1258.68140号
[22] 佐丹奴,L。;Gliozzi,V。;Olivetti,N。;Pozzato,G.L.,ALC+T:描述逻辑的优先扩展,Fundam。通知。,3, 96, 341-372 (2009) ·Zbl 1207.68369号
[23] 佐丹奴,L。;Gliozzi,V。;Olivetti,N。;Pozzato,G.L.,优先与理性描述逻辑:关于典型性的推理是哪一种?,第19届欧洲人工智能会议(ECAI-10),《人工智能与应用前沿》第215卷,1069-1070(2010),IOS出版社
[24] 佐丹奴,L。;Gliozzi,V。;Olivetti,N。;Pozzato,G.L.,《关于低复杂度DL中典型性的推理:逻辑(EL^ít_{min})和DL-(Lite_c t_{min})》,第22届国际人工智能联合会议论文集(IJCAI-11),894-899(2011),IJCAI/AAAI
[25] 佐丹奴。;Gliozzi,V。;Olivetti,N。;Pozzato,G.L.,第20届国际自动推理与分析表及相关方法会议(Tableaux-11)非单调扩展的表演算,第6763卷LNCS公司,180-195(2011),斯普林格-弗拉格·Zbl 1332.68209号
[26] 佐丹奴,L。;Olivetti,N。;Gliozzi,V。;Pozzato,G.L.,《非单调推理的最小模型语义》,(del Cerro,L.F.n.;Herzig,A.;Mengin,J.,《第13届欧洲人工智能逻辑会议论文集》(JELIA-12),LNCS(2012)第7519期,斯普林格),228-241·Zbl 1361.68228号
[27] 佐丹奴,L。;Gliozzi,V。;Olivetti,N。;Pozzato,G.L.,关于典型性的933推理的非单调描述逻辑,人工制品。智力。J.,195,165-202(2013)·Zbl 1270.68281号
[28] 佐丹奴,L。;Gliozzi,V。;Olivetti,N.,《走向表达描述逻辑的理性终结:SHQ案例》,Fundam。通知。,159, 1-2, 95-122 (2018) ·兹比尔1408.68137
[29] 佐丹奴,L。;Gliozzi,V。;Olivetti,N。;Pozzato,G.L.,《理性闭包的语义表征:从命题逻辑到描述逻辑》,Artif。智力。J.,226,1-33(2015)·Zbl 1346.68186号
[30] 佐丹奴,L。;Dupré,D.T.,《SROEL中的失败推理:从理性蕴涵到理性闭包》,Fundam。通知。,161, 1-2, 135-161 (2018) ·Zbl 1404.68152号
[31] 格林,S。;Hitzler,P.,《外切优先表演算》(ALCO),第三届网络推理和规则系统国际会议论文集(RR-09),LNCS第5837卷,40-54(2009),Springer-Verlag:Springer-Verlag Berlin,Heidelberg
[32] 霍蒂,J.F.,《非单调继承的一些直接理论》,《人工智能和逻辑编程中的逻辑手册:非单调推理和不确定推理》,3111-187(1994),牛津大学出版社·Zbl 0804.03017号
[33] 伊万诺夫。;克诺尔,M。;Leite,J.,用于EL公司使用非单调规则,《语义网络——ISWC 2013——第十二届国际语义网络会议》,第一部分,计算机科学讲稿第8218卷,216-231(2013),斯普林格出版社
[34] 卡明斯基,T。;克诺尔,M。;Leite,J.,《利用本体论和规则进行高效次一致性推理》,第二十四届国际人工智能联合会议论文集,IJCAI-15,3098-3105(2015),AAAI出版社
[35] 哈萨克夫,Y。;Krötzsch,M。;Simancik,F.,《难以置信的ELK——从多项式过程到使用EL本体进行有效推理》,J.Autom。原因。,53, 1, 1-61 (2014) ·Zbl 1331.68216号
[36] 克诺尔,M。;Alferes,J.J。;Hitzler,P.,《基于良好语义的描述逻辑的局部封闭世界推理》,Artif。智力。,175, 9-10, 1528-1554 (2011) ·Zbl 1225.68249号
[37] 克劳斯,S。;莱曼,D。;Magidor,M.,非单调推理,优先模型和累积逻辑,Artif。智力。J.,44,167-207(1990)·兹比尔0782.03012
[38] Krötzsch,M.,OWL EL的有效推断,第12届欧洲人工智能逻辑会议(JELIA-10),计算机科学讲稿第6341卷,234-246(2010)·Zbl 1306.68194号
[39] Krötzsch,M。;鲁道夫,S。;希茨勒,P.,《号角描述逻辑的复杂性》,ACM Trans。计算。逻辑,14,1(2013)·Zbl 1353.68268号
[40] 莱曼,D。;Magidor,M.,有条件知识库需要什么?,Artif公司。智力。J.,55,1-60(1992)·Zbl 0762.68057号
[41] Lehmann,D.,《默认推理的另一个观点》,Ann.Math。Artif公司。智力。,15, 1, 61-82 (1995) ·Zbl 0857.68096号
[42] Lukasiewicz,T.,可追踪概率描述逻辑程序,第一届可扩展不确定性管理国际会议(SUM-07),计算机科学讲稿第4772卷(2007),Springer Verlag·Zbl 1122.68027号
[43] Lukasiewicz,T。;美国斯特拉契亚,《语义网答案集语义下的紧耦合模糊描述逻辑程序》,《语义网络和信息系统国际期刊》,4,3,68-89(2008)
[44] Lukasiewicz,T。;美国斯特拉契亚,《概率不确定性和模糊模糊性下的逻辑程序描述》,《国际近似推理》。,50, 6, 837-853 (2009) ·Zbl 1191.68691号
[45] Makinson,D.,《非单调推理的一般模式》(Gabbay,D.M.;Hogger,C.J.;Robinson,J.A.,《人工智能和逻辑编程逻辑手册》(第3卷)(1994),牛津大学出版社:牛津大学出版社,美国纽约州纽约市),35-110·Zbl 0804.03017号
[46] K.Moodley,《不可行描述逻辑的实用推理》,2015年,南非夸祖鲁大学数学、统计和计算机科学学院博士论文。;K.Moodley,《不可行描述逻辑的实用推理》,2015年,南非夸祖鲁大学数学、统计和计算机科学学院博士论文。
[47] 莫蒂克,B。;Rosati,R.,《协调描述逻辑和规则》,J.ACM,57,5(2010)·兹比尔1327.68257
[48] 彭塞尔,M。;Turhan,A.Y.,《包括描述逻辑(E L_\bot)中可解推理的量化》,(Balduccini,M.;Janhunen,T.,《逻辑编程和非单调推理——第14届国际会议》,LPNMR 2017,芬兰埃斯波,2017年7月3-6日,《计算机科学讲稿(2017)论文集》第10377卷,施普林格),78-84·Zbl 1491.68206号
[49] 彭塞尔,M。;Turhan,A.Y.,《可解描述逻辑中的推理——在理性和相关语义下计算标准推理》,《国际期刊近似推理》,103,2018,28-70(2018)·Zbl 1448.68399号
[50] 美国斯特拉契亚,混合KL-ONE型逻辑中的默认继承推理,第十三届国际人工智能联合会议论文集(IJCAI-93),676-681(1993)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。