非分布式描述逻辑
摘要：基于FCA的形式化联系，我们定义了LE-ALC，这是描述逻辑ALC的一种推广，基于一般（即不一定是分配的）格模型的命题逻辑，并以关系结构进行语义解释。LE-ALC描述逻辑允许我们形式化描述以FCA中的Galois稳定对象集和特征集表示的对象、特征和形式概念的数据库。我们描述了LE-ALC中的ABoxes和TBoxes，并提供了一种用于检查带有无环TBoxes的LE-ALC知识库一致性的表述算法，并展示了其终止性、完备性和正确性。有趣的是，带有无环TBoxes的LE-ALC的一致性检查为PTIME，而经典ALC带有无环TBoxes的一致性检查的复杂性为PSPACE-完全。
作者：Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna B. Manoorkar, Alessandra Palmigiano, Mattia Panettiere
论文ID：2307.09561
分类：Logic
分类简称：math.LO
提交时间：2023-07-20