形式概念分析作为形式化的数学方法，对于一个给定的形式背景，为数据分析提供有效的工具。在形式概念分析中，对于一个给定形式背景，存在属性探测算法来计算属性蕴含集的基。但是，在这篇文章中，考虑的形式概念不仅仅是经典形式概念分析中简单的对象的集合和属性集合组成二元组。希望形式概念是由更为复杂的表达式。因此把描述逻辑中所有概念（简称描述概念）的集合当作属性的集合，把域当作是对象的集合，而一个描述背景就是一个二元关系。在这个设置下，可以找到一个蕴含的集合，也就是描述逻辑中概念包含公理组成的集合。本文目的是用形式概念分析中基存在的证明结果，在最大不动点模型下，可以在描述逻辑系统中找到一个有穷基，使得描述逻辑中的蕴含都可以由这个有穷基中的蕴含导出。本文重点考虑的是描述逻辑系统，它是由两个构造子交与全称量词组成。 第一章：前言，介绍与本文相关的研究历史和现状。 第二章：本章介绍了形式概念分析中的形式背景和形式概念这两个最基本的概念。并在形式背景中给出了蕴含这个概念，对于形式背景中所有有效的蕴含组成的集合，一定存在完备的、非冗余的集合，这个集合可以推出形式背景中所有有效的蕴含。证明了这个集合的存在，称这个集合为基，或简称为属性蕴含的主基。 第三章：本章介绍了描述逻辑系统的设置，系统地给出了其语法，语义。并证明了对于循环的术语集，当关于术语集的基本解释固定，那么关于术语集的最大不动点模型是唯一的。且对于最大不动点模型，定理给出了循环的术语集中的概念的可满足的算法。 第四章：本章主要是把形式概念分析应用到描述逻辑，设置了描述逻辑的描述背景，在描述背景下定义的属性蕴含。而对于描述背景的属性蕴含集，重新定义的有穷基，而且证明描述背景中的蕴含集的有穷基的存在性，并给出有效的算法来找出这个有穷基。 第五章：总结与展望，总结本文并指出了今后的研究方向。