基于范畴论的形式化地理本体对齐和集成研究

        摘　要：　本体对齐可解决本体间的异构，而范畴论可屏蔽本体间的异构性并为本体集成提供统一的方法框架。将范畴论引入本体对齐研究领域中，在范畴论的基础上，结合地理本体特征，对态射进行了重新定义，构造了一个更复杂的范畴。其中范畴中的对象为地理本体，而态射不仅能表达相等关系，也可以描述地理本体间的多种语义关系。在态射定义的基础上，根据态射的特性定义了本体对齐和本体对齐的复合，最后对本体集成进行了阐述。