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

摘要：

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

关键词：描述逻辑、认知描述逻辑、传递角色、认知查询

所属期刊栏目：35

分类号：TP3;V47

资助基金：湖南省自然科学基金06JJ50142;新世纪优秀人才支持计划NCET-05-0683

在线出版日期：2008-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：185-187