摘要
为了实现地理本体之间的语义集成,提出了基于范畴论的方法。将地理本体抽象成为范畴对象,对象之间的"态射"描述地理本体映射,"外推"描述地理本体合并,设计了基于范畴论的地理本体语义合并算法,该算法即包含了同义概念的合并,也包含了对语义不同部分的整合,且保持层次结构不变。作为一种形式化结构的"外推",它确保了合并后的结果是完整的、惟一的和最小的。以两个不同分类标准建立的河流本体为例,阐述了地理本体语义合并方法,并对实验结果进行了分析。
To realize the semantic integration between geo-ontology,a category theory method is proposed in which the geo-ontology is viewed as abstracted objects of category.The morphism between them describes the ontology mapping,and pushout describes the ontology merging.The category-theory ontology merging method is designed,which merges semantically similar,including different concepts and keeps the original structure unchanged.As a formal stucture of pushout,the method ensures that the results after merging is complete,unique and minimal.With the river ontologies in the hydrology of different calssifcation as an example,the method of ontology semantic merging is expounded and the experimental results are analyzed.
出处
《计算机工程与设计》
CSCD
北大核心
2010年第16期3732-3735,共4页
Computer Engineering and Design
基金
国家自然科学基金项目(40871178)
国家863高技术研究发展计划基金项目(2008AA121601
2007AA12Z241
2007AA12Z219)
四川省教育厅青年基金项目(07ZB045)
关键词
地理本体
语义
范畴论
外推
集成
geo-ontology
semantic
category theory
pushout
integration