| 基于描述逻辑的空间推理研究 |
| |
| 引用本文： | 刘亚彬 陈岗. 基于描述逻辑的空间推理研究[J]. 计算机科学, 2004, 31(8): 110-112 |
| |
| 作者姓名： | 刘亚彬 陈岗 |
| |
| 作者单位： | 上海财经大学信息系,上海,200433;上海财经大学信息系,上海,200433 |
| |
| 基金项目： | 本文研究得到国家自然科学基金(空间推理和空间知识表示研究及应用69883003)、国家863高科技项目基金(农业专家系统开发平台863-306-ZB05-01-2)和吉林大学符号计算与知识工程国家教育部开放实验室基金的资助. |
| |
| 摘 要： | 本文讨论了具体域的可用性，首先介绍了ALC(D)描述的具体域D，然后定义了适用于由点、线和区域共同组成的具体域DP，扩展了描述逻辑ALC(D)，指出适用于空间推理的描述逻辑能通过术语推理将定性信息和定量信息结合起来，以用于定性空间推理。
|
| 关 键 词： | 具体域 描述逻辑 ALC(D) DLSR(DP) 空间推理 |
The Research of Spatial Reasoning in Description Logic |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
