服务于本体逻辑理论的本体定义

摘要

本体概念过分模糊和庞大,不利于构建、共享和重用.该文从当前的研究和应用需求出发,给出一个强调论域的本体定义,是完善本体逻辑理论的基础.总结已有的研究成果,基于统一本体层次化和模块化的思想,提出子本体、原子本体以及本体的递归定义,为本体建立科学的分类体系和一致的逻辑理论打下了基础.