arXiv:2505.08916v1 公告类型：交叉 摘要：生物医学本体包含大量的涉及负知识的概念或角色名称，如 lacks_part、absence_of。这种使用标签而不是逻辑构造器的表示方式不允许推理器将 lacks_part 解释为 has_part 的一种否定形式。已知将否定引入可处理的描述逻辑（DL）EL，允许合取、存在限制和概念包含，会使其变得不可处理，因为获得的逻辑隐含地包含了析取和普遍限制，这些与其它构造器相互作用。在本文中，我们提出了一种新的 EL 扩展，允许表示负知识的同时保持可处理性。为此，我们引入了描述逻辑 SH（包括 EL、析取、否定、普遍限制、角色包含和传递角色）所有逻辑构造器的范畴语义。逻辑构造器的范畴语义通常描述为涉及多个对象的一组范畴性质，而不使用集合成员关系。为了恢复可处理性，我们需要通过识别导致不可处理的独立范畴性质并删除它们来削弱析取和普遍限制的语义。我们证明，削弱语义后得到的逻辑比 EL（包含底部概念、传递角色和角色包含）更为表达力强。