The thesis achieves next results:Firstly, this paper introduces the Description Logic ALCR+, the epistemic description logic ALCK and the conjunctive query in the Description Logic.

• 本文的工作主要围绕以下几个方面展开:论文首先介绍了描述逻辑ALCR+,认知描述逻辑ALCK以及在描述逻辑中的合取查询。