摘要
针对 OWL语言表达地理本体的不足,提出借助于部分 整体学、位置理论以及拓扑学这 3 个理论工具,构造出形式化的空间特征以及空间关系公理,加入到OWL的建模原语当中,从而能够在 OWL构建的地理本体之中表达其空间特征。实验表明,这种本体的形式化表达机制是可行的,能够有效地表达地理本体的空间特征。
This paper proposes to construct some formal axioms about spatial properties and spatial relations with the help of three theoretical tools, mereology, location theory and topology, then adds these new axioms to the OWL axioms to build geographic ontology which can represent its spatial properties. The tests prove that the formal representation mechanism is feasible and can describe spatial properties of geographic ontology effectively.
出处
《武汉大学学报（信息科学版）》
EI
CSCD
北大核心
2005年第4期337-340,共4页
Geomatics and Information Science of Wuhan University
基金
国家自然科学基金资助项目(40071071)。
关键词
地理本体
空间特征
表达机制
geographic ontology
spatial properties
representation mechanism
