论文部分内容阅读
描述逻辑是语义Web的逻辑基础，是形式化表达领域知识的工具。但是描述逻辑只能表达单调推理，不能处理不完全知识。认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势。本文在认知描述逻辑ALCK的基础上提出了新的认知描述逻辑语言ALCKR＋，保留了描述逻辑原有的优点，加入传递角色属性，增强了表达能力，并通过认知查询拥有了非单调推理的能力。设计了ALCKR＋的语法、语义以及表算法。