Spatial Topology Relationships Concrete Domain and Consistency Determination

摘要：

At the present time, the research of qualitative spatial relationships primary base on first-order predicate logic, but its shortcoming becomes obvious. Description logic is a formal knowledge representation language, and it has strong expression and reasoning ability. This paper band the description logic together with the qualitative spatial topology relationship representation and reasoning. Also, it gives the description of qualitative spatial topology relationships concrete domain, the topology relationship aggregation, and an algorithm of consistency determination.

关键词： Description logic Concrete domain Qualitative spatial topology relationships Qualitative spatial reasoning

作者: Ping Guo Rui-xia Zhang

作者单位: School of Computer Science Chongqing University Chongqing, China

会议类型: 国际会议

会议名称: 2009 WASE International Conference on Information Engineering(2009年国际信息工程会议)(ICIE 2009)

会议地点: 太原

会议语种:英文

页码: 611-614

在线出版日期: 2009-07-10（万方平台首次上网日期，不代表论文的发表时间）