Handling inconsistency in partially preordered ontologies: the Elect method

Sihem Belabbes; Salem Benferhat; Jan Chomicki

doi:10.1093/logcom/exab024

第三条Dans Une Revue 逻辑与计算杂志 Anneée:2021年

处理部分预排序本体中的不一致性：Elect方法

(1),(2),(3)

1
2
三

Sihem Belabbes教堂

功能：奥特尔
人员ID:1061416
参考编号：119937824

圣德尼斯信息实验室

塞勒姆·本费哈特

功能：奥特尔
人员ID:868339
伊达尔：萨伦·本弗哈特
ORCID代码：0000-0002-4853-3637
参考编号：084578378

透镜信息中心

扬·乔米奇

功能：奥特尔

布法罗CSE

Résumé

摘要我们关注轻量级本体中处理不一致性的问题。我们假设术语知识库（TBox）在DL-Lite中指定，断言事实集（ABox）是部分预先排序的，并且可能与TBox不一致。本文的主要贡献之一是提供了一种高效、安全的方法，称为Elect，以恢复ABox与TBox的一致性。在断言基是平坦的（即没有优先级与ABox关联）或完全预先排序的情况下，我们证明了我们的方法分别与众所周知的交叉ABox修复语义和非失败语义崩溃。Elect方法的语义证明是通过将部分预序ABox视为一系列完全预序ABbox，然后对每个完全预序的ABox应用非失败推理来获得的。我们引入了选择断言的概念，它允许我们提供Elect方法的等效特征描述，而无需显式生成所有完全预先排序的ABoxe。我们表明，计算所选断言集是在与ABox大小相关的多项式时间内完成的。论文的第二部分讨论了如何超越Elect方法。特别是，我们讨论了Elect方法在多大程度上可以推广到比DL-Lite更具表达力的描述逻辑。

Mots clés公司

不一致描述逻辑本体论 ABox维修部分预先排序的知识库

与葡萄园

智能人工智能

菲奇尔校长

JLC2021.pdf（587.79 Ko）

原籍	菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

Sihem Belabbes教堂以下为：Connectez-vous浇注接触器le contributer

https://hal.science/hal-03698968

Soumis le：迪曼奇19 juin 2022-19:13:21

Dernière修改le:mercredi 6 mars 2024-14:06:00

日期和版本

哈尔-03698968，版本1 （2022年6月19日）

身份证明人

HAL Id： hal-03698968，版本1
内政部： 10.1093/log.com/exab024

Citer公司

Sihem Belabbes、Salem Benferhat、Jan Chomicki。处理部分预排序本体中的不一致性：Elect方法。逻辑与计算杂志2021年，31（5），第1356-1388页。⟨10.1093/logcom/exab024⟩.⟨哈尔-03698968⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

UNIV-ARTOIS公司 UNIV-PARIS8大学 CNRS公司 LIASD公司联合国大学-巴黎-卢森堡巴黎大学 CRIL公司

25 磋商

82 交易费用