描述逻辑是语义web的逻辑基础,只能处理客观,完全的知识,对于主观,不完全的知识就无能为力了。认知描述逻辑ALCK通过认知运算符来表达认知查询可以对不完全信息进行有效的处理,而且保留了描述逻辑适合描述领域分类术语知识的优点。本文的工作主要围绕以下几个方面展开:论文首先介绍了描述逻辑ALCR_+,认知描述逻辑ALCK以及在描述逻辑中的合取查询。分别介绍了它们的语法,语义及查询推理所用的算法,以此作为研究的基础知识;其次,针对原有认知描述逻辑ALCK描述领域知识能力有限的问题,加入了传递性角色属性,提出了认知描述逻辑语言ALCKR_+。给出了它的语法,语义及推理的表算法。证明了表算法的可判定性和可靠性,分析了表算法推理时的时间复杂度;然后,针对认知描述逻辑ALCK中认知查询表达能力不足,加入了合取查询,提出了ALCK中的认知合取查询语言。给出了语法,语义及回答认知合取查询的算法。证明了判定算法的可判定性,可靠性和完备性,分析了查询算法的时间复杂度。最后,总结了本文所作的主要研究工作,指出了进一步研究的发展方向,也说明了本文对推动语义web的研究与发展有一定的意义。