本论文采用基于接口的模块化本体(Interface-based modular ontologies),介绍了分布式推理系统的推理算法。本体通常用来描述某一研究领域,它定义了自身词汇构成的基础术语及这些术语之间的关系。本体推理用来推导那些包含在知识库中的知识以获得其中暗含的知识。论文主要研究:(1)分布式模块化本体推理的简化模型算法设计,包括了术语公理集和断言集推理的概念,否定概念,概念并,概念交,包含和关系推理算法,以及概念查询,否定概念查询,概念并查询,概念交查询和关系查询语句的查询算法;(2)分布式模块化本体推理的通用模型算法设计,包括了多使用者模型,多实现者模型,实现-使用者模型,通用模型的简单查询语句推理算法以及通用模型的复杂查询语句推理算法;(3)分布式模块化本体推理系统,包括了服务端子系统和多个本地子系统的系统功能,系统架构和功能实现。系统支持三种不同的用户类型,包括本体模块和接口提供者,本体创建者以及本体查询者使用分布式模块化本体推理系统的信息管理,分布式模块化本体创建和用户查询处理功能;(4)分布式模块化本体推理的查询语句推理样例,和使用整体本体推理来评估分布式模块化本体推理的用例研究和实验。本论文中,我们设计的分布式模块化本体推理算法为分布式本体推理提供了一种方式。我们也设计和实现了分布式模块化本体推理系统,它可以让用户有效和实用地推理基于分布式本体的模块化本体。