Abstract: 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.

Key words: Ontology, Reasoning rules,  OWL, First-order logic,  E-Learning ontology

摘要： 针对 OWLD L推理和表达能力的局限性, 提出一种基于一阶逻辑F OL的推理方法, 并将该方法应用
到个性化E - L e a r n i n g领域。构建了E - L e a r n i n g领域本体库, 将 OWLD L本体映射为F OL本体, 并使用F OL制定
E - L e a n i n g资源的个性化匹配规则, 最后使用一阶定理证明器进行推理, 并比较了3种一阶定理证明器的推理结果。
实验结果表明, 通过F OL对 OWLD L本体进行推理是可行的, 能够使推理能力和表达能力达到完美平衡。

关键词: 本体,  , 推理规则, OWL,  , 一阶逻辑, E - L e a r n i n g本体