×
马可·卡洛蒂；塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；伊琳娜·特鲁比西纳

存在规则下基于偏好的不一致容错查询应答。 （英语） Zbl 07613154号

Artif公司。智力。 312，文章ID 103772，37 p.（2022）.
总结：本体论中介的问答（OMQA）作为一种范例出现，它使用对背景知识进行编码的本体来增强数据源的查询。在涉及来自多个数据源的大量数据的应用程序中，很可能会出现不一致的情况，这使得标准查询回答毫无用处，因为所有内容都包含不一致的知识库。因此，能够在存在不一致的情况下提供有意义的查询答案是使OMQA系统在实践中取得成功的关键问题。多年来，查询不一致知识的问题引起了人们的极大兴趣。提出了不同的查询应答不一致容忍语义，即尽管现有知识不一致，但仍能以有意义的方式回答查询。文献中的大多数语义都基于修理也就是说，数据库的“最大”一致子集。一般来说，可以进行多次修复，因此表达其中的偏好通常是自然的，也是可取的。在本文中，我们提出了一个在用户偏好下查询存在规则语言的不一致知识库的框架。具体来说，我们介绍优先权规则，一种声明性形式主义，使用户能够表达（i）对数据库和可通过本体从中导出的知识的偏好，以及（ii）保持偏好的前提条件。然后我们定义了两个概念首选维修其中考虑了优惠规则。这自然导致我们引入了流行的不一致容忍语义的优先感知对等项，其中查询应答只考虑优先修复。我们为广泛的存在规则语言提供了对数据的彻底分析，并结合了不同相关问题的复杂性。

引用于1文件

MSC公司：

68泰克 人工智能

关键词：

偏爱；不一致；存在规则

软件：

CP网络
PDF格式BibTeX公司 XML格式引用
\textit{M.Calautti}等人，Artif。智力。312，文章ID 103772，37 p.（2022；Zbl 07613154）
全文： 内政部 链接

参考文献：

[1] 阿格拉瓦尔，R。；Rantzau，R。；Terzi，E.，上下文敏感排名（Proc.SIGMOD（2006）），383-394
[2] 艾伦，T.E。；戈德史密斯，J。；正义，H.E。；马泰，N。；Raines，K.，《cp-nets的均匀随机生成和优势测试》，J.Artif。智力。决议，59，771-813（2017）·Zbl 1418.68186号
[3] 阿雷纳斯，M。；贝尔托西，L.E。；Chomicki，J.，《不一致数据库中的一致查询答案》（Proc.PODS（1999）），68-79
[4] Aucher，G。；埃格里，P。；克恩·伊斯伯纳，G。；Poggiolesi，F.，《条件逻辑和条件推理：新的联合观点》（Dagstuhl Seminar 19032），Dagstuhel Rep.，9，47-66（2019）
[5] Bienvenu，M.，《简单本体存在下一致查询应答的复杂性》（Proc.AAAI（2012）），第705-711页
[6] Bienvenu，M.，《Ontology-mediated query answering：利用知识从数据中获取更多信息》（IJCAI Proc.（2016）），4058-4061
[7] Bienvenu，M。；Bourgaux，C.，描述逻辑知识库的不一致容忍查询（Reasoning Web（2016）），156-202·Zbl 1358.68285号
[8] Bienvenu，M。；Bourgaux，C.，《查询和修复不一致的优先知识库：复杂性分析和与抽象论证的联系》（Proc.KR（2020）），141-151
[9] Bienvenu，M。；Bourgaux，C。；Goasdoué，F.，在首选修复语义下查询不一致描述逻辑知识库，（Proc.AAAI（2014）），996-1002
[10] Bienvenu，M。；布尔高，C。；Goasdoué，F.，在不一致的DL-Lite知识库上计算和解释查询答案，J.Artif。智力。研究，64，563-644（2019）·Zbl 1489.68267号
[11] Bienvenu，M。；Rosati，R.，《稳健本体论数据访问中一致查询应答的可追踪近似法》（Proc.IJCAI（2013）），775-781
[12] Boutiler，C。；R.I.布拉夫曼。；Domshlak，C。；胡斯，H.H。；Poole，D.，《Cp-nets:用条件对等偏好语句表示和推理的工具》，J.Artif。智力。Res.，21135-191（2004年）·Zbl 1080.68685号
[13] R.I.布拉夫曼。；Domshlak，C.，《偏好处理——入门教程》，AI Mag.，30，58-86（2009）
[14] Brewka，G。；尼美拉，I。；Truszczynski，M.，《答案集优化》（Proc.IJCAI（2003）），867-872
[15] Calautti，M。；Greco，S。；莫里纳罗，C。；Trubitsyna，I.，存在规则下基于偏好的不一致容错查询应答，（Proc.KR（2020）），203-212
[16] 卡尔？，A。；Gottlob，G。；Kifer，M.，《驯服无限追逐：表达关系约束下的查询应答》，J.Artif。智力。研究，48，115-174（2013）·Zbl 1361.68221号
[17] 卡尔？，A。；Gottlob，G。；Lukasiewicz，T.，基于数据日志的通用框架，用于在本体上进行易处理的查询应答，J.Web Semant。，14, 57-83 (2012)
[18] 卡尔？，A。；Gottlob，G。；Pieris，A.，走向更具表现力的本体论语言：查询-回答问题，Artif。智力。，193, 87-128 (2012) ·Zbl 1270.68293号
[19] Caroprese，L。；Greco，S。；Zumpano，E.，数据库一致性维护的主动完整性约束，IEEE Trans。知识。数据工程，211042-1058（2009）
[20] 伊利诺伊州塞兰。；卢卡塞维奇，T。；Malizia，E。；莫里纳罗，C。；Vaicenavicius，A.，《存在规则下否定查询答案的解释》（Proc.KR（2020）），223-232
[21] 伊利诺伊州塞兰。；卢卡塞维奇，T。；Malizia，E。；莫里纳罗，C。；Vaicenavicius，A.，存在规则下本体论中介查询的首选解释（Proc.AAAI（2021）），6262-6270
[22] 伊利诺伊州塞兰。；卢卡塞维奇，T。；Malizia，E。；Vaicenavicius，A.，《存在规则下的查询答案解释》（IJCAI（2019），1639-1646年）
[23] 伊利诺伊州塞兰。；卢卡塞维奇，T。；Malizia，E。；Vaicenavicius，A.，《描述逻辑中本体论中介查询应答的解释》（Proc.ECAI，vol.325（2020）），672-679·Zbl 1464.68348号
[24] 伊利诺伊州塞兰。；卢卡塞维奇，T。；Peñaloza，R.，《在存在偏好的情况下回答EL查询》（Proc.DL（2015））
[25] 伊利诺伊州塞兰。；卢卡塞维奇，T。；佩尼亚洛萨，R。；Tifrea-Marciuska，O.，《偏好排名下的本体论中的问答》（Proc.IJCAI（2017）），943-949
[26] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，ACM计算。调查。，33, 374-425 (2001)
[27] Dantsin，E。；Voronkov，A.，具有复杂值的逻辑数据库中查询回答的复杂性，（计算机科学逻辑基础（1997）），56-66
[28] 多尼尼，F.M。；Lenzerini，M。；Nardi，D。；Schaerf，A.，《概念语言中的演绎：从包含到实例检查》，J.Log。计算。，4, 423-452 (1994) ·Zbl 0809.68109号
[29] 埃格雷，P。；Rott，H.，《条件逻辑》（Zalta，E.N.，《斯坦福大学哲学百科全书》（2021），斯坦福大学形而上学研究实验室）
[30] 艾特，T。；卢卡塞维奇，T。；Predoiu，L.，存在规则下的广义一致查询应答，（Proc.KR（2016）），359-368
[31] 费金，R。；Kimelfeld，B。；Kolaitis，P.G.，《首选修复复杂性的二分法》（Proc.PODS（2015）），3-15
[32] 费金，R。；Kolaitis，P.G。；米勒，R.J。；Popa，L.，《数据交换：语义和查询应答》，Theor。计算。科学。，336, 89-124 (2005) ·Zbl 1080.68019号
[33] Fazzinga，B。；卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I。；Tifrea-Marciuska，O.，在数据日志+/-中多值组偏好下的本体论查询回答，国际期刊近似原因。，93, 354-371 (2018) ·Zbl 1452.68190号
[34] 戈德史密斯，J。；朗·J。；Truszczynski，M。；Wilson，N.，《cp-net中支配性和一致性的计算复杂性》，J.Artif。智力。决议，33，403-432（2008）·Zbl 1182.68089号
[35] Gottlob，G。；南科他州Kikot。；康查科夫，R。；波多尔斯基，V。；Schwentick，T。；Zakharyaschev，M.，基于本体的数据访问中查询重写的代价，人工制品。智力。，213, 42-59 (2014) ·Zbl 1390.68246号
[36] Gottlob，G。；Malizia，E.，通过逻辑实现超图对偶问题的新上界，SIAM J.Compute。，47556-492（2018）·Zbl 1506.68037号
[37] Greco，S。；Trubitsyna，I。；Zumpano，E.，《关于带有偏好的逻辑程序的语义》，J.Artif。智力。研究，30，501-523（2007）·兹比尔1182.68109
[38] Hemachandra，L.A.，《强大的指数层次结构崩溃》，J.Compute。系统。科学。，39, 299-322 (1989) ·Zbl 0693.03022号
[39] Kimelfeld，B。；Livshits，E。；Peterfreund，L.，《检测优先数据库修复中的模糊性》（Proc.ICDT（2017）），17:1-17:20·Zbl 1402.68050号
[40] 伦博，D。；Lenzerini，M。；罗萨蒂，R。；Ruzzi，M。；Savo，D.F.，描述逻辑的不一致容忍语义，（Proc.RR（2010）），103-117
[41] 伦博，D。；Lenzerini，M。；罗萨蒂，R。；Ruzzi，M。；Savo，D.F.，《不一致dl-lite本体的查询重写》（Proc.RR（2011）），155-169
[42] 伦博，D。；Lenzerini，M。；罗萨蒂，R。；鲁齐，M。；Savo，D.F.，基于本体的数据访问中的不一致容忍查询应答，J.Web Semant。，33, 3-29 (2015)
[43] 伦博，D。；Ruzzi，M.，描述逻辑本体的一致查询应答，（Proc.RR（2007）），194-208
[44] Livshits，E。；Kimelfeld，B.，《计算和枚举（首选）数据库修复》（Proc.PODS（2017）），289-301
[45] Lopatenko，A。；Bertossi，L.E.，基于基数和增量修复语义下数据库中一致查询应答的复杂性，（Proc.ICDT（2007）），179-193
[46] 卢卡塞维奇，T。；Malizia，E.，（m）cp-nets偏好聚合的复杂性结果：Pareto和多数投票，Artif。智力。，272, 101-142 (2019) ·Zbl 1478.68387号
[47] 卢卡塞维奇，T。；Malizia，E.，（m）cp-nets上偏好聚合的复杂性结果：最大值和秩投票，Artif。智力。，303，第103636条pp.（2022）·Zbl 07482895号
[48] 卢卡塞维奇，T。；Malizia，E。；马丁内斯，M.V。；莫里纳罗，C。；Pieris，A。；Simari，G.I.，存在规则的不一致容忍查询应答，Artif。智力。，307，第103685条，第（2022）页·Zbl 07505988号
[49] 卢卡塞维奇，T。；Malizia，E。；Molinaro，C.，《数据日志+/-不一致条件下近似查询应答的复杂性》（Proc.IJCAI（2018）），1921-1927
[50] 卢卡塞维奇，T。；Malizia，大肠杆菌。；Molinaro，C.，《存在规则下不一致容忍查询应答的解释》（Proc.AAAI（2020）），2909-2916
[51] 卢卡塞维奇，T。；Malizia，E。；Molinaro，C.，《不一致容忍语义下否定查询答案的解释》（IJCAI（2022）），2705-2711
[52] 卢卡塞维奇，T。；Malizia，E。；Vaicenavičius，A.，基于基数的修复下Datalog+/-中不一致容错查询应答的复杂性（Proc.AAAI（2019）），2962-2969
[53] 卢卡塞维奇，T。；马丁内斯，M.V。；Pieris，A。；Simari，G.I.，《存在规则下从经典到一致的查询应答》（Proc.AAAI（2015）），1546-1552
[54] 卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I.，《数据日志+/-本体论中的不一致性处理》（Proc.ECAI（2012）），558-563·Zbl 1327.68280号
[55] 卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I.，《线性数据日志+/-的不一致容忍查询重写》（Proc.Datalog 2.0（2012）），123-134
[56] 卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I.，《数据日志+/-中不一致容错查询应答的复杂性》（Proc.OTM（2013）），488-500
[57] 卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I.，《数据日志+/-本体论中基于偏好的查询应答》（Proc.IJCAI（2013）），1017-1023
[58] 卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I。；Tifrea-Marciuska，O.，《数据日志+/-本体中查询应答的组首选项》（Proc.SUM（2013）），360-373
[59] 卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I。；Tifrea-Marciuska，O.，基于Ontology的查询与组首选项应答，ACM Trans。互联网技术。，2014年4月14日，25:1-25:24
[60] 卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I。；Tifrea-Marciuska，O.，《概率数据日志+/-本体论中基于偏好的查询应答》，J.Data Semant。，4, 81-101 (2015)
[61] 诺亚·T·D。；卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I。；Tifrea-Marciuska，O.，《将存在规则与cp-theories的力量结合起来》，（《国际会计准则汇编》（2015）），2918-2925
[62] Rosati，R.，《论处理描述逻辑本体中不一致性的复杂性》（Proc.IJCAI（2011）），1057-1062
[63] 坂间，C。；Inoue，K.，《优先逻辑编程及其在常识推理中的应用》，Artif。智力。，123, 185-222 (2000) ·Zbl 0952.68020号
[64] 美国施宁。；Wagner，K.W.，《坍塌甲骨文层次结构、人口普查函数和对数多次查询》（STACS（1988）），第91-97页·Zbl 0648.68065号
[65] 斯塔奥维，S。；乔米奇，J。；Marcinkowski，J.，关系数据库中的优先修复和一致查询回答，Ann.Math。Artif公司。智力。，64, 209-246 (2012) ·Zbl 1250.68099号
[66] 斯特凡尼迪斯，K。；皮图拉，E。；Vassiliadis，P.，管理上下文偏好，信息系统。，36, 1158-1180 (2011)
[67] Tsamoura，E。；Carral，D。；Malizia，E。；Urbani，J.，《通过触发图将知识库物化》，Proc。荷兰VLDB。，14, 943-956 (2021)
[68] Vardi，M.Y.，关系查询语言的复杂性（扩展抽象），（Proc.STOC（1982）），137-146
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。