拉斐尔·佩尼亚洛萨;巴尔·塞尔特卡亚 理解轻量级描述逻辑中公理精确定位的复杂性。 （英语） Zbl 1419.68128号 Artif公司。智力。 250, 80-104 (2017). 概述：轻量级描述逻辑是一种知识表示形式，其特点是其标准推理任务的复杂性较低。它们已被成功地用于构建大型本体，在几个不同的实际应用中对领域知识进行建模。为了维护这些本体，通常需要检测导致给定结果的公理。这项任务通常被称为公理精确定位。本文对轻量级描述逻辑中与公理精确定位相关的几个决策、计数和枚举问题的复杂性进行了深入分析。 引用于7文件 MSC公司： 68T27型 人工智能中的逻辑 65年第68季度 算法和问题复杂性分析 68立方英尺 知识表示 关键词：描述逻辑;公理精确定位;计算复杂性;计数复杂性;枚举复杂性 软件：EL2MCS公司;信标;生物门户;VoCol公司;只是 PDF格式BibTeX公司 XML格式引用 \textit{R.Peñaloza}和\textit{B.Sertkaya}，Artif。智力。250、80-104（2017；Zbl 1419.68128） 全文： 内政部 参考文献： [1] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2003），剑桥大学出版社）·Zbl 1058.68107号 [2] Musen，M.A.，《保护计划：回顾与展望》，AI Matters，1，4，4-12（2015） [3] Halilaj，L。；彼得森，N。；Grangel-González，I。；兰格，C。；奥尔，S。；科斯昆，G。；Lohmann，S.，VoCol:支持版本控制词汇开发的集成环境，（Blomqvist，E.；Ciancarini，P.；Poggi，F。；Vitali，F.，《第20届知识工程和知识管理国际会议论文集》。第20届知识工程与知识管理国际会议论文集，EKAW 2016。第20届知识工程与知识管理国际会议论文集。第20届知识工程与知识管理国际会议论文集，EKAW 2016，计算机科学讲义，第10024卷（2016），303-319 [4] Alobaid，A。；Garijo，D。；Poveda-Villalón，M。；佩雷斯，I.S。；澳大利亚科乔。，本体论，本体论协作开发的工具，（Couto，F.M.；Hastings，J.，《国际生物医学本体论会议论文集》，《国际生物医学本体论大会论文集》（2015）。生物医学本体论国际会议论文集。《国际生物医学本体论会议记录》，2015年国际生物医学组织，《欧洲生物医学组织研讨会记录》，第1515卷（2015年），CEUR-WS.org） [5] 霍里奇，M。；巴西娅，B。；Sattler，U.，《解释OWL本体论中的不一致性》，（Godo，L.；Pugliese，A.，《第三届可扩展不确定性管理国际会议论文集》，第三届国际可扩展不确定管理会议论文集，SUM 2009。第三届可扩展不确定性管理国际会议记录。第三届可扩展不确定性管理国际会议论文集，SUM 2009，计算机科学讲义，第5785卷（2009），Springer-Verlag），124-137 [6] 巴德，F。；Suntisrivaraporn，B.，《使用描述逻辑中的公理精确定位调试SNOMED CT》（《使用SNOMED表示和共享知识国际会议论文集》，2008年，亚利桑那州凤凰城，KR-MED） [7] Kalyanpur，A。；巴西娅，B。；霍里奇，M。；Sirin，E.，《寻找OWL DL隐含的所有理由》，（第六届国际语义Web会议论文集，第二届亚洲语义Web会议。第六届世界语义Web会议文献集，第2届亚洲语义网络会议，ISWC 2007+ASWC 2007。第六届国际语义网络会议论文集，第二届亚洲语义网络会议。第六届国际语义网络会议论文集，第二届亚洲语义网络会议，ISWC 2007+ASWC 2007，计算机科学讲义，第4825卷（2007），Springer-Verlag），267-280 [8] 霍里奇，M。；巴西娅，B。；Sattler，U.，OWL中简洁而精确的论证，（Sheth，A.P.；Staab，S.；Dean，M.；Paolucci，M.；Maynard，D.；Finin，T.W.；Thirunarayan，K.，第七届国际语义网会议记录。第七届国际语义网会议记录，ISWC 2008。第七届国际语义网络会议论文集。第七届国际语义网络会议论文集，ISWC 2008，计算机科学讲义，第5318卷（2008），Springer-Verlag），323-338 [9] Suntisrivaraporn，B。；齐，G。；季庆。；Haase，P.，《一种基于模块化的方法来寻找OWL DL蕴涵的所有理由》，（Domingue，J.；Anutariya，C.，《第三届亚洲语义网络会议论文集》，ASWC'08。第三届亚洲语义网络会议论文集。第三届亚洲语义网络会议论文集，ASWC'08，计算机科学讲稿，第5367卷（2008），Springer-Verlag），1-15 [10] Artale，A。；Calvanee，D。；康查科夫，R。；Zakharyaschev，M.，《DL-Lite家族和关系》，J.Artif。智力。决议，36，1-69（2009年）·Zbl 1192.68657号 [11] 巴德，F。；Brandt，S。；Lutz，C.，Pushing the EL envelope，（Kaelbling，L.P.；Saffiotti，A.，《第十九届国际人工智能联合会议论文集》，国际人工智能协会05（2005），专业图书中心），364-369 [12] 诺伊，N.F。；新罕布什尔州沙阿。；Whetzel，P.L。；戴，B。；多尔夫，M。；格里菲斯，N。；Jonquet，C。；鲁宾，D.L。；斯托里，医学博士。；斜槽，C.G。；Musen，M.A.，《生物门户：鼠标点击时的本体论和集成数据资源》，《核酸研究》，37，Web-Server-Issue，170-173（2009） [13] 科特，R。；Rothwell，D。；Palotay，J。；贝克特，R。；Brochu，L.，《人类和兽医系统命名法》（1993），美国国际病理学家学院：美国病理学家国际学院，伊利诺伊州诺斯菲尔德，技术代表。 [14] 贝洛夫，A。；林奇，I。；Marques-Silva，J.，《迈向高效MUS提取》，AI Commun。，25, 2, 97-116 (2012) ·兹比尔1248.68450 [15] Ansótegui，C。；博内，M。；Levy，J.，基于SAT的MaxSAT算法，Artif。整数。，196, 77-105 (2013) ·Zbl 1270.68265号 [16] Morgado，A。；赫拉斯，F。；Liffiton，M.H.（理学硕士）。；平面，J。；Marques-Silva，J.，《迭代和核心引导MaxSAT求解：调查和评估》，《约束》，第18、4、478-534页（2013年）·Zbl 1317.90199号 [17] Dividino，R。；Sizov，S。；斯塔布，S。；Schueler，B.，《查询RDF中的来源、信任、不确定性和其他元知识》，Web Semant。，7, 3, 204-219 (2009) [18] 巴德，F。；Knechtel，M。；Peñaloza，R.，在存在对本体公理的访问限制的情况下进行大规模本体论推理的通用方法，（Bernstein，A.；etal.，《第八届国际语义网络会议论文集》，第八届世界语义网络会议文献集，ISWC 2009。第八届国际语义网络会议论文集。《第八届国际语义网络会议论文集》，ISWC 2009，《计算机科学讲义》，第5823卷（2009年），第49-64页 [19] 路德维希，M。；Peñaloza，R.，描述逻辑中的容错推理EL，（Fermé，E.；Leite，J.，《第14届欧洲人工智能逻辑会议论文集》，第14届欧盟人工智能逻辑大会论文集，JELIA’14。第14届欧洲人工智能逻辑会议论文集。第14届欧洲人工智能逻辑会议论文集，JELIA’14，Lect。注释Artif。整数。，第8761卷（2014年），斯普林格·弗拉格：斯普林格尔·弗拉格马德拉，葡萄牙），107-121·Zbl 1432.68448号 [20] 艾特，T。；Lukasiewicz，T。；Predoiu，L.，存在规则下的广义一致查询应答，（Baral，C.；Delgrand，J.P。；Wolter，F.，《第十五届知识表示和推理原则国际会议论文集》。《第十五届知识表示与推理原理国际会议论文集》，韩国，2016（2016），AAAI出版社，359-368 [21] Peñaloza，R.，《可处理描述逻辑中的不一致容忍实例检查》，（规则和推理国际联合会议论文集，规则ML+RR’17。规则和推理国际联席会议记录。《规则和推理国际联合会议记录》，RuleML+RR’17，《计算机科学讲义》，第10364卷（2017），Springer出版社）·Zbl 1490.68220号 [22] 巴德，F。；Knechtel，M。；Peñaloza，R.，语义网络本体论的公理和后果的上下文相关视图，J.web Semant。，12-13、22-40（2012），在线阅读 [23] Riguzzi，F。；贝洛迪，E。；Lamma，E。；Zese，R.，分布语义下的概率描述逻辑，Semant。Web，6，5，477-501（2015） [24] Ceylan，I.I。；Peñaloza，R.，贝叶斯描述逻辑BEL，（Demri，S.；Kapur，D.；Weidenbach，C.，第七届国际自动推理联合会议论文集。第七届国际自动推理联合会议论文集，IJCAR'14。第七届国际自动推理联合会议记录。《第七届国际自动推理联合会议记录》，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。第21届描述逻辑国际研讨会论文集。《第21届描述逻辑国际研讨会论文集》，DL2008，CEUR研讨会论文集，第353卷（2008），CEUR-WS.org） [27] 佩尼亚洛萨，R。；Sertkaya，B.，《公理精确定位很难》（Grau，B.C.；Horrocks，I.；Motik，B.；Sattler，U.，《2009年描述逻辑国际研讨会论文集》，DL2009。2009年描述逻辑国际研讨会论文集。2009年描述逻辑国际研讨会论文集，DL2009，CEUR研讨会论文集。，第477卷（2009）） [28] 佩尼亚洛萨，R。；Sertkaya，B.，《论描述逻辑（EL）族公理精确定位的复杂性》，（Lin，F.；Sattler，U。；Truszczynski，M.，《第十二届知识表示和推理原则国际会议论文集》。《第十二届知识表示与推理原理国际会议论文集》，韩国，2010年（2010年），AAAI出版社，280-289 [29] 佩尼亚洛萨，R。；Sertkaya，B.，《DL-Lite家族公理精确定位的复杂性》，（Haarslev，V.；Toman，D.；Weddell，G.，《2010年描述逻辑国际研讨会论文集》，DL2010年国际描述逻辑研讨会论文集。2010年描述逻辑国际研讨会论文集。2010年描述逻辑国际研讨会论文集，DL2010，CEUR研讨会程序。，第573卷（2010）），173-184·Zbl 1211.68410号 [30] 佩尼亚洛萨，R。；Sertkaya，B.，描述逻辑DL-Lite家族公理精确定位的复杂性，（Coelho，H.；Studer，R.；Wooldridge，M.，《第19届欧洲人工智能会议论文集》，第19届欧盟人工智能会议文献集，ECAI 2010。第19届欧洲人工智能会议记录。第19届欧洲人工智能大会论文集，ECAI 2010，Front。Artif公司。智力。申请。，第215卷（2010），IOS出版社），29-34·Zbl 1211.68410号 [31] Calvanee，D。；德贾科莫，G。；Lembo博士。；Lenzerini，M。；Rosati，R.，DL-Lite：本体论的易处理描述逻辑，（《第20届国家人工智能会议论文集》，《第20次国家人工智能大会论文集》（AAAI 2005（2005）），602-607 [32] Borgida，A。；Calvanee，D。；Rodriguez-Muro，M.，《DL-Lite中的解释》，（Baader，F.；Lutz，C.；Motik，B.，《2008年描述逻辑国际研讨会论文集》，DL 2008。2008年描述逻辑国际研讨会论文集。2008年描述逻辑国际研讨会论文集，DL 2008，CEUR研讨会程序。，第353卷（2008年） [33] Borgida，A。；Calvanee，D。；Rodriguez-Muro，M.，描述逻辑DL-Lite家族的解释，（第七届本体、数据库和语义应用国际会议论文集。第七届国际本体、数据库及语义应用会议论文集，ODBASE 2008。第七届本体论、数据库和语义学应用国际会议论文集。第七届本体论、数据库和语义应用国际会议论文集，ODBASE 2008，计算机科学讲义，第5332卷（2008），Springer-Verlag），1440-1457 [34] Baader，F.，《具有存在限制的描述逻辑中的术语循环》（Gottlob，G.；Walsh，T.，《第十八届国际人工智能联合会议论文集》，第十八届人工智能国际联合会议论文，IJCAI'03（2003），Morgan Kaufmann），325-330 [35] Brandt，S.，《具有存在限制的描述逻辑中的多项式时间推理》，GCI公理，以及——还有什么？，（de Mántaras，R.L.；Saitta，L.，《第16届欧洲人工智能会议论文集》，第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] 巴德，F。；佩尼亚洛萨，R。；Suntisrivaraporn，B.，《描述逻辑中的精确定位》（EL^+），（Hertzberg，J.；Beetz，M.；Englert，R.，《第30届德国人工智能会议论文集》，KI2007。第30届德国人工智能大会论文集。《第30届德国人工智能会议论文集》，KI2007，《人工智能讲义》，第4667卷（2007年），斯普林格·弗拉格），52-67·Zbl 1145.68304号 [38] Kalyanpur，A。；巴西娅，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] 巴德，F。；Peñaloza，R.，基于自动机的公理精确定位，J.Autom。原因。，45, 2, 91-129 (2010) ·Zbl 1213.68589号 [41] 巴德，F。；Peñaloza，R.，《公理在一般表中的精确定位》，J.Log。计算。，20, 1, 5-34 (2010) ·Zbl 1191.68645号 [42] 约翰逊，D.S。；Yannakakis，M。；Papadimitriou，C.H.，关于生成所有最大独立集，Inf.过程。莱特。，2011年3月27日至123日（1988年）·Zbl 0654.68086号 [43] 筑山，S。；Ide，M。；Ariyoshi，H。；白川方明，I.，生成所有最大独立集的新算法，SIAM J.Compute。，6, 505-517 (1977) ·Zbl 0364.05027号 [44] Valiant，L.G.，计算永久性的复杂性，Theor。计算。科学。，8, 2, 189-201 (1979) ·Zbl 0415.68008号 [45] Valiant，L.G.，枚举和可靠性问题的复杂性，SIAM J.Comput。，8, 3, 410-421 (1979) ·Zbl 0419.68082号 [46] Kozen，D.C.，《计算问题和#P》，138-143（1992），纽约州施普林格市：纽约州纽约市施普林格 [47] 北卡罗来纳州克里诺。；Hermann，M.，广义可满足性计数问题的复杂性，信息计算。，125, 1, 1-12 (1996) ·Zbl 0853.68110号 [48] Papadimitriou，C.H。；Yannakakis，M.，《面的复杂性（以及复杂性的某些方面）》，J.Compute。系统。科学。，28, 2, 244-259 (1984) ·Zbl 0571.68028号 [49] Papadimitriou，C.H。；Wolfe，D.，《解析面的复杂性》，J.Compute。系统。科学。，37, 1, 2-13 (1988) ·Zbl 0655.68041号 [50] Garey，M.R。；约翰逊，D.S.，《计算机与难治性》；NP完全性理论指南（1990），W.H.Freeman&Company：W.H.Freeman&Company，美国纽约州纽约市 [51] Gabow，H.N。；马赫什瓦里，S.N。；Osterweil，L.J.，《关于程序测试路径生成中的两个问题》，IEEE Trans。柔和。工程师，2，3227-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条最短无环路径》，Manag。科学。，17, 11, 712-716 (1971) ·Zbl 0218.90063号 [55] 尼尔森，L.R。；普雷托拉尼，D。；Andersen，K.A.，使用再优化找到最短的超路径，Oper。Res.Lett.公司。，34, 2, 155-164 (2006) [56] 尼尔森，L.R。；Andersen，K.A。；普雷托拉尼，D.，《寻找K最短超路径》，计算。操作。第32、6、1477-1497号决议（2005年）·Zbl 1122.68482号 [57] 艾特，T。；Gottlob，G.，识别超图的最小横截及相关问题，SIAM J.Compute。，24, 6, 1278-1304 (1995) ·Zbl 0842.05070号 [58] Hagen，M.，《莫奈的算法和计算复杂性问题》（2008），纽尔信息研究所，弗里德里希·施奈尔大学耶拿分校博士论文 [59] 弗雷德曼，M.L。；Khachiyan，L.，关于单调析取范式对偶化的复杂性，J.算法，21，3618-628（1996）·Zbl 0864.68038号 [60] Gottlob，G。；Malizia，E.，通过逻辑实现超图对偶问题的新上界，CoRR abs/1407.2912·Zbl 1395.68151号 [61] 艾特，T。；Gottlob，G.，《识别超图的最小横截面及相关问题》（1991年），专家系统基督教多普勒实验室，维也纳大学，技术代表CD-TR 91/16 [62] Horridge，M.，《本体论中基于论证的解释》（2011），曼彻斯特大学：英国曼彻斯特学院，博士论文 [63] 霍里奇，M。；Bail，S.公司。；巴西娅，B。；Sattler，U.，《OWL论证的认知复杂性》，（Aroyo，L.；Welty，C.；Alani，H.；Taylor，J.；Bernstein，A.；Kagal，L.，Noy，N.F.；Blomqvist，E.，《第十届国际语义网络会议论文集》，第一部分，《国际语义网络大会论文集》2011。《第十届国际语义网络会议论文集》，第一部分。《第十次国际语义网络大会论文集》第一部分，ISWC 2011，《计算机科学讲义》，第7031卷（2011），Springer），241-256 [64] Liberatore，P.，《逻辑中的冗余I：CNF命题公式》，Artif。整数。，163, 2, 203-232 (2005) ·Zbl 1132.68736号 [65] 施洛巴赫，S。；黄，Z。；科内特·R。；Harmelen，F.，《调试非相干术语》，J.Autom。原因。，39, 3, 317-349 (2007) ·Zbl 1132.68740号 [66] Wrathall，C.，《完备集与多项式时间层次》，Theor。计算。科学。，3, 1, 23-33 (1976) ·Zbl 0366.02031号 [67] 杜兰德，A。；赫尔曼，M。；Kolaitis，P.G.，《计算复杂性类的减法约简和完全问题》，Theor。计算。科学。，340, 3, 496-513 (2005) ·Zbl 1077.68033号 [68] Marques-Silva，J。；Ignatiev，A。；Mencía，C。；Peñaloza，R.，《不一致Horn公式的有效推理》，（Michael，L.；Kakas，A.C.，《第十五届欧洲人工智能逻辑会议论文集》，第十五届欧盟人工智能逻辑大会论文集，JELIA 2016。第十五届欧洲人工智能逻辑会议论文集。《第十五届欧洲人工智能逻辑会议论文集》，JELIA 2016，《计算机科学讲义》，第10021卷（2016），Springer-Verlag）·Zbl 1483.68381号 [69] Marques-Silva，J。；Janota，M。；Belov，A.，布尔公式中单调谓词上的极小集，（Sharygina，N.；Veith，H.，《第25届计算机辅助验证国际会议论文集》，第25届国际计算机辅助验证会议论文集，CAV 2013。第25届计算机辅助验证国际会议记录。第25届计算机辅助验证国际会议论文集，CAV 2013，计算机科学讲义，第8044卷（2013），Springer），592-607 [70] 塞巴斯蒂亚尼，R。；Vescovi，M.，Axiom通过Horn SAT编码和冲突分析在轻量级描述逻辑中精确定位，（Schmidt，R.A.，第22届国际自动推导会议记录。第22届国际自动推导会议记录，CADE-22。第22届自动扣减国际会议记录。第22届自动扣除国际会议记录，CADE-22，计算机科学讲稿，第5663卷（2009），Springer-Verlag），84-99·Zbl 1250.68246号 [71] Manthey，N。；佩尼亚洛萨，R。；Rudolph，S.，《使用SAT技术在EL中进行有效公理精确定位》，（Lenzerini，M.；Peñaloza，R.，《第29届描述逻辑国际研讨会论文集》，DL 2016。第29届描述逻辑国际研讨会论文集。《第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届德国人工智能年会论文集》，KI 2015。第38届德国人工智能年会论文集。第38届德语人工智能年会刊，KI 2015，计算机科学讲义，第9324卷（2015），Springer），225-233 [73] Arif，M.F。；Mencía，C。；伊格纳季耶夫，A。；Manthey，N。；佩尼亚洛萨，R。；Marques-Silva，J.，BEACON：一种高效的基于SAT的工具，用于调试EL+本体，（Creignou，N.；Berre，D.L.，《第19届可满足性测试理论与应用国际会议论文集》，第19届国际可满足性测试理论与应用会议论文集，2016年SAT。第19届可满足性测试理论与应用国际会议论文集。《第19届满意度测试理论与应用国际会议论文集》，2016年SAT，《计算机科学讲义》，第9710卷（2016年），斯普林格出版社，521-530·Zbl 1475.68368号 [74] Ludwig，M.，Just:计算ELH本体论合理性的工具，（Bail，S.；Glimm，B.；Jiménez-Ruiz，E.；Matentzoglu，N.；Parsia，B.；Steigmiller，a.，《第三届OWL Reasoner评估国际研讨会非正式会议记录》，ORE 2014。第三届OWL推理评估国际研讨会的非正式会议记录。第三届OWL推理评估国际研讨会非正式会议记录，ORE 2014，CEUR研讨会记录，第1207卷（2014），CEUR-WS.org），1-7 [75] Liffiton，M.H。；Previti，A。；马利克，A。；Marques-Silva，J.，《快速、灵活的MUS枚举》，约束，21，2，223-250（2016）·Zbl 1334.90080号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。