In view of the limitation of DL OWL reasoning and expression ability,a reasoning method based on first order logic FOL is proposed,and the method is applied in the personalized E-Learning areas.The E-Learning domain ontology library was built to translate the OWL DL ontology into the FOL ontology,and the FOL to implement personalized matching rules was used for E-Leaning resources.Finally,the first order theorem is used for reasoning,and the result of the reasoning of the three first-order theorem is compared.Experimental results show that complex reasoning of OWL DL ontology through the FOL is feasible.The proposal achieves a good trade-off between expressive and reasoning.%针对OWL DL推理和表达能力的局限性,提出一种基于一阶逻辑FOL的推理方法,并将该方法应用到个性化E-Learning 领域.构建了 E-Learning 领域本体库,将OWL DL本体映射为FOL本体,并使用FOL制定E-Leaning资源的个性化匹配规则,最后使用一阶定理证明器进行推理,并比较了3种一阶定理证明器的推理结果.实验结果表明,通过FOL对OWL DL本体进行推理是可行的,能够使推理能力和表达能力达到完美平衡.
展开▼