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

摘要：

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

关键词：具体域、描述逻辑、ALC(D)、DLSR(DP)、空间推理

所属期刊栏目：31

分类号：TP3;TP1

资助基金：国家自然科学基金69883003;国家高技术研究发展计划863计划863-306-ZB05-01-2;教育部重点实验室基金

在线出版日期：2004-09-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：110-112