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

• 作者: 冯瑶 冯锡炜 黄越洋
• 来源期刊: 辽宁石油化工大学学报
• 学科: 工学
• 关键词: 本体 推理规则 OWL 一阶逻辑 E-Learning本体
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 计算机与自动化
• 页码范围: 65-70
• 页数: 6页
• 分类号: TP391
• 字数: 3795字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6952.2016.01.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯锡炜	辽宁石油化工大学计算机与通信工程学院	35	236	9.0	13.0
2	黄越洋	辽宁石油化工大学信息与控制工程学院	22	55	4.0	6.0
3	冯瑶	辽宁石油化工大学计算机与通信工程学院	8	37	3.0	5.0