托马斯·卢卡西维奇;恩里科·马利齐亚;Martinez、Maria Vanina;克里斯蒂安·莫里纳罗;安德烈亚斯·皮耶利斯;杰拉尔多·西马里一世。 存在规则的不一致容忍查询应答。 (英语) Zbl 07505988号 Artif公司。智力。 307,文章ID 103685,39 p.(2022). 摘要:查询不一致的知识库是一个有趣的问题,在过去的几年里,它在知识表示和推理领域引起了蓬勃的研究活动。它已经在描述逻辑(DLs)的背景下进行了广泛的研究,其计算复杂性也得到了很好的理解。尽管DL是建模本体的流行形式主义,但人们普遍认为,基于规则的本体非常适合数据密集型应用,因为它们使我们能够方便地处理更高的arity关系,而这种关系自然出现在标准关系数据库中。这项工作的目标是在存在规则的主要可判定类的情况下,基于警戒性、线性、非循环性和粘性的概念,并以负面(也称为拒绝)约束为基础,对查询不一致知识库的复杂性进行深入分析。我们的研究集中在三个中心的不一致容忍语义:被认为是标准的ABox修复(AR)语义及其主要的声音近似、修复的交集(IAR)语义和闭合修复的交点(ICR)语义。 引用于三文件 MSC公司: 68泰克 人工智能 关键词:基于规则的本体;联合查询;不一致;语义学;问答;计算复杂性 软件:数据日志 PDF格式BibTeX公司 XML格式引用 \textit{T.Lukasiewicz}等人,Artif。智力。307,文章ID 103685,39 p.(2022;Zbl 07505988) 全文: 内政部 参考文献: [1] 马塞洛·阿里纳斯;利奥波多·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。智力。研究,48,115-174(2013)·兹比尔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] 塞兰、伊斯梅尔·伊尔坎;托马斯·卢卡塞维奇;恩里科·马利齐亚;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);Voronkov,Andrei,《逻辑编程的复杂性和表达能力》,ACM Comput。调查。,33, 3, 374-425 (2001) [18] 丹钦、叶夫根尼;Voronkov,Andrei,复杂值逻辑数据库中查询应答的复杂性,(LFCS(1997)),56-66 [19] 德国,阿林;阿兰·纳什(Alan Nash);杰弗里·雷梅尔(Jeffrey B.Remmel),《再次追捕》(The chase reviewed)(PODS(2008)),149-158 [20] 托马斯·艾特;托马斯·卢卡西维奇(Thomas Lukasiewicz);Predoiu,Livia,存在规则下的广义一致查询应答,(KR(2016)),359-368 [21] 罗纳德·费金;Kolaitis,Phokion G。;勒内·米勒。;波帕,卢西恩,《数据交换:语义和查询应答》,提奥。计算。科学。,336,189-124(2005年)·Zbl 1080.68019号 [22] 乔治·戈特洛布(Georg Gottlob);Malizia,Enrico,《通过逻辑实现超图对偶问题的新上界》(CSL-LICS(2014)),第43页·Zbl 1395.68151号 [23] 乔治·戈特洛布(Georg Gottlob);马可·曼纳;Pieris,Andreas,《存在规则的多项式组合重写》,(KR(2014)),268-277 [24] 乔治·戈特洛布(Georg Gottlob);乔治·奥尔西;Pieris,Andreas,《本体数据库的查询重写和优化》,ACM Trans。数据库系统。,39,3,第25条pp.(2014)·Zbl 1474.68103号 [25] Gianluigi Greco;恩里科·马利齐亚;路易吉·帕洛波利;弗朗西斯科·斯卡切罗,《论核心、核心和讨价还价集的复杂性》,阿蒂夫。智力。,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;Simari,Gerardo I.,不确定性下的解释友好型查询回答,(推理网络(2019)),65-103 [42] Papadimitriou,Christos H.,计算复杂性(1994),Addison-Wesley·Zbl 0833.68049号 [43] 安东内拉·波吉;多梅尼科·伦博;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼(Maurizio Lenzerini);罗萨蒂,里卡多,《将数据链接到本体论》,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] 舍宁,乌韦;瓦格纳(Wagner)、克劳斯·W·(Klaus W.),《坍塌甲骨文层次结构、人口普查函数和对数多次查询》(STACS(1988)),第91-97页·Zbl 0648.68065号 [47] Vardi,Moshe Y.,关于有界变量查询的复杂性,(PODS(1995)),266-276 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。