10.3969/j.issn.1002-137X.2004.07.054
适用于空间推理的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