×

兹马思-数学第一资源

描述逻辑知识库的查询不可分离性博弈。(英语) Zbl 1351.68263
摘要:我们考虑描述逻辑知识库对给定签名的合取查询不可分离性,这是知识库版本控制、模块提取、遗忘和知识交换的一个基本问题。我们给出了知识库合取查询不可分离性的统一博弈论刻画,并给出了Horn-\(\mathcal{ALCHI}\)片段的最坏情况最优决策算法,包括支持OWL2QL和OWL2EL的描述逻辑。我们还确定了判断查询不可分离性的数据和组合复杂度。虽然所有这些逻辑的查询不可分离性对于数据复杂性来说是P-完全的,但是组合的复杂度从P-到ExpTime公司-到2ExpTime公司-完整性。我们利用这些结果来解决OWL2QL的两个主要的开放性问题:TBox查询不可分离性和知识交换中通用连接查询解决方案的成员问题都是ExpTime公司-完成合并的复杂性。最后,我们引入了一个更灵活的不可分性概念,它将给定签名中的合取查询的答案与给定的个体集进行比较。在这种情况下,由于数据的复杂性,检查查询不可分离性变得NP完全,但是ExpTime公司-和2ExpTime公司-完整性合并复杂度结果被保留。

理学硕士:
68T27型 人工智能中的逻辑
68问17 问题的计算难度(下限、完备性、逼近难度等)
68问25 算法与问题复杂度分析
68T30型 知识表示
91A43型 涉及图形的游戏
91A80型 博弈论的应用
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 第9期《计算机推理》,第9卷,第149卷
[2] Poggi,A.;Lembo,D.;Calvanese,D.;De Giacomo,G.;Lenzerini,M.;Rosati,R.《将数据与本体论联系起来》,数据语义杂志,第10期,第133-173页,(2008年)·Zbl 1132.68061
[3] 《可扩展的数据》(big-access);阿鲁巴塞(Rogase)杂志;阿鲁巴塞(Rogase)杂志;阿鲁巴塞数据公司(big-data);阿鲁巴塞(Rogase)杂志;阿鲁巴塞数据公司(big-data);阿鲁巴塞(Rogase)杂志;阿鲁巴塞数据公司(big-data)杂志;阿鲁巴塞数据公司(big-data)杂志;阿鲁巴塞(Rozam-Lace)杂志;阿勒阿纳什(Rocks)杂志社;阿勒阿勒姆•阿努阿内伊(Rocks)杂志社;阿勒阿努阿内伊(Rogar-La
[4] Hitzler,P.;Krötzsch,M.;Rudolph,S.,《语义web技术基础》(2009年),Chapman&Hall/CRC
[5] Hustadt,U.;Motik,B.;Sattler,U.,《表达性描述逻辑中推理的数据复杂性》,(Proc。第19届国际人工智能联合会议(IJCAI),(2005年),466-471
[6] Calvanese,D.;De Giacomo,G.;Lembo,D.;Lenzerini,M.;Rosati,R.,《描述逻辑中的可处理推理和有效查询回答:DL-lite家族》,J.Autom。原因,39385-429,(2007年)·Zbl 1132.68725
[7] Lutz,C.;Toman,D.;Wolter,F.《使用关系数据库系统描述逻辑EL中的连接查询应答》,(Proc。第21届国际人工智能联合会议(IJCAI),(2009年),2070-2075
[8] Kontchakov,R.;Zakharyaschev,M.,《描述逻辑和查询重写导论》(第10届国际推理网络暑期学校(RW 2014),《计算机科学课堂讲义》,第8714卷,(2014),Springer),195-244
[9] Jiménez Ruiz,E.;Cuenca Grau,B.;Horrocks,I.;Berlanga,R.,支持并行本体开发:框架、算法和工具、数据知识。《工程学》,70146-164,(2011年)
[10] Konev,B.;Ludwig,M.;Walther,D.;Wolter,F.《轻量级描述逻辑的逻辑差异》EL,J.Artif。因特尔。第44633-708号决议(2012年)·Zbl 1253.68303
[11] (Stuckenschmidt,H.;Parent,C.;Spaccapietra,S.,《模块本体论:知识模块化的概念、理论和技术》,《计算机科学课堂讲稿》,第5445卷,(2009年),斯普林格)·Zbl 1163.68005
[12] Konev,B.;Walther,D.;Wolter,F.,《大规模描述逻辑术语中的遗忘和统一插值》(Proc。第21届国际人工智能联合会议(IJCAI),(2009),AAAI出版社,830-835
[13] Koopmann,P.;Schmidt,R.A.,《用aboxes对ALC本体论的统一插值和遗忘》,(Proc。第29届AAAI人工智能大会(AAAI 2015),(2015),AAAI出版社,175-181
[14] Arenas,M.;BarcelóP.;Libkin,L.;Murlak,F.《数据交换基础》(2014年),剑桥大学出版社
[15] Arenas,M.;Botoeva,E.;Calvanese,D.;Ryzikov,V.;Sherkhonov,E.,《交换描述逻辑知识库》,(Proc。第13届知识表示与推理原理国际会议(KR 2012),(2012),AAAI出版社,563-567
[16] Arenas,M.;Pérez,J.;Reutter,J.L.,《超越完整数据的数据交换》,J.ACM,60,28,(2013年)·兹布1281.68105
[17] Kontchakov,R.;Wolter,F.;Zakharyaschev,M.,《基于逻辑的本体比较和模块提取》,及其在DL-lite,Artif上的应用。国际期刊,1741093-1141,(2010年)·Zbl 1238.68154
[18] Shvaiko,P.;Euzenat,J.,《本体匹配:技术现状和未来挑战》,IEEE Trans。知道。数据工程,25158-176,(2013年)
[19] Cuenca Grau,B.;Motik,B.,《基于隐藏内容的本体推理:通过查询导入方法》,J.Artif。因特尔。第45197-255号决议(2012年)·Zbl 1280.68251
[20] Krötzsch,M.;Rudolph,S.;Hitzler,P.,《喇叭描述逻辑的复杂性》,ACM Trans。计算机。日志,14,2,(2013年)·Zbl 1353.68268号
[21] Artale,A.;Calvanese,D.;Kontchakov,R.;Zakharyaschev,M.,《DL-lite家族与关系》,J.Artu。因特尔。第36号,第1-69页,(2009年)·Zbl 1192.68657
[22] Baader,F.;Brandt,S.;Lutz,C.,《推动EL包络线》,(Proc。第19届国际人工智能联合会议(IJCAI),(2005年),第364-369页
[23] Arenas,M.;Botoeva,E.;Calvanese,D.;Ryzikov,V.,《交换猫头鹰2QL知识库》(Proc。2013年第23届国际人工智能会议
[24] Konev,B.;Kontchakov,R.;Ludwig,M.;Schneider,T.;Wolter,F.;Zakharyaschev,M.,《OWL 2 QL tboxes的连接查询不可分离性》,(Proc。第25届AAAI人工智能会议(AAAI 2011),(2011),AAAI出版社,221-226
[25] 伊米林斯基,T.;利普斯基,W.,《关系数据库中的不完全信息》,J.ACM,31761-791,(1984)·Zbl 0632.68094
[26] Kazakov,Y.,Horn-SHIQ本体论的结果驱动推理(Proc。第21届国际人工智能联合会议(IJCAI),(2009年),2040-2045年
[27] Rosati,R.,关于EL中的连接查询回答,(Proc。2007年描述逻辑国际研讨会(DL 2007),第250卷,(2007),CEUR-WS)
[28] Eiter,T.;Gottlob,G.;Ortiz,M.;Simkus,M.,《描述逻辑Horn-\(\mathcal{SHIQ}\),(Proc。第11届欧洲人工智能逻辑会议(JELIA 2008),计算机科学讲义,第5293卷,(2008),Springer),166-179·Zbl 1178.68558
[29] 《知识表示中逻辑的复杂性结果与实用算法》(2001),卢福格理论计算机科学,德国亚琛大学博士论文
[30] Brandt,S.,《具有存在限制的描述逻辑中的多项式时间推理》,GCI公理,等等?,(过程。第16届欧洲人工智能会议(ECAI 2004),(2004),IOS出版社,298-302
[31] Lutz,C.;Wolter,F.,《判定描述逻辑中的不可分性和保守扩张》;EL,J.Symb。计算机,45194-228,(2010年)·Zbl 1187.68572号
[32] Mazala,R.,无限游戏,(自动机,逻辑学,和无限游戏:当前研究指南[Dagstuhl研讨会成果,2001年2月],《计算机科学课堂讲稿》,第2500卷,(2002年),Springer),23-42
[33] Chatterjee,K.;Henzinger,M.,《交替Büchi对策的O(\(n^2\))时间算法,(Proc。第23届ACM-SIAM离散算法研讨会(SODA 2012),(2012),SIAM,1386-1399
[34] Kozen,D.,《计算理论》(2006),Springer
[35] Papadimitriou,C.,计算复杂性,(1994),Addison-Wesley·邮政编码:0833.68049
[36] 王健林;王健林;王健林。数学。人工制品。国际期刊,58117-151,(2010年)·Zbl 1205.68410
[37] Cuenca Grau,B.;Horrocks,I.;Kazakov,Y.;Sattler,U.《本体论的模块化重用:理论与实践》,J.Artif。因特尔。第31273-318号决议(2008年)·Zbl 1183.68479
[38] Del Vescovo,C.;Parsia,B.;Sattler,U.;Schneider,T.,《本体的模块化结构:原子分解》(Proc。第22届国际人工智能联合会议(IJCAI 2011),(2011),AAAI出版社,2232-2237
[39] Nikitina,N.;Rudolph,S.,(非)描述逻辑中一般术语的统一插入式的(非)简洁性。国际,215120-140,(2014年)·Zbl 1308.68110号
[40] Nikitina,N.;Glimm,B.,《触及甜点:知识基础的经济重写》(Proc。第11届国际语义网络会议(ISWC 2012),第一部分,计算机科学课堂讲稿,第7649卷,(2012),斯普林格,394-409
[第四十一条] Lutz,C.;Seylan,I.;Wolter,F.,《描述逻辑中统一插值和逼近的自动机理论方法》,(Proc。第13届知识表示原则国际会议(KR 2012),(2012),AAAI出版社,286-296
[42] Koopmann,P.;Schmidt,R.A.,《计数与遗忘:本体论的统一插值》(Proc。第七届国际自动推理联合会议(IJCAR 2014),计算机科学讲义,第8562卷,(2014),斯普林格,434-448·Zbl 1423.68482
[43] Nortje,R.;Britz,K.;Meyer,T.,《描述逻辑的可达性模块》(\mathcal{SRIQ}\),(Proc。第19届编程逻辑、人工智能和推理国际会议(LPAR-19),《计算机科学讲义》,第8312卷,(2013年),斯普林格,636-652·Zbl 1407.68475
[44] Rodriguez Muro,M.;Kontchakov,R.;Zakharyaschev,M.,《基于本体的数据访问:数据库本体论》,(Proc。第12届国际语义网络会议(ISWC 2013),第一部分,计算机科学课堂讲稿,第8218卷,(2013),Springer),558-573
[45] Bienvenu,M.;Rosati,R.,《基于查询的OBDA规范比较》,(Proc。第28届描述逻辑国际研讨会(DL 2015),第1350卷,(2015),CEUR-WS)
[46] Lutz,C.;Wolter,F.,《表达描述逻辑中统一插值和遗忘的基础》,(Proc。第22届国际人工智能联合会议(IJCAI 2011),(2011),IJCAI/AAAI,989-995
[47] Patel Schneider,P.F.,分析schema.org,(Proc。第13届国际语义网络会议(ISWC 2014),第一部分,计算机科学课堂讲稿,第8796卷,(2014),斯普林格,261-276页
[48] Hernich,A.;Lutz,C.;Ozaki,A.;Wolter,F.,Schema.org作为描述逻辑,(Proc。第24届国际人工智能联合会议(IJCAI 2015),(2015),AAAI出版社,3048-3054
[49] Lutz,C.;Wolter,F.,《描述逻辑中查询应答的非统一数据复杂性》,(Proc。第13届知识表示原则国际会议(KR 2012),(2012),AAAI出版社,297-307
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。