托马斯·卢卡塞维奇;恩里科·马利齐亚;Martinez、Maria Vanina;克里斯蒂安·莫里纳罗;安德烈亚斯·皮耶利斯;杰拉尔多·西马里一世。 存在规则的不一致容忍查询应答。 （英语） Zbl 07505988号 Artif公司。智力。 307，文章ID 103685，39 p.（2022）. 摘要：查询不一致的知识库是一个有趣的问题，在过去的几年里，它在知识表示和推理领域引起了蓬勃的研究活动。它已经在描述逻辑（DLs）的背景下进行了广泛的研究，其计算复杂性也得到了很好的理解。尽管DL是建模本体的流行形式，但人们普遍认为，基于规则的本体非常适合于数据密集型应用程序，因为它们允许我们方便地处理标准关系数据库中自然出现的高完整性关系。这项工作的目标是在存在规则的主要可判定类的情况下，基于警戒性、线性、非循环性和粘性的概念，并以负面（也称为拒绝）约束为基础，对查询不一致知识库的复杂性进行深入分析。我们的研究集中在三个中心的不一致容忍语义：被认为是标准的ABox修复（AR）语义及其主要的声音近似、修复的交集（IAR）语义和闭合修复的交点（ICR）语义。 引用于三文件 MSC公司： 68泰克 人工智能 关键词：基于规则的本体;联合查询;不一致;语义学;问答;计算复杂性 软件：数据日志 PDF格式BibTeX公司 XML格式引用 \textit{T.Lukasiewicz}等人，Artif。智力。307，文章ID 103685，39 p.（2022；Zbl 07505988） 全文： 内政部 参考文献： [1] 马塞洛·阿里纳斯；Leopoldo E.贝尔托西。；Chomicki，J.，《不一致数据库中的一致查询答案》（PODS（1999）），68-79 [2] Catriel Beeri；Vardi，Moshe Y.，数据依赖的隐含问题，（ICALP（1981）），73-85·Zbl 0462.68022号 [3] Meghyn Bienvenu，《简单本体存在下一致查询应答的复杂性》（AAAI（2012）），第705-711页 [4] Bienvenu，Meghyn，本体论中介查询应答中的不一致处理：进展报告，（DL（2019）） [5] 梅亨·班文努（Meghyn Bienvenu）；Bourgaux，Camille，描述逻辑知识库的不一致容忍查询（Reasoning Web（2016）），156-202·Zbl 1358.68285号 [6] 梅亨·班文努（Meghyn Bienvenu）；卡米尔布尔高；Goasdué，François，在首选修复语义下查询不一致的描述逻辑知识库，（AAAI（2014）），996-1002 [7] 梅亨·班文努（Meghyn Bienvenu）；卡米尔布尔高；Goasdoué，François，在不一致dl-lite知识库上计算和解释查询答案，J.Artif。智力。研究，64，563-644（2019）·Zbl 1489.68267号 [8] 梅亨·班文努（Meghyn Bienvenu）；Rosati，Riccardo，用于基于本体的健壮数据访问的新不一致容忍语义，（DL（2013）），53-64 [9] 梅亨·班文努（Meghyn Bienvenu）；Rosati，Riccardo，用于基于本体的数据访问的一致查询应答的可追踪近似，（IJCAI（2013）），775-781 [10] 安德里亚·卡利；乔治·戈特洛布（Georg Gottlob）；迈克尔·基弗（Michael Kifer），《驯服无限追捕：表达关系约束下的查询应答》，J.Artif。智力。第4815-174号决议（2013年）·Zbl 1361.68221号 [11] 安德里亚·卡利；乔治·戈特洛布（Georg Gottlob）；Lukasiewicz，Thomas，《本体论上易于处理的查询应答的通用基于数据日志的框架》，J.Web Semant。，14, 57-83 (2012) [12] 安德里亚·卡利；乔治·戈特洛布（Georg Gottlob）；托马斯·卢卡西维奇（Thomas Lukasiewicz）；布鲁诺·马内特；Pieris，Andreas，Datalog+/-：新应用程序的逻辑知识表示和查询语言系列，（LICS（2010）），228-242 [13] 安德里亚·卡利；乔治·戈特洛布（Georg Gottlob）；Pieris，Andreas，走向更具表现力的本体论语言：查询-回答问题，Artif。智力。，193, 87-128 (2012) ·Zbl 1270.68293号 [14] 塞兰、伊斯梅尔·伊尔坎；托马斯·卢卡西维奇（Thomas Lukasiewicz）；恩里科·马利齐亚；Vaicenavičius，Andrius，存在规则下查询答案的解释，（IJCAI（2019）），1639-1646 [15] 塞兰、伊斯梅尔·伊尔坎；托马斯·卢卡西维奇（Thomas Lukasiewicz）；恩里科·马利齐亚；Vaicenavičius，Andrius，《描述逻辑中本体论中介查询应答的解释》（ECAI（2020）），672-679·Zbl 1464.68348号 [16] 乔米奇，简；Marcinkowski，Jerzy，使用元组删除的最小更改完整性维护，Inf.Compute。，197, 1-2, 90-121 (2005) ·Zbl 1075.68022号 [17] 丹钦、叶夫根尼；托马斯·艾特；乔治·戈特洛布（Georg Gottlob）；Andrei Voronkov，《逻辑编程的复杂性和表达能力》，ACM Compute。调查。，33, 3, 374-425 (2001) [18] 丹钦、叶夫根尼；Voronkov，Andrei，复杂值逻辑数据库中查询应答的复杂性，（LFCS（1997）），56-66 [19] 德国，阿林；阿兰·纳什（Alan Nash）；雷梅尔，杰弗里·B·，《追捕重访》（PODS（2008）），149-158 [20] 托马斯·艾特；托马斯·卢卡西维奇（Thomas Lukasiewicz）；Predoiu，Livia，存在规则下的广义一致查询应答，（KR（2016）），359-368 [21] 罗纳德·费金；Kolaitis，Phokion G。；勒内·米勒。；波帕，卢西恩，《数据交换：语义和查询应答》，提奥。计算。科学。，336, 1, 89-124 (2005) ·Zbl 1080.68019号 [22] 乔治·戈特洛布（Georg Gottlob）；Malizia，Enrico，《通过逻辑实现超图对偶问题的新上界》（CSL-LICS（2014）），第43页·Zbl 1395.68151号 [23] 格奥尔格·戈特洛布；马可·曼纳；Pieris，Andreas，《存在规则的多项式组合重写》，（KR（2014）），268-277 [24] 乔治·戈特洛布（Georg Gottlob）；乔治·奥尔西；Pieris，Andreas，《本体数据库的查询重写和优化》，ACM Trans。数据库系统。，39，3，第25条pp.（2014）·Zbl 1474.68103号 [25] Gianluigi Greco；恩里科·马利齐亚；路易吉·帕洛波利；Scarcello，Francesco，关于核心、内核和讨价还价集的复杂性，Artif。智力。，175, 12-13, 1877-1910 (2011) ·Zbl 1233.91018号 [26] Hemachandra，Lane A.，《强大的指数层次结构崩溃》，J.Compute。系统。科学。，39, 3, 299-322 (1989) ·Zbl 0693.03022号 [27] Johnson，David S.，《复杂性类目录》，（van Leeuwen，Jan，《理论计算机科学手册》（vol.A）（1990），Elsevier），67-161·Zbl 0900.68246号 [28] 多梅尼科·伦博；莫里齐奥·伦泽里尼（Maurizio Lenzerini）；里卡多·罗萨蒂；马可·鲁齐（Marco Ruzzi）；Savo，Domenico Fabio，描述逻辑的不一致容忍语义，（RR（2010）），103-117 [29] 多梅尼科·伦博；莫里齐奥·伦泽里尼（Maurizio Lenzerini）；里卡多·罗萨蒂；马可·鲁齐（Marco Ruzzi）；Domenico Fabio Savo，《不一致dl-lite本体的查询重写》（RR（2011）），155-169 [30] 多梅尼科·伦博；莫里齐奥·伦泽里尼（Maurizio Lenzerini）；里卡多·罗萨蒂；马可·鲁齐（Marco Ruzzi）；Domenico Fabio Savo，基于本体的数据访问中的不一致容忍查询应答，J.Web Semant。，33, 3-29 (2015) [31] 多梅尼科·伦博；Ruzzi，Marco，描述逻辑本体的一致查询应答，（RR（2007）），194-208 [32] 托马斯·卢卡塞维奇；Enrico Malizia，《论mCP-nets的复杂性》（AAAI（2016）），第558-564页 [33] 托马斯·卢卡西维奇（Thomas Lukasiewicz）；Enrico Malizia，《基于计数和比较的复杂性类（theta_k^P）的新刻画》，Theor。计算。科学。，694, 21-33 (2017) ·Zbl 1373.68231号 [34] 托马斯·卢卡西维奇（Thomas Lukasiewicz）；恩里科·马利齐亚；Molinaro，Cristian，Datalog+/-不一致条件下近似查询应答的复杂性，（IJCAI（2018）），1921-1927 [35] 托马斯·卢卡西维奇（Thomas Lukasiewicz）；恩里科·马利齐亚；莫里纳罗，克里斯蒂安，《存在规则下不一致容忍查询应答的解释》（AAAI（2020）），2909-2916 [36] 托马斯·卢卡塞维奇；恩里科·马利齐亚；Vaicenavicius，Andrius，基于基数的修复下Datalog+/-中不一致容错查询应答的复杂性，（AAAI（2019）），2962-2969 [37] 托马斯·卢卡西维奇（Thomas Lukasiewicz）；Martinez，Maria Vanina；安德烈亚斯·皮耶利斯；Simari，Gerardo I.，《存在规则下从经典到一致的查询应答》（AAAI（2015）），1546-1552 [38] 托马斯·卢卡西维奇（Thomas Lukasiewicz）；Martinez，Maria Vanina；Simari，Gerardo I.，《数据日志+/-本体论中的不一致处理》（ECAI（2012）），558-563·Zbl 1327.68280号 [39] 托马斯·卢卡西维奇（Thomas Lukasiewicz）；Martinez，Maria Vanina；Simari，Gerardo I.，线性数据日志+/-的不一致容忍查询重写，（数据日志2.0（2012）），123-134 [40] 托马斯·卢卡西维奇（Thomas Lukasiewicz）；Martinez，Maria Vanina；Simari，Gerardo I.，Datalog+/-中不一致容错查询应答的复杂性，（ODBASE（2013）），488-500 [41] Martinez，Maria Vanina；杰拉尔多·西马里（Gerardo I.Simari），《不确定性下的友好解释查询应答》（Reasoning Web（2019）），第65-103页 [42] Papadimitriou，Christos H.，计算复杂性（1994），Addison-Wesley·Zbl 0833.68049号 [43] 安东内拉·波吉；多梅尼科·伦博；迭戈·卡尔瓦内斯；朱塞佩·德贾科莫；莫里齐奥·伦泽里尼（Maurizio Lenzerini）；Rosati，Riccardo，将数据链接到本体论，J.data Semant。，10, 133-173 (2008) ·Zbl 1132.68061号 [44] Riccardo Rosati，《论处理描述逻辑本体论中不一致性的复杂性》（IJCAI（2011）），1057-1062 [45] 谢弗（Schaefer）、马库斯（Marcus），《图拉姆齐理论和多项式层次》（Graph Ramsey theory and the多项式层次），J.Compute。系统。科学。，62, 2, 290-322 (2001) ·Zbl 0986.05074号 [46] 乌韦Schöning；瓦格纳（Wagner）、克劳斯·W·（Klaus W.），《坍塌甲骨文层次结构、人口普查函数和对数多次查询》（STACS（1988）），第91-97页·Zbl 0648.68065号 [47] Vardi，Moshe Y.，关于有界变量查询的复杂性，（PODS（1995）），266-276 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。