-
题名基于描述逻辑的空间推理研究
被引量：3
- 1
-
-
作者
刘亚彬
陈岗
-
机构
上海财经大学信息系
-
出处
《计算机科学》
CSCD
北大核心
2004年第8期110-112,共3页
-
基金
国家自然科学基金(空间推理和空间知识表示研究及应用69883003)
国家863高科技项目基金(农业专家系统开发平台863-306-ZB05-01-2)
吉林大学符号计算与知识工程国家教育部开放实验室基金的资助.
-
文摘
本文讨论了具体域的可用性,首先介绍了 ALC(D)描述的具体域 D,然后定义了适用于由点、线和区域共同组成的具体域 DP,扩展了描述逻辑 ALC(D),指出适用于空间推理的描述逻辑能通过术语推理将定性信息和定量信息结合起来,以用于定性空间推理。
-
关键词
具体域
描述逻辑
ALC
dlsr
空间推理
知识库KB
-
Keywords
Concrete domain
Description logic
ALC(D)
dlsr(dp)
Spatial reasoning
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名适用于空间推理的DLSR(DP)描述逻辑
- 2
-
-
作者
刘亚彬
陈岗
-
机构
上海财经大学信息系
-
出处
《计算机科学》
CSCD
北大核心
2004年第7期188-191,共4页
-
基金
国家自然科学基金(空间推理和空间知识表示研究及应用69883003)
国家836高科技项目基金(农业专家系统开发平台836-306-ZB05-01-2)
吉林大学符号计算与知识工程国家教育部开放实验室基金
-
文摘
本文扩展了描述逻辑ALC(D)并提出了空间推理的描述逻辑DLSR(DP),在利用描述逻辑进行空间推理时,通过术语推理把定性信息和定量信息相结合。
-
关键词
空间推理
描述逻辑
ALC
dlsr
-
Keywords
Concrete domain, Description logic, ALC(D), dlsr(dp), Spatial reasoning
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
