摘要： 本文讨论了具体域的可用性，首先介绍了ALC(D)描述的具体域D，然后定义了适用于由点、线和区域共同组成的具体域DP，扩展了描述逻辑ALC(D)，指出适用于空间推理的描述逻辑能通过术语推理将定性信息和定量信息结合起来，以用于定性空间推理。

关键词: 具体域 描述逻辑 ALC DLSR 空间推理 知识库KB