埃琳娜·博托埃娃；罗马人孔查科夫；弗拉迪斯拉夫·里日科夫；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 描述逻辑知识库的查询不可分割性游戏。 （英语） Zbl 1351.68263号 Artif公司。智力。 234, 78-119 (2016). 摘要：我们考虑描述逻辑知识库相对于给定签名的联合查询不可分割性，这是知识库版本控制、模块提取、遗忘和知识交换中的一个基本问题。我们给出了知识库联合查询不可分割性的统一游戏理论特征，并为Horn-（mathcal{ALCHI}）片段开发了最坏情况下的最优决策算法，包括支持OWL2QL和OWL2EL的描述逻辑。我们还确定了确定查询不可分割性的数据和组合复杂度。虽然所有这些逻辑的查询不可分割性对于数据复杂性来说都是P-complete，但组合的复杂性从P-到ExpTime（ExpTime）-至2ExpTime（ExpTime）-完整性。我们利用这些结果解决了OWL2QL的两个主要开放问题，表明知识交换中通用联合查询解决方案的TBox查询不可分割性和成员关系问题都是ExpTime（ExpTime）-完成组合复杂性。最后，我们引入了一个更灵活的不可分割性概念，它将给定签名中的连接查询的答案与给定的一组个体进行比较。在这种情况下，检查查询不可分割性对于数据复杂性来说是NP完成的，但ExpTime（ExpTime）-和2ExpTime（ExpTime）-保持了完整性组合复杂性结果。 引用于5文件 MSC公司： 68T27型 人工智能中的逻辑 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 68立方英尺 知识表示 91A43型 涉及图形的游戏 91A80型 博弈论的应用 关键词：描述逻辑；知识库；联合查询；查询不可分割性；图上的游戏；计算复杂性 软件：内容CVS；Ontop（顶部） PDF格式BibTeX公司 XML格式引用 \textit｛E.Botoeva｝等人，人工制品。智力。234、78——119（2016；Zbl 1351.68263） 全文： 内政部 链接 参考文献： [1] 波勒斯，A。；Hogan，A。；德尔布鲁，R。；Umbrich，J.，《关联数据的RDFS和OWL推理》，（第九届国际推理网络暑期学校（RW 2013）。第九届国际推理网络暑期学校（RW 2013），《计算机科学讲义》，第8067卷（2013），施普林格出版社，91-149 [2] Poggi，A。；伦博，D。；Calvanee，D。；德贾科莫，G。；Lenzerini，M。；Rosati，R.，《将数据链接到本体论》，J.data Semant。，10, 133-173 (2008) ·Zbl 1132.68061号 [3] 吉泽，M。；Calvanee，D。；哈斯，P。；霍洛克斯，I。；约安尼迪斯，Y。；Kllapi，H。；库巴拉基斯，M。；Lenzerini，M。；Möller，R。；罗德里格斯·穆罗，M。；奥兹切普。；罗萨蒂，R。；施拉特，R。；施密特，M。；Soylu，A。；Waaler，A.，《可扩展的最终用户对大数据的访问》（大数据计算（2013），CRC出版社） [4] 希茨勒，P。；Krötzsch，M。；Rudolph，S.，《语义网络技术基础》（2009），查普曼和霍尔/CRC [5] Hustadt，U。；莫蒂克，B。；Sattler，U.，《非常富有表现力的描述逻辑中推理的数据复杂性》，（第19届国际人工智能联合会议（IJCAI）（2005年），466-471 [6] Calvanee，D。；德贾科莫，G。；伦博，D。；Lenzerini，M。；Rosati，R.，描述逻辑中的可追踪推理和高效查询回答：DL-Lite家族，J.Autom。原因。，39, 385-429 (2007) ·Zbl 1132.68725号 [7] 卢茨，C。；Toman博士。；Wolter，F.，使用关系数据库系统在描述逻辑EL中进行连接查询应答，（第21届国际人工智能联合会议（IJCAI）（2009年），2070-2075 [8] Kontchakov，R。；Zakharyaschev，M.，《描述逻辑和查询重写简介》（The 10th Int.Summer School on Reasoning Web（RW 2014））。第十届国际推理网络暑期学校（RW 2014），《计算机科学讲义》，第8714卷（2014），斯普林格出版社，195-244 [9] Jiménez Ruiz，E。；Cuenca Grau，B。；霍洛克斯，I。；Berlanga，R.，《支持并行本体开发：框架、算法和工具》，《数据知识》。工程师，70，146-164（2011） [10] 科涅夫，B。；路德维希，M。；Walther，D。；Wolter，F.，轻量级描述逻辑的逻辑差异EL，J.Artif。智力。研究，44，633-708（2012）·Zbl 1253.68303号 [11] （Stuckenschmidt，H.；Parent，C.；Spacapietra，S.，《模块化本体论：知识模块化的概念、理论和技术》，模块化本体：概念、理论与技术，计算机科学讲义，第5445卷（2009年），Springer）·兹比尔1163.68005 [12] 科涅夫，B。；Walther，D。；Wolter，F.，《大规模描述逻辑术语中的遗忘和统一插值》，（第21届国际人工智能联合会议（IJCAI）（2009），AAAI出版社），830-835 [13] Koopmann，P。；Schmidt，R.A.，《带ABoxes的ALC本体的统一插值和遗忘》，（第29届AAAI人工智能大会论文集（AAAI 2015）（2015），AAAI出版社），175-181 [14] 阿雷纳斯，M。；巴塞洛，P。；利布金，L。；Murlak，F.，《数据交换基础》（2014），剑桥大学出版社 [15] 阿雷纳斯，M。；Botoeva，E。；Calvanee，D。；里日科夫，V。；Sherkhonov，E.，《交换描述逻辑知识库》，（第13届国际知识表示与推理原理会议（KR 2012）（2012），AAAI出版社），563-567 [16] 阿雷纳斯，M。；佩雷斯，J。；Reutter，J.L.，完整数据之外的数据交换，J.ACM，60，28（2013）·Zbl 1281.68105号 [17] Kontchakov，R。；Wolter，F。；Zakharyaschev，M.，基于逻辑的本体比较和模块提取，以及DL-Lite的应用，Artif。智力。，174, 1093-1141 (2010) ·Zbl 1238.68154号 [18] Shvaiko，P。；Euzenat，J.，《本体匹配：现状和未来挑战》，IEEE Trans。知识。数据工程，25，158-176（2013） [19] Cuenca Grau，B。；Motik，B.，《用隐藏内容对本体进行推理：逐查询导入方法》，J.Artif。智力。第45号决议，197-255（2012）·Zbl 1280.68251号 [20] Krötzsch，M。；鲁道夫，S。；希茨勒，P.，《号角描述逻辑的复杂性》，ACM Trans。计算。日志。，2013年2月14日·Zbl 1353.68268号 [21] Artale，A。；Calvanee，D。；Kontchakov，R。；Zakharyaschev，M.，《DL-Lite家族和关系》，J.Artif。智力。决议，36，1-69（2009年）·Zbl 1192.68657号 [22] 巴德，F。；Brandt，S。；Lutz，C.，《推倒EL包络线》，（第19届国际人工智能联合会议（IJCAI）（2005年），364-369 [23] 阿雷纳斯，M。；Botoeva，E。；Calvanee，D。；Ryzhikov，V.，交换OWL 2 QL知识库，（第23届国际人工智能联合会议（IJCAI 2013）（2013），IJCAI/AAAI） [24] 科涅夫，B。；Kontchakov，R。；路德维希，M。；施耐德，T。；Wolter，F。；Zakharyaschev，M.，OWL 2 QL TBoxes的连接查询不可分割性，（第25届AAAI人工智能大会论文集（AAAI 2011）（2011），AAAI出版社），221-226 [25] 伊米林斯基，T。；Lipski，W.，《关系数据库中的不完整信息》，J.ACM，31761-791（1984）·兹比尔0632.68094 [26] Kazakov，Y.，《Horn SHIQ本体论的结果驱动推理》（第21届国际人工智能联合会议（IJCAI）（2009年），2040-2045年） [27] Rosati，R.，《关于EL中的连接查询应答》，（2007年描述逻辑国际研讨会（DL 2007），第250卷（2007），CEUR-WS） [28] 艾特，T。；Gottlob，G。；奥尔蒂斯，M。；Simkus，M.，《描述逻辑Horn-\（SHIQ）中的问答》，（第11届欧洲人工智能逻辑会议论文集（JELIA 2008）。程序。第11届欧洲人工智能逻辑大会（JELIA 2008），计算机科学讲稿，第5293卷（2008），施普林格出版社，166-179·Zbl 1178.68558号 [29] Tobies，S.，《知识表示中逻辑的复杂性结果和实用算法》（2001年），LuFG理论计算机科学，RWTH-亚琛：LuFG计算机理论科学，德国RWTH-亚琛，博士论文 [30] Brandt，S.，《具有存在限制的描述逻辑中的多项式时间推理》，GCI公理，还有其他什么？，（第16届欧洲人工智能大会（ECAI 2004）（2004），IOS出版社），298-302 [31] 卢茨，C。；Wolter，F.，描述逻辑EL中的判定不可分割性和保守扩展，J.Symb。计算。，45, 194-228 (2010) ·Zbl 1187.68572号 [32] Mazala，R.，《无限游戏》（Automata，Logics，and Infinite games:A Guide to Current Research，2001年2月Dagstuhl研讨会的成果），《自动、逻辑和无限游戏：当前研究指南》（Autotata，Logic，and Infinite games:A Guide for Current Resource，2001年1月Dagstohl研讨会成果），计算机科学讲稿，第2500卷（2002），斯普林格出版社，23-42·Zbl 1021.91502号 [33] 查特吉，K。；Henzinger，M.，交替Büchi游戏的An（O（n^2）时间算法，（第23届ACM-SIAM离散算法年会论文集（SODA 2012）（2012），SIAM），1386-1399·Zbl 1421.68110号 [34] Kozen，D.，《计算理论》（2006），Springer·Zbl 1102.68025号 [35] Papadimitriou，C.，计算复杂性（1994），Addison-Wesley·Zbl 0833.68049号 [36] 王，Z。；王凯。；托珀，R.W。；Pan，J.Z.，《忘记DL-Lite中的知识库》，《数学年鉴》。Artif公司。智力。，58, 117-151 (2010) ·Zbl 1205.68410号 [37] Cuenca Grau，B。；霍洛克斯，I。；哈萨克夫，Y。；Sattler，U.，《本体的模块化重用：理论与实践》，J.Artif。智力。第3273-318号决议（2008年）·Zbl 1183.68479号 [38] 德尔维斯科沃，C。；巴西娅，B。；美国萨特勒。；Schneider，T.，《本体论的模块化结构：原子分解》，（第22届国际人工智能联合会议（IJCAI 2011）（2011），AAAI出版社），2232-237 [39] 尼基蒂娜，N。；Rudolph，S.，描述逻辑EL，Artif中一般术语一致插值的（非）简洁性。智力。，215, 120-140 (2014) ·Zbl 1308.68110号 [40] 尼基蒂娜，N。；Glimm，B.，《击中甜点：知识库的经济改写》，（第11届国际语义网络会议（ISWC 2012），第一部分。第11届国际语义网络大会（ISWC 2012），第一部分，计算机科学课堂讲稿，第7649卷（2012），施普林格出版社），394-409 [41] 卢茨，C。；塞兰，I。；Wolter，F.，描述逻辑EL中统一插值和逼近的自动机理论方法，（第13届国际知识表示原理会议（KR 2012）（2012），AAAI出版社），286-296 [42] Koopmann，P。；Schmidt，R.A.，计数与遗忘：\（SHQ\）-本体的统一插值，（第七届国际自动推理联合会议论文集（IJCAR 2014））。程序。第七届国际自动推理联合会议（IJCAR 2014），计算机科学讲稿，第8562卷（2014），施普林格出版社，434-448·Zbl 1423.68482号 [43] Nortje，R。；Britz，K。；Meyer，T.，《描述逻辑的可达性模块》（SRIQ），（第19届国际编程、人工智能和推理逻辑会议（LPAR-19））。程序。第19届国际编程、人工智能和推理逻辑大会（LPAR-19），计算机科学讲稿，第8312卷（2013年），斯普林格出版社，636-652·Zbl 1407.68475号 [44] 罗德里格斯·穆罗，M。；Kontchakov，R。；Zakharyaschev，M.，基于Ontology的数据访问：数据库的ontop，（第十二届国际语义网络会议（ISWC 2013），第一部分。第十二届国际语义网络大会（ISWC 2013），第一部分，计算机科学讲义，第8218卷（2013），施普林格），558-573 [45] Bienvenu，M。；Rosati，R.，《基于查询的OBDA规范比较》，（第28届描述逻辑国际研讨会论文集（DL 2015），第1350卷（2015），CEUR-WS） [46] 卢茨，C。；Wolter，F.，《表达描述逻辑中统一插值和遗忘的基础》，（第22届国际人工智能联合会议（IJCAI 2011）（2011），IJCAI/AAAI），989-995 [47] Patel-Schneider，P.F.，Analysing Schema.org，（第13届国际语义网络会议论文集（ISWC 2014），第一部分论文集。第13届国际语义网络大会（ISWC 2014），第一部分，计算机科学课堂讲稿，第8796卷（2014），施普林格出版社），261-276 [48] Hernich，A。；卢茨，C。；小崎，A。；Wolter，F.，Schema.org作为描述逻辑，（第24届国际人工智能联合会议（IJCAI 2015）（2015），AAAI出版社），3048-3054 [49] 卢茨，C。；Wolter，F.，描述逻辑中查询应答的非均匀数据复杂性，（第13届国际知识表示原理会议（KR 2012）（2012），AAAI出版社），297-307 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。