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

摘要：

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

关键词：本体、推理规则、OWL、一阶逻辑、E-Learning本体

所属期刊栏目：36

分类号：TP391(计算技术、计算机技术)

资助基金：辽宁省普通高等学校本科教育教学改革研究项目UPRP20140914;辽宁省教育科学"十二五"规划立项课题JG13DB077

在线出版日期：2016-04-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：65-70