认知描述逻辑ALCKR+:描述逻辑的一个非单调扩展

Epistemic Description Logic ALCKR+:A Non-monotonic Extension of Description Logic

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

Description logic is the logical foundation of semantic Web. It is the tool for formally expressing the domain knowledge. But description logic can only express the monotonic reasoning, it can not deal with the incomplete knowledge. The epistemic description logic has the advantage of dealing with the incomplete knowledge because of the nonmonotonic features and the good computational complexity. The paper presents a new epistemic description logic ALCKR＋ based on the epistemic description logic ALCK, preserves the primary advantage of the description logic, adds transitive role to improve the expressivity,expresses the non-monotonic reasoning ability through the epistemic query. This paper designs the syntax,semantic and the tableau algorithm for ALCKR＋.