基于一阶逻辑的个性化E-Learning本体推理研究

Research on Reasoning and Ontologies for Personalized E-Learning Based on First-Order Logic

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

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.