在语义Web环境下,单一和分散的知识库会引发数据的冗余和不一致性,且严重影响知识库智能化查询,降低知识库中数据的重用性和可操作性.文中提出一种基于范畴论的多TBox整合方法来整合知识库,旨在解决上述者类问题.此方法具有高度抽象性和强大表达能力的范畴论是多知识库整合的理想工具.将TBox作为操作对象,范畴论中"态射"功能可实现TBox的映射,"外推"功能可实现TBox的整合,最后通过实验验证方法的可行性和有效性,实验结果基本符合要求.%In the context of semantic Web, single and dispersed knowledge bases will cause data redundancy and inconsistencies, seriously affect knowledge base intelligent query and reduce data reusing and operability. A method of multiple TBox integration based on category theory is proposed to integrate knowledge bases. Category theory with high abstraction and strong power in expressing is a perfect tool for multiple knowledge bases integration. Taken the TBox as object, the concept of “morphism” achieves TBox mapping and “pushout” achieves TBox integration, at last, the feasibility and effectiveness of the method are verified by experiment, the results basically meet the requirement.
展开▼
