基于范畴论的形式化本体研究

本体技术是语义web的核心。现有的本体方法都是基于集合论的，本文从范畴论的层次分析了集合论数学的局限性，以及这种局限性对现有本体方法的影响，并探讨基于范畴论的本体方法，通过实例系统说明了范畴论本体的构建方法，并指出范畴论本体所克服的现有本体的不足。