适用于空间推理的DLSR(DP)描述逻辑

本文扩展了描述逻辑ALC(D)并提出了空间推理的描述逻辑DLSR(DP),在利用描述逻辑进行空间推理时,通过术语推理把定性信息和定量信息相结合。

基于描述逻辑的空间推理研究

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