让·克里斯托夫·荣格;卡斯滕·卢茨;毛里西奥·马特尔;托马斯·施耐德 使用正则路径表达式查询一元否定片段。 （英语） Zbl 1489.68077号 Kimelfeld，Benny（编辑）等人，第21届数据库理论国际会议，2018年ICDT，奥地利维也纳，2018年3月26-29日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。98，第15条，第18页（2018年）。 摘要：一阶逻辑的一元否定片段（UNFO）最近被提出作为模态逻辑的推广，它具有许多良好的计算和模型理论性质。从数据库理论的角度来看，它很有吸引力，因为它可以表达连接查询（CQ）和用许多描述逻辑（DL）表示的本体。两者都与本体论中介的查询相关，事实上，UNFO本体论下的CQ评估（因此也包括DL本体论）可以在UNFO中“表示”为可满足性问题。本文考虑二元关系上带正则表达式的UNFO的自然扩张。生成的逻辑\（\mathrm{UNFO}^{mathsf{reg}\）可以表示（联合）连接的双向正则路径查询（C2RPQ）和在DL中形成的本体，其中包括传递角色和角色上的正则表达式。我们的主要结果是，在（mathrm{UNFO}^{mathsf{reg}）本体下评估C2RPQ是可判定的，2ExpTime（ExpTime）-在组合复杂性中是完全的，在数据复杂性中是coNP完全的，并且在\（\mathrm{UNFO}^{\mathsf{reg}\）中的可满足性是2ExpTime（ExpTime）-完整，因此不比UNFO更难。有关整个系列，请参见[Zbl 1387.68024号]. 引用于3文件 MSC公司： 第68页，共15页 数据库理论 03B70号 计算机科学中的逻辑 65年第68季度 算法和问题复杂性分析 关键词：问答;常规路径查询;一阶逻辑的可判定片段;计算复杂性 软件：XPath（XPath） PDF格式BibTeX公司 XML格式引用 \textit{J.C.Jung}等人，LIPIcs——莱布尼茨国际程序。通知。98，第15条，第18页（2018；Zbl 1489.68077） 全文： 内政部 参考文献： [1] Antoine Amarilli、Michael Benedikt、Pierre Bourhis和Michael Vanden Boom。使用传递数据和线性排序数据进行查询回答。在{\it Proc.IJCAI}中，第893-899页，2016年。 [2] 伦佐·安格斯（Renzo Angles）和克劳迪奥·古铁雷斯（Claudio Gutiérrez）。图形数据库模型综述。《美国计算机学会计算》，40（1）：1:1-1:392008。 [3] 弗兰兹·巴德。通过角色的传递闭包增强概念语言：术语循环的替代方法。在{\it Proc.IJCAI}中，第446-4511991页·Zbl 0742.68064号 [4] Franz Baader、Diego Calvanese、Deborah L.McGuinness、Daniele Nardi和Peter F.PatelSchneider。描述逻辑手册：理论、实现和应用}。剑桥大学出版社，第二版，2007年·Zbl 1132.68055号 [5] 弗兰兹·巴德（Franz Baader）、伊恩·霍洛克斯（Ian Horrocks）、卡斯滕·卢茨（Carsten Lutz）和乌尔里克·萨特勒（Ulrike Sattler）。描述逻辑导论。坎布里德大学出版社，2017年·Zbl 1373.68002号 [6] Jean-François Baget、Michel Leclère、Marie-Laure Mugnier和Eric Salvat。关于存在变量的规则：行走可判定线。{\it Artif.Intell.}，175（9-10）：1620-16542011年·Zbl 1225.68247号 [7] Jean-François Baget、Marie-Laure Mugnier、Sebastian Rudolph和Michaöl Thomazo。沿着复杂的线寻找广义的保护存在规则。在《IJCAI公报》第712-717页，2011年。 [8] 文斯·巴兰尼（Vince Bárány）、乔治·戈特洛布（Georg Gottlob）和马丁·奥托（Martin Otto）。查询受保护的碎片。计算机科学中的逻辑方法，10（2），2014·Zbl 1314.68146号 [9] 文斯·巴兰尼（Vince Bárány）、鲍尔登·卡特（Balder ten Cate）和吕克·塞古芬（Luc Segoufin）。谨慎的否定。{\it J.ACM}，62（3）：22:1-22:26，2015年·Zbl 1333.68133号 [10] 巴勃罗·巴塞洛。查询图形数据库。在{\it Proc.PODS}中，第175-188页，2013年。 [11] Pablo Barceló，Gerald Berger和Andreas Pieris。基于规则的本体论中介查询的遏制。在2018年出版的《采购订单汇编》中。 [12] 梅根·宾文努（Meghyn Bienvenu）、迭戈·卡尔瓦内斯（Diego Calvanee）、玛格达莱娜·奥尔蒂斯（Magdalena Ortiz）和曼塔斯·西姆库斯（MantasŠimkus）。描述逻辑中的嵌套常规路径查询。在2014年的{it Proc.KR}中。 [13] 梅根·宾文努（Meghyn Bienvenu）、彼得·汉森（Peter Hansen）、卡斯滕·卢茨（Carsten Lutz）和弗兰克·沃尔特（Frank Wolter）。Horn描述逻辑中连接查询的一阶可写性和包含性。在{\it Proc.IJCAI}中，第965-971页。IJCAI/AAAI出版社，2016年。 [14] 梅根·宾文努（Meghyn Bienvenu）、卡斯滕·卢茨（Carsten Lutz）和弗兰克·沃尔特（Frank Wolter）。重新考虑描述逻辑中的查询包含。在{\it Proc.KR}中。AAAI出版社，2012年。 [15] 梅根·别文努（Meghyn Bienvenu）和玛格达莱娜·奥尔蒂斯（Magdalena Ortiz）。以本体为中介的查询应答，使用数据可处理的描述逻辑。在{it Proc.Reasoning Web}中，{it LNCS}第9203卷，第218-307页。斯普林格，2015年·Zbl 1358.68086号 [16] ：17 [17] :18 [18] 梅根·别文努（Meghyn Bienvenu）、玛格达莱娜·奥尔蒂斯（Magdalena Ortiz）和曼塔斯·什伊姆库斯（MantasŠimkus）。轻量级描述逻辑中的连接规则路径查询。在{\it Proc.IJCAI}中，第761-767页。IJCAI/AAAI，2013年。 [19] 梅根·别文努（Meghyn Bienvenu）、玛格达莱娜·奥尔蒂斯（Magdalena Ortiz）和曼塔斯·什伊姆库斯（MantasŠimkus）。基于边防数据日志的导航查询：初步结果。在{it Proc.AMW}，{it CEUR}{it Workshop Proceedings}第1378卷，2015年。 [20] 梅根·别文努（Meghyn Bienvenu）、玛格达莱娜·奥尔蒂斯（Magdalena Ortiz）和曼塔斯·什伊姆库斯（MantasŠimkus）。轻量级描述逻辑中的常规路径查询：复杂性和算法。｛\it J.Artif.Intell.Res.｝，53:315-3742015·Zbl 1336.68243号 [21] 梅根·宾文努（Meghyn Bienvenu）、鲍尔登·卡特（Balder ten Cate）、卡斯滕·卢茨（Carsten Lutz）和弗兰克·沃尔特（Frank Wolter）。基于本体的数据访问：通过析取数据日志、CSP和MMSNP进行的研究。{\it ACM Trans.Database}{\it Syst.}，39（4）：33:1-33:442014·Zbl 1474.68082号 [22] 皮埃尔·布赫斯（Pierre Bourhis）、马库斯·克罗茨奇（Markus Krötzsch）和塞巴斯蒂安·鲁道夫（Sebastian Rudolph）。如何最佳嵌套常规路径查询。在{it Proc.DL}中，{it CEUR研讨会论文集}第1193卷，第404-415页，2014年。 [23] 皮埃尔·布赫斯（Pierre Bourhis）和卡斯滕·卢茨（Carsten Lutz）。包含在一元析取数据日志、MMSNP和表达描述逻辑中。在{it Proc.KR}中，第207-216页。AAAI出版社，2016年。 [24] 安德烈亚·卡尔、乔治·戈特洛布和迈克尔·基弗。应对无限追赶：在表达性关系约束下的查询应答。在{it Proc.KR}中，第70-80页，2008年。 [25] 迭戈·卡尔瓦内斯、朱塞佩·德贾科莫、多梅尼科·伦博、毛里齐奥·伦泽里尼和里卡多·罗萨蒂。描述逻辑中查询应答的数据复杂性。{\it Artif.Intell.}，195:335-3602013年·Zbl 1270.68294号 [26] 迭戈·卡尔瓦内斯（Diego Calvanee）、朱塞佩·德贾科莫（Giuseppe De Giacomo）、毛里齐奥·伦泽里尼（Maurizio Lenzerini）和丹尼尔·纳尔迪（Daniele Nardi）。表达描述逻辑中的推理。在《自动推理手册》中，第1581-1634页。爱思唯尔和麻省理工学院出版社，2001年·Zbl 0992.03036号 [27] 迭戈·卡尔瓦内斯（Diego Calvanee）、朱塞佩·德贾科莫（Giuseppe De Giacomo）、毛里齐奥·伦泽里尼（Maurizio Lenzerini）和莫舍·瓦尔迪（Moshe Y.Vardi）。包含带反转的连接正则路径查询。在《韩国科学院院刊》第176-1852000页中。 [28] Diego Calvanee、Thomas Eiter和Magdalena Ortiz。在表达描述逻辑中回答常规路径查询：自动机理论方法。在{\it Proc.AAAI}中，第391-396页，2007年。 [29] Diego Calvanee、Thomas Eiter和Magdalena Ortiz。带名词的表达描述逻辑中的常规路径查询。在{\it Proc.IJCAI}中，第714-720页，2009年。 [30] Diego Calvanee、Thomas Eiter和Magdalena Ortiz。通过交替树自动机回答表达描述逻辑中的常规路径查询。{\it Inf.Compute.}，237:12-552014年·Zbl 1360.68801号 [31] Isabel F.Cruz、Alberto O.Mendelzon和Peter T.Wood。支持递归的图形查询语言。在{it Proc.SIGMOD}中，第323-330页，1987年。 [32] 迈克尔·菲舍尔（Michael J.Fischer）和理查德·拉德纳（Richard E.Ladner）。正则程序的命题动态逻辑。计算机系统科学杂志，18（2）：194-211，1979·Zbl 0408.03014号 [33] Stefan Göller、Markus Lohrey和Carsten Lutz。具有交集和逆向的PDL：可满足性和无限状态模型检查。{\it J.Symb.Log.}，74（1）：279-3142009年·Zbl 1181.03034号 [34] Georg Gottlob、Christoph Koch和Reinhard Pichler。处理XPath查询的高效算法。在{it Proc.VLDB}中，第95-106页，2002年。 [35] 乔治·戈特洛布（Georg Gottlob）、乔治·奥尔西（Giorgio Orsi）、安德烈亚斯·皮耶利斯（Andreas Pieris）和曼塔斯·西姆库斯（MantasŠimkus）。语义web数据库的数据日志及其扩展。在{it Proc.Reasoning Web}中，{it LNCS}第7487卷，第54-77页。施普林格，2012年·Zbl 1251.68088号 [36] 乔治·戈特洛布（Georg Gottlob）、安德烈亚斯·皮利斯（Andreas Pieris）和丽迪娅·坦德拉（Lidia Tendra）。查询具有传递性的受保护片段。在{it Proc.ICALP II}中，{it LNCS}第7966卷，第287-298页。施普林格，2013年·Zbl 1335.68078号 [37] 埃里希·格拉德尔。关于警卫的约束权。{it J.Symb.Log.}，64（4）：1719-17421999·Zbl 0958.03027号 [38] Erich Grädel和Igor Walukiewicz。保护定点逻辑。在《LICS-99号公报》第45-54页，1999年。 [39] 罗曼·孔查科夫和迈克尔·扎克哈里亚舍夫。描述逻辑和查询重写简介。在{it Proc.Reasoning Web}中，{it LNCS}第8714卷，第195-244页。斯普林格，2014年。 [40] 阿迪拉·克里斯纳迪（Adila Krisnadhi）和卡斯滕·卢茨（Carsten Lutz）。EL描述逻辑家族中的数据复杂性。在{it Proc.LPAR}中，{it LNCS}第4790卷，第333-347页。施普林格，2007年·Zbl 1137.68593号 [41] 卡斯滕·卢茨（Carsten Lutz）。表达描述逻辑中连接查询应答的复杂性。在{it Proc.IJCAR}中，{it LNCS}第5195卷，第179-193页。施普林格，2008年·兹比尔1165.68503 [42] Magdalena Ortiz、Sebastian Rudolph和MantasŠimkus。在描述逻辑SHOIQ和SROIQ的Horn片段中进行问答。2011年，第1039-1044页。 [43] 安东内拉·波吉（Antonella Poggi）、多梅尼科·伦博（Domenico Lembo）、迭戈·卡尔瓦内斯（Diego Calvanee）、朱塞佩·德贾科莫（Giuseppe De Giacomo）、毛里齐奥·伦泽里尼（Maurizio Lenzerini）和里卡多·罗萨蒂（Riccardo Rosati）。将数据链接到本体。{\it J.数据语义}，10:133-1732008·Zbl 1132.68061号 [44] Juan L.Reutter、Miguel Romero和Moshe Y.Vardi。图形数据库的常规查询。{理论计算系统}，61（1）：31-832017·兹比尔1375.68047 [45] 塞巴斯蒂安·鲁道夫（Sebastian Rudolph）和马库斯·科洛奇（Markus Krötzsch）。标记和检查：使用单数定义的查询进行数据访问。在{\it Proc.PODS}中，第151-162页，2013年。 [46] 克劳斯·席尔德。术语逻辑的对应理论：初步报告。在{\it Proc.IJCAI}中，第466-4711991页·Zbl 0742.68059号 [47] 维斯·斯瓦斯特和利迪娅·坦德拉。带有可传递防护装置的防护碎片。{it Ann.}{it Pure Appl.Logic}，128（1-3）：227-2762004·Zbl 1048.03010号 [48] Balder ten Cate和Luc Segoufin。一元否定。{计算机科学中的逻辑方法}，9（3），2013。 [49] 莫舍·瓦尔迪（Moshe Y.Vardi）。用双向自动机推理过去。在{\it Proc.ICALP-98}中，第628-6411998页·兹伯利0909.03019 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。