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

CORC > 上海财经大学 > 上海财经大学

	基于描述逻辑的空间推理研究
	刘亚彬 ; 陈岗
刊名	计算机科学
	2004-08-25
期号	2004年08期页码:110-112
关键词	具体域描述逻辑 ALC(D) DLSR(DP) 空间推理
ISSN号	1002-137X
英文摘要	本文讨论了具体域的可用性,首先介绍了 ALC(D)描述的具体域 D,然后定义了适用于由点、线和区域共同组成的具体域 DP,扩展了描述逻辑 ALC(D),指出适用于空间推理的描述逻辑能通过术语推理将定性信息和定量信息结合起来,以用于定性空间推理。
URL标识	查看原文
语种	中文
内容类型	期刊论文
源URL	[http://10.2.47.112/handle/2XS4QKH4/26694]
专题	上海财经大学
作者单位	1.上海财经大学信息系 2.上海财经大学信息系上海 200433
推荐引用方式 GB/T 7714	刘亚彬,陈岗. 基于描述逻辑的空间推理研究[J]. 计算机科学,2004(2004年08期):110-112.
APA	刘亚彬,&陈岗.(2004).基于描述逻辑的空间推理研究.计算机科学(2004年08期),110-112.
MLA	刘亚彬,et al."基于描述逻辑的空间推理研究".计算机科学 .2004年08期(2004):110-112.