×

兹马思-数学第一资源

基于本体的数据访问中查询重写的代价。(英语) Zbl公司 1390.68246
摘要:我们用OWL2QL、linear\(\mathrm{Datalog}^\pm\)和sticky\(\mathrm{Datalog}^\pm\)等本体语言,解决了基于本体的数据访问中连接查询一阶重写大小的简洁性问题。我们证明了在最坏的情况下,不使用额外非逻辑符号(除了在数据日志重写的情况下的内涵谓词)的正存在和非递归数据日志重写在最坏的情况下会遭受指数爆破,而一阶重写可以超线性增长,除非\(\mathrm{NP}\subsetq\mathrm{P}/\mathrm{poly}\)。我们还证明了非递归数据日志重写通常比正存在重写更简洁,而一阶重写比正存在重写更简洁。另一方面,我们在假设任何数据实例包含两个固定常数的情况下,构造多项式大小的正存在和非递归数据日志重写。

理学硕士:
68页15页 数据库理论
68问25 算法与问题复杂度分析
68T30型 知识表示
软件:
Ontop公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Abiteboul,S。;船体,右侧。;Vianu,V.,《数据库基础》(1995年),Addison-Wesley
[2] 阿隆,N。;《布尔函数的单调电路复杂性》,组合学,7,1,1-22,(1987)·Zbl公司 631.68041
[3] 阿罗拉,S。;《计算复杂性:现代方法》(2009),剑桥大学出版社,纽约,美国·Zbl公司 1193.68112
[4] 阿塔莱,A。;加尔瓦内斯,D。;康察科夫,R。;Zakharyaschev,M.,《DL-lite家庭与关系》,J。人工制品。因特尔。第36号,第1-69页,(2009年)·Zbl公司 1192.68657
[5] Avigad,J.,消除一阶逻辑中的定义和Skolem函数,ACM Trans。计算机。日志,4,3,402-415,(2003年)·Zbl公司 1365.03038
[6] 巴吉特,J.-F。;Leclère,M。;穆尼尔,M.-L。;Salvat,E.,《扩展具有存在变量的规则的可判定案例》,(Proc。第21届国际人工智能联合会议,IJCAI 2009,(2009),IJCAI),677-682
[7] 巴吉特,J.-F。;乐高ère,M。;穆尼尔,M.-L。;Salvat,E.,关于存在变量的规则:走在可判定线上,人工制品。国际期刊,1759-101620-1654,(2011)·Zbl公司 1225.68247
[8] 比恩弗努,M。;奥尔蒂斯,M。;辛库斯,M。;Xiao,G.,轻量级描述逻辑的可处理查询,(Proc。第23届国际人工智能联合会议,IJCAI 2013,(2013),AAAI出版社/IJCAI),768-774
[9] 比恩弗努,M。;十种食物,B。;卢茨,C。;Wolter,F.,基于本体的数据访问:通过析取数据日志、CSP和MMSNP进行的研究,(Proc。第32届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会,PODS 2013,(2013),ACM),213-224
[10] 博罗丁,A。;冯·祖尔·加滕,J。;霍普克罗夫特,J。E、 ,快速并行矩阵和gcd计算,(Proc。第23届计算机科学基础年会,FOCS'82,(1982),IEEE计算机学会,65-71·Zbl公司 507.68020
[11] 卡尔ì, A、 。;戈特洛布,G。;Lukasiewicz,T.,一个基于数据日志的通用框架,用于基于本体的可处理查询回答,J。Web Semant.,14,57-83,(2012年)
[12] 卡尔ì, A、 。;戈特洛布,G。;Pieris,A.,本体查询高级处理,Proc。VLDB授权,3,1554-565,(2010年)
[13] 卡尔ì, A、 。;戈特洛布,G。;Pieris,A.,走向更具表现力的本体语言:查询回答问题,人工制品。国际期刊,19387-128,(2012年)·Zbl公司 1270.68293
[14] 加尔瓦内斯,D。;德贾科莫,G。;伦博,D。;伦泽里尼,M。;Rosati,R.,DL-lite:本体论的可处理描述逻辑(Proc。第20届全国选举。人工智能会议,AAAI 2005,(2005),AAAI出版社,602-607
[15] 加尔瓦内斯,D。;德贾科莫,G。;伦博,D。;伦泽里尼,M。;罗萨蒂,R.,《描述逻辑中查询应答的数据复杂性》,(Proc。第十届知识表示与推理原理国际会议,韩国皇家学会2006,(2006),AAAI出版社,260-270
[16] 加尔瓦内斯,D。;德贾科莫,G。;伦博,D。;伦泽里尼,M。;罗萨蒂,R.,《描述逻辑中的可处理推理和有效的查询回答:DL-lite家族》,J。自动驾驶。原因,39,3,385-429,(2007年)·Zbl公司 1132.68725
[17] 切库里,C。;Rajaraman,A.,《合取查询包容重访》,Theor。计算机。科学,239,221-229,(2000)·Zbl公司 944.68046
[18] 合唱团,A。;特里维拉,D。;Stamou,G.,OWL2QL的优化查询重写,(Proc。第23届自动演绎国际会议,CADE-23,《计算机科学课堂讲稿》,第6803卷,(2011),斯普林格,192-206·Zbl公司 1341.68223
[19] 杜比,J。;佛库,A。;卡扬普尔,A。;文学硕士。;肖恩伯格,E。;斯里尼瓦斯,K。;可扩展的、可扩展的、基于连接的知识库的计算。第七届国际语义网络会议,ISWC 2008,计算机科学讲义,第5318卷,(2008),斯普林格,403-418
[20] 艾特,T。;奥尔蒂斯,M。;Š伊姆库斯,M。;特兰,T.-K。;Xiao,G.,Horn SHIQ plus规则的查询重写,(Proc。第26届AAAI人工智能大会,AAAI 2012,(2012),AAAI出版社)
[21] 弗罗姆,J。;Grohe,M.,参数化复杂性理论,理论计算机科学教科书。EATCS系列(2006),施普林格
[22] 加里,M。;《计算机与难处理性:NP完全性理论指南》(1979),W。H。美国纽约弗里曼公司·Zbl公司 411.68039
[23] 戈特洛布,G。;曼娜,M。;Pieris,A.,存在规则的多项式组合重写,(Proc。第14届知识表示与推理原理国际会议,韩国2014,(2014),AAAI出版社)
[24] G。戈特洛布,G。奥西,A。Pieris本体数据库查询重写与优化,arXiv:1405.2848[cs.DB],2014年5月12日。
[25] 戈特洛布,G。;奥西,G。;Pieris,A.,本体论查询:重写和优化,(Proc。第27届国际数据工程会议,ICDE 2011,(2011),IEEE计算机协会),2-13
[26] 戈特洛布,G。;Schwentick,T.,《将本体论查询重写为小型非递归数据日志程序》(Proc。第13届知识表示与推理原理国际会议,KR 2012,(2012),AAAI出版社,254-263
[27] 格罗赫,M。;施文蒂克,T。;Segoufin,L.,合取查询的计算何时可处理?,(Proc。第33届ACM SIGACT计算理论研讨会,STOC'01,(2001),ACM),657-666·Zbl公司 1323.68251
[28] 海曼,S。;文学硕士。;安尼克,D。;马,Z。;斯坦梅茨,N。;平移,Y。;梅,J。;佛库,A。;卡扬普尔,A。;科申鲍姆,A。;肖恩伯格,E。;斯里尼瓦斯,K。;费尔,C。;亨奇,G。;韦茨斯坦,B。;Keller,U.,大型数据存储库的本体推理(本体管理、语义Web、语义Web服务和业务应用程序,语义Web和其他,第7卷,(2008年),Springer),89-128
[29] Jukna,S.,《布尔函数复杂性:进步与前沿》(2012),斯普林格·Zbl公司 1235.94005
[30] 基科特,S。;康察科夫,R。;波多尔斯基,V。;Zakharyaschev,M.,《浅本体论上的查询重写》(Proc。第26届描述逻辑国际研讨会,DL 2013,第1014卷,(2013),CEUR-WS),316-327
[31] 基科特,S。;康察科夫,R。;波多尔斯基,V。;Zakharyaschev,M.,《基于owl2ql本体论的查询重写的简洁性》(2014),CoRR·Zbl公司 1401.68316
[32] 基科特,S。;康察科夫,R。;波多尔斯基,V。五、 。;Zakharyaschev,M.,查询重写的指数下界和分离,(Proc。第39届国际自动机、语言和编程学术讨论会第二部分,ICALP 2012,计算机科学课堂讲稿,第7392卷,(2012),Springer),263-274·Zbl公司 1367.68089
[33] 基科特,S。;康察科夫,R。;Zakharyaschev,M.,用owl2ql连接查询回答,(Proc。第13届知识表示与推理原则国际会议,KR 2012,(2012),AAAI出版社,275-285
[34] 科莱蒂斯,P。G、 。;瓦尔迪,M。Y、 约束和满足,(过程)合取查询。第17届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会,PODS'98,(1998),ACM出版社,205-213
[35] Kö尼格,米。;乐高ère,M。;穆尼尔,M.-L。;托马佐,M.,《存在规则的健全和完全反向链接算法》,(Proc。第六届网络推理与规则系统国际会议,RR 2012,《计算机科学讲义》,第7497卷,(2012年),Springer),122-138
[36] Kö尼格,米。;乐高ère,M。;穆尼尔,M.-L。;托马佐,M.,《用存在规则探索查询重写空间》,(Proc。第七届网络推理与规则系统国际会议,RR 2013,《计算机科学课堂讲稿》,第7994卷,(2013),斯普林格,123-137
[37] 康察科夫,R。;卢茨,C。;托曼,D。;沃尔特,F。;Zakharyaschev,M.,《DL-lite中查询应答的组合方法》,(Proc。第十届知识表示与推理原理国际会议,韩国2010,(2010),AAAI出版社)
[38] 康察科夫,R。;卢茨,C。;托曼,D。;沃尔特,F。;Zakharyaschev,M.,《基于本体的数据访问的组合方法》(Proc。第22届国际人工智能联合会议,IJCAI 2011,(2011),AAAI出版社,2656-2661
[39] 卢茨,C。;西兰,I。;托曼,D。;Wolter,F.,OBDA的组合方法:使用过滤器驯服角色层次结构,(Proc。第12届国际语义网络会议,ISWC 2013,《计算机科学课堂讲义》,第8218卷,(2013),Springer),314-330
[40] 卢茨,C。;托曼,D。;Wolter,F.,使用关系数据库系统在描述逻辑EL中的连接查询应答,(Proc。第21届国际人工智能联合会议,IJCAI 2009,(2009),IJCAI),2070-2075
[41] 麦克马汉,B。J、 。;潘,G。;波特,P。;瓦尔迪,M。Y、 ,重新审视投影推送,(过程。关于扩展数据库技术的第九届国际会议,EDBT,《计算机科学讲义》,第2992卷,(2004),Springer),441-458
[42] 梅耶,A。R、 。;费舍尔,M。J、 用自动机、语法和形式系统进行描述的经济性。第12届交换与自动机理论年会,SWAT/FOCS'71,(1971),IEEE计算机学会,188-191
[43] 奥西,G。;Pieris,A.,在本体论约束下优化查询回答,Proc。VLDB授权,4,11,1004-1015,(2011年)
[44] 奥尔蒂斯,M。;鲁道夫S。;Simkus,M.,描述逻辑SHOIQ和SROIQ的Horn片段中的查询应答,(Proc。第22届国际人工智能联合会议,IJCAI 2011,(2011),IJCAI/AAAI,1039-1044
[45] Pérez Urbina,H。;莫蒂克,B。;Horrocks,I.,DL-lite查询重写技术的比较。第22届描述逻辑国际研讨会,DL 2009,第477卷,(2009),CEUR-WS)
[46] Pérez Urbina,H。;罗德í盖兹-Dí亚利桑那州、欧洲。;格罗夫,M。;康斯坦丁尼迪斯。;Sirin,E.,owl2查询重写方法的评估,(Proc。SSWS+HPCSW 2012,第943卷,(2012),CEUR-WS)
[47] 波吉,A。;伦博,D。;加尔瓦内斯,D。;德贾科莫,G。;伦泽里尼,M。;Rosati,R.,链接数据到本体论,J。数据语义,X,133-173,(2008)·Zbl公司 1132.68061
[48] 拉兹,拉兹。;McKenzie,P.,《单调NC层次的分离》,(Proc。第38届计算机科学基础年会,FOCS'97,(1997),IEEE计算机学会,234-243
[49] 拉兹,R。;Widderson,A.,用于匹配的单调电路需要线性深度,J。ACM,39,3736-744,(1992年)·Zbl公司 799.68077
[50] Razborov,A.,某些布尔函数单调复杂度的下界,Dokl。阿卡德。Nauk SSSR,281,4,798-801,(1985年)·Zbl公司 621.94027
[51] 罗德íguez Muro,M。;康察科夫,R。;Zakharyaschev,M.,基于本体的数据访问:数据库的本体论(Proc。第12届国际语义网络会议,ISWC 2013,《计算机科学课堂讲稿》,第8218卷,(2013),Springer),558-573
[52] 罗德íguez Muro,M。;康察科夫,R。;Zakharyaschev,M.,Ontop at work,(过程。第10届国际研讨会,关于猫头鹰:经验和方向,猫头鹰2013年,第1080卷,(2013年),CEUR-WS)
[53] Rosati,R.,关于EL中的连接查询回答,(Proc。2007国际描述逻辑研讨会,DL 2007,第250卷,(2007),CEUR-WS)
[54] Rosati,R.,Prexto:在DL-lite中扩展约束下的查询重写,(Proc。第九届扩展语义网络会议,EWSC 2012,《计算机科学课堂讲稿》,第7295卷,(2012),Springer),360-374
[55] 罗萨蒂,R。;Almatelli,A.,改进基于DL-lite本体的查询回答,(Proc。第十届知识表示与推理原理国际会议,KR 2010,(2010),AAAI出版社,290-300
[56] Rossman,B.,同态保持定理,J。ACM,55,3,(2008年)·Zbl公司 1326.03038
[57] 萨尔瓦特,E。;Mugnier,M.-L.,健全和完整的图形规则的前后链,(过程。第四届概念结构国际会议,ICCS'96,《计算机科学讲义》,第1115卷,(1996),斯普林格,248-262
[58] 斯图尔特,我。A、 ,单调NP问题的逻辑描述,J。日志。计算机,4,4337-357,(1994)·Zbl公司 809.68070
[59] Tseitin,G.,《命题演算中推导的复杂性》,(自动推理2:计算逻辑的经典论文1967-1970,(1983),Springer),466-483
[60] Yannakakis,M.,《非循环数据库方案的算法》,(Proc。VLDB'81,(1981),IEEE计算机协会,82-94
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。