一个对$mathcal{ALCH}$的可废弃扩展的连接方法
摘要：一种针对一种容错的描述逻辑(DL)家族的连接方法被提出，我们假设语言是扩展了两个典型性操作符的DL$\mathcal{ALCH}$：一个作用于（复合）概念，一个作用于角色名。这种语言是一种变体的可反驳DLs，在过去十年中广泛研究了其中的大部分内容，其中大多数可以嵌入其中。我们重新审视了知识库的矩阵表示的定义，并建立了一个给定公理可证明的条件。我们证明了这个推理过程是终止的，并且与在非单调推理中广泛采用的偏好语义的DL版本是声音和完备的。
作者：Renan Fernandes (1), Fred Freitas (1), Ivan Varzinczak (2, 3 and 4) and Pedro PM Farias (1 and 5) ((1) Centro de Inform''atica - Universidade Federal de Pernambuco, (2) LIASD - Universit''e Paris 8, (3) CAIR - University of Cape Town, (4) ISTI - CNR and (5) ARCE, Public Services Regulation Agency-CE)
论文ID：2306.09561
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-23