卡斯滕·卢茨;伊南·塞兰;弗兰克·沃尔特 带有闭合谓词的本体论中介查询的数据复杂性。 (英语) Zbl 1509.68258号 日志。方法计算。科学。 15,第3号,第23号论文,54页(2019年). 摘要:我们研究了本体中介查询(其中选择的谓词可以关闭)的数据复杂性,对OMQC进行了非一致性分析,其中本体是在轻量级描述逻辑DL-Lite和(mathcal{EL})或表达描述逻辑(mathcal{ALCHI})中表示的。我们专注于将易处理的OMQC与非可签约的OMQC分开。在本体层次上,我们证明了DL-Lite的FO可写和coNP-complete之间的二分法,以及P时间和coNP完成\(\mathcal{EL}\)。我们还表明,在这两种情况下,决定可控制性的元问题P时间在OMQC的层面上,我们表明不存在二分法(除非NP等于P时间)如果概念名称和角色名称都可以关闭。对于只有概念名称可以闭合的情况,我们将OMQC评估的复杂性与满意感CSP的复杂性紧密联系在一起。我们还基于DL-Lite\(_{\mathcal{R}}\)确定了一个有用的OMQC语法类,这些语法类保证是FO可写的。 引用于5文件 MSC公司: 68立方英尺 知识表示 第68页,共15页 数据库理论 65年第68季度 算法和问题复杂性分析 68T27型 人工智能中的逻辑 软件:数据日志 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}等人,日志。方法计算。科学。15,第3号,第23号论文,54页(2019年;Zbl 1509.68258) 全文: arXiv公司 参考文献: [1] Serge Abiteboul、Richard Hull和Victor Vianu。数据库基础。Addison-Wesley,1995年·Zbl 0848.68031号 [2] Shqiponja Ahmetaj、Magdalena Ortiz和Mantas Simkus。用闭谓词表示描述逻辑的多项式数据日志重写。程序中。IJCAI,第878-885页,2016年·Zbl 1476.68250号 [3] 乔瓦尼·阿蒙多拉(Giovanni Amendola)、尼古拉·利昂(Nicola Leone)、马可·曼纳(Marco Manna)和皮尔弗朗西斯科·维尔特里(Pierfrancesco Veltri)。通过封闭世界变量增强存在规则。程序中。IJCAI,第1676-1682页,2018年。 [4] 马塞洛·阿雷纳斯(Marcelo Arenas)、巴勃罗·巴切罗(Pablo Barcel´o)、利奥尼德·利布金(Leonid Libkin)和菲利普·穆拉克(Filip Murlak)。数据交换基础。剑桥大学出版社,2014年·Zbl 1216.68003号 [5] 亚历山德罗·阿塔尔(Alessandro Artale)、迭戈·卡尔瓦内斯(Diego Calvanee)、罗曼·孔查科夫(Roman Kontchakov)和迈克尔·扎克哈里亚舍夫(Michael Zakharyaschev)。DL-Lite家族和关系。《人工智能研究杂志》,36:1-692009·Zbl 1192.68657号 [6] F.Baader、D.Calvanee、D.McGuiness、D.Nardi和P.Patel-Schneider。描述逻辑手册:理论、实现和应用。剑桥大学出版社,2003年·Zbl 1058.68107号 [7] 弗兰兹·巴德(Franz Baader)、塞巴斯蒂安·勃兰特(Sebastian Brandt)和卡斯滕·卢茨(Carsten Lutz)。推动EL信封。2005年,IJCAI。 [8] 弗兰兹·巴德(Franz Baader)、伊恩·霍洛克斯(Ian Horrocks)、卡斯滕·卢茨(Carsten Lutz)和乌尔里克·萨特勒(Ulrike Sattler)。描述逻辑导论·Zbl 1373.68002号 [9] 迈克尔·贝内迪克特和皮埃尔·布赫斯。保护tgd下原子查询的混合世界查询应答的Pspace硬度。技术报告,牛津大学,2018年。 [10] 迈克尔·贝内迪克特(Michael Benedikt)、皮埃尔·布赫斯(Pierre Bourhis)、鲍尔登·卡特(Balder ten Cate)和加布里埃尔·帕皮斯(Gabriele Puppis)。查询可见和不可见信息。程序中。第297-306页,2016年·Zbl 1394.68125号 [11] 梅根·宾文努(Meghyn Bienvenu)、彼得·汉森(Peter Hansen)、卡斯滕·卢茨(Carsten Lutz)和弗兰克·沃尔特(Frank Wolter)。喇叭描述逻辑中连接查询的一阶可写性和包含性。程序中。2016年,第965-971页。 [12] 梅根·宾文努(Meghyn Bienvenu)、卡斯滕·卢茨(Carsten Lutz)和弗兰克·沃尔特(Frank Wolter)。horn描述逻辑中原子查询的一阶可重写性。程序中。2013年,第754-760页。 [13] 梅根·别文努(Meghyn Bienvenu)和玛格达莱娜·奥尔蒂斯(Magdalena Ortiz)。通过数据可压缩描述逻辑进行本体中介的查询应答。程序中。推理网,第218-307页,2015年·Zbl 1358.68086号 [14] 梅根·宾文努(Meghyn Bienvenu)、鲍尔登·卡特(Balder ten Cate)、卡斯滕·卢茨(Carsten Lutz)和弗兰克·沃尔特(Frank Wolter)。基于本体的数据访问:通过析取数据日志、CSP和MMSNP进行的研究。ACM事务处理。数据库系统。,39(4):33, 2014. ·Zbl 1474.68082号 [15] Manuel Bodirsky、Jan K´ara和Barnaby Martin。满射同态问题的复杂性——综述。离散应用数学,160(12):1680-16902012·Zbl 1246.05104号 [16] Elena Botoeva、Boris Konev、Carsten Lutz、Vladislav Ryzhikov、Frank Wolter和Michael Zakharyaschev。描述逻辑本体论的不可分割性和保守扩展:综述。程序中。推理网,第27-89页,2016年·Zbl 1358.68282号 [17] Elena Botoeva、Roman Kontchakov、Vladislav Ryzhikov、Frank Wolter和Michael Zakharyaschev。描述逻辑知识库的查询不可分割性游戏。Artif公司。整数。,234:78-119, 2016. ·Zbl 1351.68263号 [18] 安德烈·布拉托夫。非均匀csp的二分法定理。程序中。FOCS,第319-330页,2017年。 [19] 安德烈·布拉托夫、彼得·杰文斯和安德烈·克罗金。使用有限代数对约束的复杂性进行分类。SIAM J.计算。,34(3):720-742, 2005. ·Zbl 1071.08002号 [20] 迭戈·卡尔瓦内斯、朱塞佩·德贾科莫、多梅尼科·伦博、毛里齐奥·伦泽里尼和里卡多·罗萨蒂。描述逻辑中的可牵引推理和高效查询回答:DL-Lite系列。第页,共页·Zbl 1132.68725号 [21] 迭戈·卡尔瓦内斯、朱塞佩·德贾科莫、多梅尼科·伦博、毛里齐奥·伦泽里尼和里卡多·罗萨蒂。描述逻辑中查询应答的数据复杂性。在韩国,第260-270页,2006年·Zbl 1270.68294号 [22] 迭戈·卡尔瓦内斯、朱塞佩·德贾科莫、多梅尼科·伦博、毛里齐奥·伦泽里尼和里卡多·罗萨蒂。EQL-Lite:描述逻辑中有效的一阶查询处理。2007年,IJCAI·Zbl 1132.68725号 [23] 胡比·陈。满射约束满足的代数硬度准则。《普遍代数》,72(4):393-4012014·Zbl 1308.08001号 [24] 弗朗西斯科·多尼尼(Francesco M.Donini)、丹尼尔·纳尔迪(Daniele Nardi)和里卡多·罗萨蒂(Riccardo Rosati)。将最小知识和否定的逻辑描述为失败。ACM计算逻辑汇刊,3(2):177-2252002·Zbl 1365.68403号 [25] 托马斯·艾特(Thomas Eiter)、乔治·戈特洛布(Georg Gottlob)和海基·曼尼拉(Heikki Mannila)。分离数据日志。ACM事务处理。数据库系统。,22(3):364-4181997年。 [26] 汤姆饰演费德和莫舍·瓦迪。单调单子SNP与约束满足。STOC,第612-6221993页·Zbl 1310.68086号 [27] 克里斯蒂娜·费尔(Cristina Feier)、安蒂·库伊斯托(Antti Kuusisto)和卡斯滕·卢茨(Carsten Lutz)。一元析取数据日志、mmsnp和表达性描述逻辑(受邀演讲)中的可重写性。程序中。ICDT,第1:1-1:17页,2017年·Zbl 1402.68046号 [28] Jan Foniok、Jaroslav Nesetril和Claude Tardif。关系结构同态序中的广义对偶和最大有限反链。欧洲法学委员会。,29(4):881-899, 2008. ·Zbl 1147.05037号 [29] 恩里科·弗兰科尼(Enrico Franconi)、亚兹明·安格利卡·伊巴(Yazmin Ang´elica Ib´aánez-Garc´naff a)和˙伊南·塞兰(Inan´c Seylan)。使用DBoxes进行查询应答很困难。理论计算机科学电子笔记,278:71-842011·Zbl 1347.68321号 [30] Birte Glimm和Markus Kr¨otzsch。SPARQL超越了子图匹配。在ISWC中,LNCS第6496卷,第241-256页。施普林格,2010年。 [31] 斯蒂芬·格林和鲍里斯·莫蒂克。通过认知算子在语义网中进行封闭世界推理。OWLED,2005年。 [32] 安德烈·赫尼奇(Andr´e Hernich)、利奥尼德·利布金(Leonid Libkin)和妮可·施韦卡特(Nicole Schweikardt)。封闭式世界数据交换。ACM事务处理。数据库系统。,36(2):14:1-14:40, 2011. [33] 安德烈·赫尼奇、卡斯滕·卢茨、法比奥·帕帕奇尼和弗兰克·沃尔特。使用保护片段进行本体论中介查询时的两分法。程序中。PODS,第185-1992017页·Zbl 1446.68056号 [34] 乌尔里希·赫斯塔特(Ullrich Hustadt)、鲍里斯·莫蒂克(Boris Motik)和乌尔里克·萨特勒(Ulrike Sattler)。在非常富有表现力的描述逻辑中推理的数据复杂性。程序中。2005年,第466-471页·Zbl 1146.68456号 [35] 伊南·塞兰、恩里科·弗兰科尼和乔斯·德布鲁因。使用DBoxes上的本体进行有效的查询重写。2009年,IJCAI。 [36] Roman Kontchakov、Carsten Lutz、David Toman、Frank Wolter和Michael Zakharyaschev。DL-Lite中查询应答的组合方法。2010年,韩国。 [37] 罗曼·孔查科夫和迈克尔·扎克哈里亚舍夫。描述逻辑和查询重写简介。程序中。推理网,第195-244页,2014年。 [38] 阿迪拉·克里斯纳迪(Adila Krisnadhi)和卡斯滕·卢茨(Carsten Lutz)。EL描述逻辑家族中的数据复杂性。程序中。LPAR,第333-347页,2007年·Zbl 1137.68593号 [39] 安德烈·克罗金(Andrei A.Krokhin)。约束满足的树二元论。CSL,第32-33页,2010年·Zbl 1287.68156号 [40] Markus Kr¨otzsch、Frederick Maier、Adila Krisnadhi和Pascal Hitzler。OWL的更好叔叔:集成规则和本体的标称模式。程序中。第645-654页。ACM,2011年。 [41] Markus Kr¨otzsch和Sebastian Rudolph。描述逻辑中的标称模式:澄清了复杂性。程序中。韩国AAAI出版社,2014年。 [42] 利奥尼德·利金和克里斯蒂娜·西兰吉罗。开放和封闭世界中的数据交换和模式映射。J.计算。系统。科学。,77(3):542-571, 2011. ·Zbl 1215.68093号 [43] 卡斯滕·卢茨、伊南·塞兰和弗兰克·沃尔特。包含闭合谓词的本体中介查询。程序中。第3120-3126页。AAAI出版社,2015年。 [44] 卡斯滕·卢茨、艾南·塞兰和弗兰克·沃尔特。使用封闭谓词进行基于本体的数据访问天生就很难(有时)。程序中。IJCAI,第1024-1030页,2013年。 [45] 卡斯滕·卢茨和弗兰克·沃尔特。描述逻辑中的决定不可分割性和保守扩展EL。符号计算杂志,45(2):194-2282010·Zbl 1187.68572号 [46] 卡斯滕·卢茨和弗兰克·沃尔特。描述逻辑本体的数据复杂性。《计算机科学中的逻辑方法》,13(4),2017年·兹比尔1398.68517 [47] Anees Mehdi、Sebastian Rudolph和Stephan Grimm。OWL知识库的认知查询。ESWC,2011年。 [48] 鲍里斯·莫蒂克(Boris Motik)、伊恩·霍洛克斯(Ian Horrocks)和乌里克·萨特勒(Ulrike Sattler)。缩小OWL和关系数据库之间的差距。《网络语义杂志》,7(2):74-892009。 [49] 鲍里斯·莫蒂克和里卡多·罗萨蒂。协调描述逻辑和规则。美国医学会杂志,57(5):1-622010·Zbl 1327.68257号 [50] Nhung Ngo、Magdalena Ortiz和Mantas Simkus。描述逻辑中的闭合谓词:组合复杂性的结果。程序中。第237-246页,2016年。 [51] Magdalena Ortiz、Diego Calvanee和Thomas Eiter。通过tableaux表示描述逻辑中查询应答的数据复杂性。《自动推理杂志》,41(1):61-982008·Zbl 1154.68102号 [52] 安东内拉·波吉、多梅尼科·伦博、迭戈·卡尔瓦内斯、朱塞佩·德贾科莫、毛里齐奥·伦泽里尼和里卡多·罗萨蒂。将数据链接到本体。《数据语义学杂志》,10:133-1732008年·Zbl 1132.68061号 [53] 雷蒙德·雷特。数据库应该知道什么?逻辑程序设计杂志,14(1&2):127-1531992·Zbl 0777.68035号 [54] Andrea Schaerf。关于存在量化概念语言中实例检查问题的复杂性。《智能信息系统杂志》,2:265-2781993年。 [55] Kunal Sengupta、Adila Alfa Krisnadhi和Pascal Hitzler。局部封闭世界语义:OWL的基础限定。ISWC,2011年。 [56] Balder ten Cate、Enrico Franconi和*InanÇc Seylan。Beth在表达性描述逻辑中的可定义性。《人工智能研究杂志》,48:347-4142013·Zbl 1442.68223号 [57] 肖国辉(Guohui Xiao)、迭戈·卡尔瓦内斯(Diego Calvanee)、罗曼·孔查科夫(Roman Kontchakov)、多梅尼科·伦博(Domenico Lembo)、安东内拉·波吉(Antonella Poggi)、里卡多·罗萨蒂(Riccardo Rosati。基于本体的数据访问:一项调查。程序中。2018年,第5511-5519页。 [58] 德米特里·朱克。CSP二分法猜想的证明。程序中。FOCS,第331-3422017页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。