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

摘要：

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

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

所属期刊栏目：31

分类号：TP3;TP1

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

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

页数：共4页

页码：188-191