空间网络间的空间关系的表示和推理  

Representation and Reasoning of the Spatial Relations of the Spatial Networks

作　　者：郝忠孝[1,2] 李松[1] 

机构地区：[1]哈尔滨理工大学计算机科学与技术学院,哈尔滨150080 [2]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001

出　　处：《计算机学报》2010年第12期2248-2257,共10页Chinese Journal of Computers

基　　金：国家自然科学基金(60673136);黑龙江省自然科学基金(F200601)资助~~

摘　　要：空间网络间的空间关系的表示和推理在空间数据库领域具有重要的意义.为了对复杂的空间网络间的空间关系进行定义和区分,首先提出了空间网络间的空间关系的谓词表示和交集模型表示方法,给出了空间网络间的空间关系模型的特征条件式和蕴涵条件式,进一步给出了空间网络间的空间关系的划分定理和推论;系统研究了空间网络间的空间关系的推理方法,针对空间网络间的空间关系推理特点,提出了推理相斥规则和推理蕴涵规则.研究成果为空间网络间的空间关系在空间数据库中的应用奠定了基础,极大地增强了空间数据库处理复杂对象的空间关系的能力.Representation and reasoning of the spatial network relations are of great significance in the spatial database.To define and distinguish the complex spatial network relations,the representation of the predication and the intersection model for the spatial network relations are studied systemically.The characteristic-condition-formulas and the implication-condition-formulas are also presented,furthermore,the theorem and the corollary to distinguish the spatial network relations are given.The methods of the reasoning for the spatial network relations are studied systemically.According to the characteristics of the spatial network reasoning,the reasoning excluded rules and the implication rules are presented in detail.The production in this paper lay the foundation for the applications and research of the spatial network relations in the spatial database and improve the ability of the spatial database greatly.

关 键 词：空间网络 空间关系 交集模型 谓词表示 空间推理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]