近年来，描述逻辑由于其强大的表达能力和良好的计算性质，在知识工程领域受到广泛关注。但是，描述逻辑适用于表达静态信息，难以表示在许多领域都有应用前景的时态信息。因此，我们有必要对描述逻辑进行时态扩充。而使用具体领域(concrete domain)方法可使得我们方便地处理时态信息，因此我们设计了时间具体领域，扩充到描述逻辑语言ALC中，从而提出新语言ALC(T)。 本文中，我们首先介绍了ALC(T)的语法和语义解释，然后在此基础上介绍了ALC(T)可提供的推理服务，并提出时间具体领域的一致性检测算法和ALC(T)概念的可满足性判定算法，并对其计算性质做出一定的分析。另外，我们对描述逻辑的DIG通信接口做出相应的修改，并设计了简易ALC(T)推理机以及DIG客户端，推理机内则实现了我们所提出的概念可满足性判定算法。最后，提出了今后的研究方向。 通过算法的可靠性分析和最后的实例演示，我们可得出结论ALC(T)同时具备了ALC的表达推理能力和一定的时态处理能力，基本达到了我们对描述逻辑时态扩充的目的。同时，我们在本文中所提出的扩充方法同样适用于其它领域如空间领域等，并且，时间具体领域的一致性算法也具有通用性，只要其它具体领域符合本文中所提出的admissable条件，也可使用该算法检测具体领域的一致性。因此，本文对于描述逻辑的其它领域的扩充也具有一定的指导意义。