×

兹马思-数学第一资源

理解轻量级描述逻辑中公理精确定位的复杂性。(英语) Zbl 1419.68128号
摘要:轻量级描述逻辑是以其标准推理任务的低复杂度为特征的知识表示形式。它们已经被成功地用于构建大型本体论,在几个不同的实际应用中对领域知识进行建模。为了维护这些本体论,通常需要检测导致给定结果的公理。这个任务通常被称为公理精确定位。
在本文中,我们对轻量级描述逻辑中与公理精确定位相关的几个决策、计数和枚举问题的复杂性进行了深入的分析。

理学硕士:
68T27型 人工智能中的逻辑
68问25 算法与问题复杂度分析
T3680号 知识表示
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] (Baader,F.;Calvanese,D.;McGuinness,D.;Nardi,D.;Patel Schneider,P.F.,《描述逻辑手册:理论、实现和应用》(2003年),剑桥大学出版社)·Zbl 1058.68107
[2] 穆森,M.A.,protégéprotégéprotégéprotégéprotégéprotégéprotégéprotégéprotégéprotégéprotégéproté
[3] Halilaj,L.;Petersen,N.;Grangel González,I.;Lange,C.;Auer,S.;Coskun,G.;Lohmann,S.,Vocol:支持版本控制词汇开发的集成环境,(Blomqvist,E.;Ciancarini,P.;Poggi,F.;Vitali,F.《第20届知识工程和知识管理国际会议论文集》,EKAW2016,《计算机科学课堂讲义》,第10024卷,(2016年),303-319
[4] Alobaid,A.;Garijo,D.;Poveda Villalón,M.;Pérez,I.S.;Corcho,Ó.,本体论,本体论协作开发工具,(Couto,F.M.;Hastings,J.,《生物医学本体论国际会议论文集》,ICBO 2015,CEUR研讨会论文集,第1515卷,(2015),CEUR-WS.org)
[5] Horridge,M.;Parsia,B.;Sattler,U.,《解释OWL本体论中的不一致性》,(Godo,L.;Pugliese,A.,《第三届可伸缩不确定性管理国际会议论文集》,SUM 2009,计算机科学课堂讲稿,第5785卷,(2009),Springer Verlag),124-137
[6] Baader,F.;Suntisrivaraporn,B.,《使用描述逻辑中的公理精确定位调试SNOMED CT》(\mathcal{EL}^+\),(使用SNOMED表示和共享知识国际会议论文集,KR-MED'08,亚利桑那州凤凰城,(2008年))
[7] Kalyanpur,A.;Parsia,B.;Horridge,M.;Sirin,E.,《寻找OWL DL蕴涵的所有理由》,(第六届国际语义网络会议论文集,第二届亚洲语义网络会议,ISWC 2007+ASWC 2007,计算机科学课堂讲稿,第4825卷,(2007年),Springer Verlag),267-280页
[8] Horridge,M.;Parsia,B.;Sattler,U.,《猫头鹰中简洁而精确的辩护》(Sheth,A.P.;Staab,S.;Dean,M.;Paolucci,M.;Maynard,D.;Finin,T.W.;Thirunarayan,K.,《第七届国际语义网络会议论文集》,ISWC 2008,《计算机科学讲座笔记》,第5318卷,(2008),Springer Verlag),323-338
[9] Suntisrivaraporn,B.;Qi,G.;Ji,Q.;Haase,P.,《一种基于模块化的方法来寻找OWL DL蕴涵的所有理由》,(Domingue,J.;Anutariya,C.,《第三届亚洲语义网会议论文集》,ASWC'08,《计算机科学讲座笔记》,第5367卷,(2008年),Springer Verlag),1-15页
[10] Artale,A.;Calvanese,D.;Kontchakov,R.;Zakharyaschev,M.,《DL-lite家族与关系》,J.Artu。因特尔。第36号,第1-69页,(2009年)·Zbl 1192.68657
[11] Baader,F.;Brandt,S.;Lutz,C.,《推动EL信封》,(Kaelbling,L.P.;Saffiotti,A.,《第十九届国际人工智能联合会议论文集》,IJCAI 05,(2005),专业图书中心),364-369
[12] Noy,N.F.;Shah,N.H.;Whetzel,P.L.;Dai,B.;Dorf,M.;Griffith,N.;Jonquet,C.;Rubin,D.L.;Storey,M.D.;Chuite,C.G.;Musen,M.A.,Bioportal:点击鼠标时的本体论和集成数据资源,核酸研究,37,网络服务器问题,170-173,(2009)
[13] Cote,R.;Rothwell,D.;Palotay,J.;Beckett,R.;Brochu,L.,《人类和兽医学系统化命名法》(1993年),伊利诺伊州北菲尔德美国病理学家国际学院,技术代表。
[14] Belov,A.;Lync,I.;Marques Silva,J.,《高效采伐法》,AI社区,25,2,97-116,(2012年)·Zbl 1248.68450
[15] Ansótegui,C.;Bonet,M.;Levy,J.,《基于卫星的最大卫星算法》,人造卫星。国际,19677-105,(2013年)·兹布1270.68265
[16] Morgado,A.;Heras,F.;Liffiton,M.H.;Planes,J.;Marques Silva,J.,《迭代和核心导向的maxsat求解:调查与评估,约束》,18,4,478-534,(2013)·Zbl 1317.90199
[17] Dividino,R.;Sizov,S.;Staab,S.;Schueler,B.,在RDF中查询出处、信任、不确定性和其他元知识,Web Semant.,7,3,204-219,(2009)
[18] Baader,F.;Knechtel,M.;Peñaloza,R.,《存在对本体公理的访问限制的大规模本体论推理的通用方法》,(Bernstein,A.;等,《第八届国际语义网络会议论文集》,ISWC 2009,计算机科学讲座笔记,第5823卷,(2009年)),49-64
[19] Ludwig,M.;Peñaloza,R.,《描述逻辑中的容错推理》,(Fermé,E.;Leite,J.,《第14届欧洲人工智能逻辑会议论文集》,JELIA'14,Lect。注释人工制品。国际,第8761卷,(2014年),斯普林格-维拉-马德拉,葡萄牙),107-121·Zbl 1432.68448号
[20] Eiter,T.;Lukasiewicz,T.;Predoiu,L.,《存在规则下的广义一致性问题回答》,(Baral,C.;Delgrande,J.P.;Wolter,F.,《第十五届知识表示与推理原则国际会议论文集》,KR 2016,(2016),AAAI出版社),359-368
[21] Peñaloza,R.,《可处理描述逻辑中的不一致容忍实例检查》,《规则与推理国际联席会议论文集》,RuleML+RR'17,《计算机科学课堂讲稿》,第10364卷,(2017),Springer),正在出版中
[22] Baader,F.;Knechtel,M.;Peñaloza,R.,《语义web本体论的公理和后果的上下文相关视图》,J.web Semant.,12-13,22-40,(2012年),可在
[23] 概率语义学;概率语义学。网络,6,5,477-501,(2015年)
[24] Ceylan,I.I.;Peñaloza,R.,《贝叶斯描述逻辑贝尔》,(Demri,S.;Kapur,D.;Weidenbach,C.,《第七届自动推理国际联席会议论文集》,IJCAR'14,《计算机科学讲义》,第8562卷,(2014),Springer),480-494·Zbl 1409.68277
[25] Ceylan,I.I.;Peñaloza,R.,贝叶斯本体论语言BEL,J.Autom。原因,58,1,67-95,(2017年)·Zbl 1409.68278号
[26] Stoilos,G.;Stamou,G.B.;Pan,J.Z.,《模糊EL+中的模糊包含分类》,(Baader,F.;Lutz,C.;Motik,B.,《第21届描述逻辑国际研讨会论文集》,DL2008,CEUR研讨会论文集,第353卷,(2008),CEUR-WS.org)
[27] Peñaloza,R.;Sertkaya,B.,《公理精确定位很难》(Grau,B.C.;Horrocks,I.;Motik,B.;Sattler,U.,《2009年描述逻辑国际研讨会论文集》,DL2009,CEUR研讨会论文集,第477卷(2009年))
[28] Peñaloza,R.;Sertkaya,B.,《描述逻辑家族中精确定位公理的复杂性》,(Lin,F.;Sattler,U.;Truszcynski,M.,《第十二届知识表示和推理原则国际会议论文集》,KR 2010,(2010),AAAI出版社),280-289
[29] Peñaloza,R.;Sertkaya,B.,《DL-lite家族中公理精确定位的复杂性》,(Haarslev,V.;Toman,D.;Weddell,G.,《2010年描述逻辑国际研讨会论文集》,DL2010,CEUR研讨会论文集,第573卷,(2010年)),173-184·Zbl 1211.68410
[30] Peñaloza,R.;Sertkaya,B.,《DL-lite描述逻辑家族中公理精确定位的复杂性》,(Coelho,H.;Studer,R.;Wooldridge,M.,《第19届欧洲人工智能会议论文集》,ECAI 2010年,封面。人工制品。因特尔。应用,第215卷,(2010),IOS出版社),29-34·Zbl 1211.68410
[31] Calvanese,D.;De Giacomo,G.;Lembo,D.;Lenzerini,M.;Rosati,R.,DL-lite:本体论的可处理描述逻辑(第20届Nat会议论文集)。人工智能会议,AAAI 2005,(2005年),602-607
[32] Borgida,A.;Calvanese,D.;Rodriguez Muro,M.,《DL-lite中的解释》(Baader,F.;Lutz,C.;Motik,B.,《2008年描述逻辑国际研讨会论文集》,DL 2008,CEUR研讨会论文集,第353卷(2008年))
[33] Borgida,A.;Calvanese,D.;Rodriguez Muro,M.,《DL-lite描述逻辑家族中的解释》(第七届本体论、数据库和语义应用国际会议论文集,ODBASE 2008,计算机科学课堂讲稿,第5332卷,(2008),Springer Verlag),1440-1457
[34] Baader,F.,《具有存在限制的描述逻辑中的术语循环》(Gottlob,G.;Walsh,T.,《第18届国际人工智能联合会议论文集》,IJCAI'03,(2003),Morgan Kaufmann),325-330
[35] Brandt,S.,《具有存在限制的描述逻辑中的多项式时间推理》,GCI公理,等等?,(de Mántaras,R.L.;Saita,L.,《第16届欧洲人工智能会议论文集》,ECAI 2004,(2004),IOS出版社,298-302
[36] Liffiton,M.H.;Sakallah,K.A.,《计算最小不可满足约束子集的算法》,J.Autom。原因,40,1,1-33,(2008年)·Zbl 1154.68510
[37] Baader,F.;Peñaloza,R.;Suntisrivaraporn,B.,《在描述逻辑中精确定位》(Hertzberg,J.;Beetz,M.;Englert,R.,《第30届德国人工智能会议论文集》,KI2007,《人工智能课堂讲稿》,第4667卷,(2007年),Springer Verlag),52-67页
[38] Kalyanpur,A.;Parsia,B.;Sirin,E.;Grau,B.C.,《修复OWL本体论中不可满足的概念》(Sure,Y.;Domingue,J.,《语义网:研究与应用》,第三届欧洲语义网会议论文集,ESWC 2006,计算机科学讲座笔记,第4011卷,(2006年),Springer-Verlag),170-184
[39] Peñaloza,R.,《描述逻辑与超越中的公理精确定位》,(2009),德国德累斯顿大学理论计算机科学研究所,博士论文
[40] Baader,F.;Peñaloza,R.,《基于自动机的公理精确定位》,J.Autom。原因,45,2,91-129,(2010年)·Zbl 1213.68589
[41] Baader,F.;Peñaloza,R.,《一般表格中的公理精确定位》,J.Log。计算机,20,1,5-34,(2010)·Zbl 1191.68645
[42] Johnson,D.S.;Yannakakis,M.;Papadimitriou,C.H.,《关于生成所有最大独立集》,Inf过程。Lett.,27,3,119-123,(1988年)·Zbl 0654.68086
[43] 最大集合生成算法;新算法,Yamatsu,Yamatsu,1977;新算法·Zbl 0364.05027
[44] Valiant,L.G.,计算永久性的复杂性,理论。计算机。1979年8月,第189-8页·Zbl 0415.68008
[45] Valiant,L.G.,枚举的复杂性和可靠性问题,暹罗J.计算机,8,3,410-421,(1979)·Zbl 0419.68082
[46] Kozen,D.C.,计数问题和#P,138-143,(1992),纽约州纽约市斯普林格
[47] 《可满足性问题》,Hermann,1,1,1996年·Zbl 0853.68110
[48] Papadimitriou,C.H.;Yannakakkis,M.,《方面的复杂性》(和复杂性的某些方面),J.Comput。系统。科学,28,2244-259,(1984年)·Zbl 0571.68028
[49] Papadimitriou,C.H.;Wolfe,D.,《解析面复杂性》,J.Comput。系统。科学,37,1,2-13,(1988)·中保0655.68041
[50] Garey,M.R.;Johnson,D.S.,《计算机与难处理性》;《NP完全性理论指南》(1990),W.H.Freeman&Company,纽约,美国
[51] Gabow,H.N.;Maheshwari,S.N.;Osterweil,L.J.,《程序测试路径生成中的两个问题》,IEEE Trans。软。工程学,2,3,227-231,(1976年)
[52] Lapaugh,A.S.;Papadimitriou,C.H.,图和有向图的偶数路径问题,网络,14,4,507-513,(1984)·Zbl 0552.68059
[53] Kullmann,O.,小句形式的约束满足问题:自给自足和最小不可满足性(计算复杂性电子学术讨论会,ECCC,14(055),(2007))
[54] Yen,J.Y.,在网络中寻找K条最短无环路径,管理学。《科学》,第17、11、712-716页,(1971年)·Zbl 0218.90063
[55] Nielsen,L.R.;Pretolani,D.;Andersen,K.A.,《使用再优化寻找最短超路径》,Oper。Res.Lett.,34,2155-164,(2006年)
[56] Nielsen,L.R.;Andersen,K.A.;Pretolani,D.,《寻找K最短超路径》,Comput。操作。第32、6、1477-1497页(2005年)·Zbl 1122.68482
[57] 《超图相关问题的识别》,(1997年第12期,第4期)·Zbl 0842.05070
[58] Hagen,M.,monet的算法和计算复杂性问题,(2008),für Informatik研究所,Friedrich Schiller Universität Jena,博士论文
[59] Fredman,M.L.;Khachiyan,L.,《单调析取范式二元化的复杂性》,J.算法,21,3,618-628,(1996)·Zbl 0864.68038
[60] Gottlob,G.;Malizia,E.,通过逻辑实现超图对偶问题的新上界,CoRR abs/1407.2912
[61] Eiter,T.;Gottlob,G.,《识别超图的最小横截面和相关问题》,(1991),基督教多普勒专家系统实验室,TU维也纳,技术代表CD-TR 91/16
[62] 霍里奇,M.,《本体论中基于正当性的解释》(2011),英国曼彻斯特大学博士论文
[63] Horridge,M.;Bail,S.;Parsia,B.;Sattler,U.,《猫头鹰辩护的认知复杂性》,(Aroyo,L.;Welty,C.;Alani,H.;Taylor,J.;Bernstein,A.;Kagal,L.;Noy,N.F.;Blomqvist,E.《第十届国际语义网络会议论文集》,第一部分,2011年ISWC,《计算机科学讲座笔记》,第7031卷,(2011年),241-256页
[64] 《逻辑中的冗余:CNF命题公式》,人工制品。国际期刊,163,2203-232,(2005)·Zbl 1132.68736
〔65〕 Schlobach,S.;Huang,Z.;Cornet,R.;Harmelen,F.《调试不连贯的术语》,J.Autom。原因,39,3,317-349,(2007年)·Zbl 1132.68740
[66] Wrathall,C.,完备集与多项式时间层次,理论。计算机。科学,3,1,23-33,(1976)·Zbl 0366.02031
[67] Durand,A.;Hermann,M.;Kolaitis,P.G.,《计算复杂性类的减法约化和完全问题》,理论。计算机。科学,340,3496-513,(2005年)·Zbl 1077.68033
[68] Marques Silva,J.;Ignatiev,A.;MencíA,C.;Peñaloza,R.,《不一致Horn公式的有效推理》(Michael,L.;Kakas,A.C.,《第15届欧洲人工智能逻辑会议论文集》,JELIA 2016年,《计算机科学讲座笔记》,第10021卷(2016年),Springer Verlag)·Zbl 06658170
〔69〕 Marques Silva,J.;Janota,M.;Belov,A.,《布尔公式中单调谓词上的最小集》,(Sharygina,N.;Veith,H.,《第25届计算机辅助验证国际会议论文集》,CAV 2013,《计算机科学讲座笔记》,第8044卷,(2013),Springer),592-607
[70] Sebastianin,R.;Vescovi,M.,《通过Horn-SAT编码和冲突分析在轻量级描述逻辑中的精确定位》(Schmidt,R.A.,《第22届自动演绎国际会议论文集》,CADE-22,《计算机科学课堂讲稿》,第5663卷,(2009年),Springer Verlag),84-99·Zbl 1250.68246
[71] Manthey,N.;Peñaloza,R.;Rudolph,S.,《利用SAT技术在EL中进行有效的公理精确定位》(Lenzerini,M.;Peñaloza,R.,第29届描述逻辑国际研讨会论文集,DL 2016,CEUR研讨会论文集,第1577卷,(2016年),CEUR-WS.org)
[72] Arif,M.F.;Mencía,C.;Marques Silva,J.,《高效公理与EL2MCS精确定位》,(Hölldobler,S.;Krötzsch,M.;Peñaloza,R.;Rudolph,S.,《第38届德国人工智能年会论文集》,2015年,《计算机科学讲座笔记》,第9324卷,(2015年),Springer),225-233页
[73] Arif,M.F.;Mencía,C.;Ignatiev,a.;Manthey,N.;Peñaloza,R.;Marques Silva,J.,《BEACON:一种高效的基于SAT的调试EL+本体论的工具》(Creignou,N.;Berre,D.L.,《第19届满意度测试理论与应用国际会议论文集》,2016年SAT,《计算机科学课堂讲稿》,第9710卷,(2016年),斯普林格),521-530·Zbl 06623532
[74] Ludwig,M.,Just:计算正当性的工具w.r.t.ELH本体论,(Bail,S.;Glimm,B.;Jiménez-Ruiz,E.;Matentzoglu,N.;Parsia,B.;Steigmiller,a.,《第三届猫头鹰推理机评估国际研讨会非正式会议记录》,2014年,欧洲高等教育研究所研讨会论文集,第1207卷,(2014年),CEUR-WS.org),1-7
[75] Liffiton,M.H.;Previti,A.;Malik,A.;Marques Silva,J.,《快速、灵活的MUS计数,约束》,21,223-250,(2016年)·Zbl 1334.90080
数字图书馆提供的数学或参考资料就是基于此。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。