论文部分内容阅读
描述逻辑是语义Web的逻辑基础，它是形式化表达领域知识的一种工具．描述逻辑是一阶逻辑的可判定子集，适合对领域知识的概念术语进行建模．因为某些应用程序的需要和领域知识难以完全描述的因素，web上有大量的不完全知识．描述逻辑基于开放世界假设，只能表达单调推理，不能处理不完全知识．在描述逻辑中加入认知运算符K可以得到认知描述逻辑．认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势．在认知描述逻辑ALCK的基础上加入传递关系属性提出了新的认知描述逻辑语言ALCKR＋，保留了描述逻辑