OWL 2 EL是OWL 2一个易处理的子集。近年来,EL因其充分的表达能力以及较低的计算复杂度,越来越受到科研人员和工业界的重视。本体推理技术在多项EL应用中都起到了非常重要的作用,特别是本体推理中的分类任务,即计算本体中概念之间的层次包含关系,更是EL本体推理技术的核心。在现有的针对EL的推理机和推理算法中,串行推理机CEL在处理较大规模本体时表现不佳；基于Java并发技术的ELK推理机受限于单台机器内存容量;基于MapReduce模型的并行推理算法则因为大量的冗余计算以及具体计算框架的I/O开销而效率低下。为了克服以上推理机和推理算法的缺点,本文提出了一种基于Pregel模型的方法来做EL并行推理,具体分为如下几点内容：(1)提出了将一个EL本体转为有向标定图的方法,并证明了一个EL本体与其对应的图表示在语义上的等价性。提出了基于图的EL本体推理基本算法,并证明了该算法在多项式时间内终止,且算法是正确和完备的。(2)在EL本体的图表示以及基于图的EL本体推理基本算法的基础上,提出了两个基于Pregel模型的并行推理算法来完成EL本体上的分类任务,并证明了两个并行推理算法的终止性、正确性和完备性。其中一个算法采用了请求-应答方法,另一个算法采用了推送方法。请求-应答方法和推送方法都可以有效地解决顶点上边信息不足问题。(3)实现了本文提出的两个并行推理算法,并在大规模本体上进行了实验。实验结果表明本文提出的两个并行推理算法有较高的推理效率和良好的加速比。还通过实验讨论了影响推理时间的因素。