什奇蓬贾·艾哈迈塔吉；马格达莱娜·奥尔蒂斯；西蒙库斯，曼塔斯 从带有闭合谓词的表达性描述逻辑到Datalog变体的多项式重写。 （英语） Zbl 1476.68250号 Artif公司。智力。 280，文章ID 103220，27 p.（2020）. 摘要：在许多场景中，完整信息和不完整信息并存。因此，知识表示和数据库社区长期以来一直对在推理逻辑理论时同时支持封闭世界和开放世界的观点表现出兴趣。这里我们考虑使用逻辑理论查询可能不完整数据的设置，形式化为对本体中介查询（OMQ）将查询与理论配对，有时称为本体论，表达背景知识。可以通过指定一组闭合谓词从封闭世界假设下解释的理论出发，而其他理论则是以开放世界的观点解释的。通过这种方式，我们可以利用数据的部分完整性来检索查询的更精确答案。本文的中心目标是了解本体论中介查询语言的相对表达性，在这些语言中，本体部分是用表达性描述逻辑（DL）编写的，并且包含一组关闭谓词。我们考虑一类受限的连接查询。我们的主要结果是显示非单调可以翻译查询语言在多项式时间内进入之内数据日志在稳定的模型语义下，否定是失败的。为了克服挑战数据日志没有直接的方法来表达存在量化存在于（mathcal{ALCHOI}）中，我们定义了一个表征本体满足的两层博弈，并设计了一个数据日志查询，该查询可以决定游戏的获胜策略的存在。如果没有闭合谓词（在查询\（mathcal{ALCHOI}\）知识库的情况下），我们的翻译将产生正析取数据日志多项式大小的程序。据我们所知，与之前对具有表达性（非Horn）DL的相关片段的翻译不同，这些是第一个多项式时间翻译。 引用于5文件 MSC公司： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 第68页，共15页 数据库理论 68立方英尺 知识表示 关键词：描述逻辑；数据日志；闭合谓词；本体论中介的查询应答；查询重写；简洁；相对表现力 软件：数据日志 PDF格式BibTeX公司 XML格式引用 \textit{S.Ahmetaj}等人，Artif。智力。280，文章ID 103220，27 p.（2020；Zbl 1476.68250） 全文： DOI程序 arXiv公司 参考文献： [1] Ahmetaj，Shqiponja；马格达莱娜·奥尔蒂斯；Šimkus，Mantas，《用封闭谓词表示描述逻辑的多项式数据日志重写》（IJCAI（2016），IJCAI/AAAI出版社），878-885·Zbl 1476.68250号 [2] Ahmetaj，Shqiponja；马格达莱娜·奥尔蒂斯；Šimkus，Mantas，《表达描述逻辑中实例查询的多项式析取数据日志重写》（DL 2016（2016）的Proc.）·Zbl 1476.68250号 [3] Ahmetaj，Shqiponja；马格达莱娜·奥尔蒂斯；Šimkus，Mantas，《将受保护的存在规则重写为小型数据日志程序》（ICDT.ICDT，LIPIcs，第98卷（2018年），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），4:1-4:24·Zbl 1489.68066号 [4] （Franz Baader；Diego Calvanee；Deborah McGuinness；Daniele Nardi；Peter Patel-Schneider，《描述逻辑手册：理论、实现和应用》（2007），剑桥大学出版社）·Zbl 1132.68055号 [5] 拉比诺特·巴伊拉克塔里；马格达莱娜·奥尔蒂斯；Šimkus，Mantas，《将规则和本体结合到clopen知识库中》（AAAI（2018）），1728-1735 [6] 文斯·巴拉尼；Michael Benedikt；10 Cate，Balder，重写保护否定查询（MFCS’13（2013）Proc.，ACM），98-110·Zbl 1398.68120号 [7] Michael Benedikt；Bourhis，Pierre，PSPACE在保护TGDS下对原子查询的混合世界查询回答硬度（2018），牛津大学，技术报告 [8] Michael Benedikt；皮埃尔·布赫斯；10 Cate，Balder；Puppis，Gabriele，查询可见和不可见信息，（LICS（2016），ACM），297-306·Zbl 1394.68125号 [9] 迈克尔·贝内迪克特；伯纳多·昆卡·格劳；Kostylev，Egor V.，基于本体的数据集成中的源信息披露，（AAAI（2017），AAAI出版社），1056-1062 [10] 梅亨·班文努（Meghyn Bienvenu）；Ortiz，Magdalena，Ontology-mediated query answering with data-tractable description logics，（推理网络。推理网络，计算机科学讲义，第9203卷（2015），Springer），218-307·Zbl 1358.68086号 [11] 梅根·比恩韦努；迭戈·卡尔瓦内斯；马格达莱娜·奥尔蒂斯；Šimkus，Mantas，描述逻辑中的嵌套常规路径查询（KR（2014），AAAI出版社）·Zbl 1336.68243号 [12] 梅亨·班文努（Meghyn Bienvenu）；10 Cate，Balder；卡斯滕·卢茨（Carsten Lutz）；Wolter，Frank，基于Ontology的数据访问：一项通过析取数据日志、CSP和MMSNP进行的研究，ACM Trans。数据库系统。，39, 4, 33:1-33:44 (2014) ·Zbl 1474.68082号 [13] 安德里亚·卡利；乔治·戈特洛布（Georg Gottlob）；Lukasiewicz，Thomas，《本体论上可处理查询应答的通用数据日志框架》（PODS（2009），ACM），77-86 [14] 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼（Maurizio Lenzerini）；Rosati，Riccardo，描述逻辑中的可追踪推理和高效查询回答：DL-Lite家族，J.Autom。原因。，39, 3, 385-429 (2007) ·Zbl 1132.68725号 [15] 迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；多梅尼科·伦博；莫里齐奥·伦泽里尼（Maurizio Lenzerini）；Rosati，Riccardo，描述逻辑中查询应答的数据复杂性，Artif。智力。，195, 335-360 (2013) ·Zbl 1270.68294号 [16] 迭戈·卡尔瓦内斯；托马斯·艾特；Ortiz，Magdalena，通过交替树自动机回答表达性描述逻辑中的常规路径查询，Inf.Comput。，237, 12-55 (2014) ·Zbl 1360.68801号 [17] 丹钦、叶夫根尼；托马斯·艾特；乔治·戈特洛布（Georg Gottlob）；Andrei Voronkov，《逻辑编程的复杂性和表达能力》，ACM Compute。调查。，33, 3, 374-425 (2001) [18] 邓婷；范文飞；Geerts，Floris，捕获缺失元组和缺失值，ACM Trans。数据库系统。，41, 2, 10:1-10:47 (2016) ·Zbl 1474.68092号 [19] 托马斯·艾特；乔治·戈特洛布（Georg Gottlob）；Mannila，Heikki，虚拟数据记录，ACM Trans。数据库系统。，22, 3, 364-418 (1997) [20] 托马斯·艾特；乔瓦姆巴蒂斯塔·伊安尼；托马斯·卢卡西维奇（Thomas Lukasiewicz）；辛德劳，罗马人；Hans Tompits，《将答案集编程与语义Web描述逻辑相结合》，Artif。智力。，172, 12-13, 1495-1539 (2008) ·Zbl 1183.68595号 [21] 托马斯·艾特；奥尔蒂斯，马格达莱纳；西蒙库斯（Simkus）、曼塔斯（Mantas）；Tran，Trung-Kien；肖国辉，《Horn-SHIQ plus规则的查询重写》（AAAI（2012），AAAI出版社） [22] 托马斯·艾特；马格达莱娜·奥尔蒂斯；Šimkus，Mantas，描述逻辑SH中使用节点的连接查询回答，J.Comput。系统。科学。，78, 1, 47-85 (2012) ·兹比尔1238.68153 [23] 范文飞；Geerts，Floris，相对信息完整性，ACM Trans。数据库系统。，35, 4, 27:1-27:44 (2010) [24] Enrico Franconi；伊瓦涅兹·加西亚（Yazmin Angélica）；Seylan，Inanç，用DBoxes回答查询很难，Electron。注释Theor。计算。科学。，278, 71-84 (2011) ·Zbl 1347.68321号 [25] Michael Gelfond；弗拉基米尔·利夫施奇茨（Vladimir Lifschitz），《逻辑编程的稳定模型语义》（The stable model semantics for logic programming）（ICLP/SLP Proc.1988（1988），麻省理工学院出版社） [26] 乔治·戈特洛布（Georg Gottlob）；Thomas Schwentick，将本体查询重写为小型非递归数据日志程序，（KR（2012），AAAI出版社） [27] 乔治·戈特洛布（Georg Gottlob）；基科特、斯坦尼斯拉夫；孔查科夫，罗马人；弗拉基米尔五世（Vladimir V.Podolskii）。；Thomas Schwentick；Michael Zakharyaschev，《基于本体论的数据访问中查询重写的代价》，Artif。智力。，213, 42-59 (2014) ·Zbl 1390.68246号 [28] 乔治·戈特洛布（Georg Gottlob）；马可·曼纳；Pieris，Andreas，《存在规则的多项式组合重写》（KR（2014），AAAI出版社）·Zbl 1286.68044号 [29] 乔治·戈特洛布（Georg Gottlob）；塞巴斯蒂安·鲁道夫；Šimkus，Mantas，保护存在规则语言的表达，（PODS（2014），ACM），27-38 [30] 乔治·戈特洛布（Georg Gottlob）；马可·曼纳；Pieris，Andreas，线性存在规则的多项式重写，（IJCAI（2015），AAAI出版社），2992-1998 [31] 霍洛克斯，I。；美国萨特勒。；Tessaris，S。；Tobies，S.，《使用DLR ABox查询控制》（1999年），亚琛公路：亚琛德国公路，参见 [32] 伊恩·霍洛克斯（Ian Horrocks）；Patel-Schneider，Peter F.，KR和语义网络推理：OWL（语义网络技术手册（2011），Springer），365-398 [33] 乌尔里希·赫斯塔特；Boris Motik；Sattler，Ulrike，《通过减少析取数据日志进行描述逻辑推理》，J.Autom。原因。，39, 3, 351-384 (2007) ·Zbl 1132.68735号 [34] 马克·卡明斯基（Mark Kaminski）；亚沃·内诺夫；Cuenca Grau，Bernardo，Disjunctive Datalog程序和非Horn本体的Datalog可重写性，Artif。智力。，236，90-118（2016）·Zbl 1357.68228号 [35] 孔查科夫，罗马人；卡斯滕·卢茨（Carsten Lutz）；戴维·托曼；弗兰克·沃尔特（Frank Wolter）；Michael Zakharyaschev，《基于本体的数据访问的组合方法》（IJCAI（2011），IJCAI/AAAI），2656-2661 [36] Lukasiewicz，Thomas，《答案集编程与语义网描述逻辑的新组合》，IEEE Trans。知识。数据工程，22，11，1577-1592（2010） [37] Lutz，Carsten，表达描述逻辑中连接查询回答的复杂性，（自动推理，第四届国际联合会议，IJCAR（2008）），179-193·Zbl 1165.68503号 [38] 卡斯滕·卢茨（Carsten Lutz）；伊南·塞兰；Wolter，Frank，使用封闭谓词进行基于Ontology的数据访问天生就很难（有时），（IJCAI（2013），IJCAI/AAAI），1024-1030 [39] 卡斯滕，卢茨；伊南·塞兰；Wolter，Frank，《封闭谓词的本体论中介查询》（IJCAI（2015），AAAI出版社），3120-3126·Zbl 1509.68258号 [40] Boris Motik；Rosati，Riccardo，《协调描述逻辑和规则》，J.ACM，57，5，30:1-30:62（2010）·Zbl 1327.68257号 [41] Boris Motik；乌尔里克·萨特勒；Studer，Rudi，OWL-DL与规则的问答，J.Web Semant。，3, 1, 41-60 (2005) [42] Ngo、Nhung；马格达莱娜·奥尔蒂斯；Simkus，Mantas，《描述逻辑中的闭谓词：组合复杂性的结果》，（KR（2016）），237-246 [43] 马格达莱娜·奥尔蒂斯；塞巴斯蒂安·鲁道夫；Šimkus，Mantas，OWL 1和2的Horn-DL片段的最坏情况优化推理，（KR（2010），AAAI出版社） [44] 佩雷兹·乌尔维纳，海克托；Boris Motik；Ian Horrocks，《描述逻辑约束下的可追踪查询应答和重写》，J.Appl。日志。，8, 2, 186-209 (2010) ·Zbl 1192.68218号 [45] 西蒙·拉兹涅夫斯基（Simon Razniewski）；Nutt，Werner，《部分封闭世界假设下的数据库：一项调查》（Grundlagen von Datenbanken，Grundlangen von Datenbanken，CEUR研讨会论文集，第1313卷（2014）），59-64 [46] Rosati，Riccardo，DL+log：描述逻辑和析取数据日志的紧密集成（Doherty，Patrick；Mylopoulos，John；Christopher A.Welty，《第十届知识表示和推理原则国际会议论文集》，英国湖区。《第十届知识表示和推理原则国际会议论文集》，英国湖区，2006年6月2-5日（2006年），AAAI出版社，68-78 [47] Schaerf，Andrea，《用概念语言与个人进行推理》，《数据知识》。工程，13，2，141-176（1994） [48] Schild，Klaus，《术语逻辑的对应理论：初步》，466-471（1991），报告·Zbl 0742.68059号 [49] 伊南·塞兰；Enrico Franconi；de Bruijn，Jos，《使用DBoxes上的本体进行有效查询重写》（2009年《IJCAI学报》） [50] 弗兰提塞克，西曼西克；哈萨克夫，叶夫根尼；Ian Horrocks，《超越喇叭本体论的基于结果的推理》（IJCAI（2011），IJCAI/AAAI），1093-1098 [51] 特里维拉（Trivela）、德斯波纳（Despoina）；乔戈斯·斯托洛斯（Giorgos Stoilos）；亚历山大·乔塔拉斯（Alexandros Chortaras）；Stamou，Giorgos B.，为OWL本体优化基于分辨率的重写算法，J.Web Semant。，2015年3月33日至49日 [52] Yannakakis，Mihalis，非循环数据库方案的算法，（第七届超大数据库国际会议论文集-第7卷，VLDB’81（1981），VLDB捐赠），82-94 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。