地理本体空间特征的形式化表达机制研究

？针对owl语言表达地理本体的不足,提出借助于部分整体学、位置理论以及拓扑学这3个理论工具,构造出形式化的空间特征以及空间关系公理,加入到owl的建模原语当中,从而能够在owl构建的地理本体之中表达其空间特征。实验表明,这种本体的形式化表达机制是可行的,能够有效地表达地理本体的空间特征