基于一阶逻辑的个性化E - L e a r n i n g本体推理研究

doi:10.3696/j.issn.1672-6952.2016.01.014

辽宁石油化工大学学报 ›› 2016, Vol. 36 ›› Issue (1): 65-70.DOI: 10.3696/j.issn.1672-6952.2016.01.014

基于一阶逻辑的个性化E - L e a r n i n g本体推理研究

冯瑶1,冯锡炜1,黄越洋2

( 1. 辽宁石油化工大学计算机与通信工程学院,辽宁抚顺1 1 3 0 0 1;
2. 辽宁石油化工大学信息与控制工程学院,辽宁抚顺1 1 3 0 0 1)

收稿日期:2015-05-09 修回日期:2015-09-10 出版日期:2016-02-25 发布日期:2016-03-01
通讯作者: 冯锡炜( 1 9 7 0 - ) , 博士, 教授, 从事语义网、分布式计算与计算机网络技术方面的研究; E - m a i l : f e n g. x w@1 6 3. c o m。
作者简介:冯瑶( 1 9 8 2 - ) , 硕士, 助教, 从事人工智能和语义网方面的研究; E - m a i l : 3 2 1 3 8 3 8 3@q q. c o m。
基金资助:
辽宁省普通高等学校本科教育教学改革研究项目( UP R P 2 0 1 4 0 9 1 4) ; 辽宁省教育科学“ 十二五” 规划立项课题
( J G 1 3 D B 0 7 7) 。

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

Feng Yao¹, Feng Xiwei¹, Huang Yueyang²

1.School of Computer and Communication Engineering，Liaoning Shihua University，Fushun Liaoning 113001，China; 2.School of Information and Control Engineering，Liaoning Shihua University，Fushun Liaoning 113001,China

Received:2015-05-09 Revised:2015-09-10 Published:2016-02-25 Online:2016-03-01

摘要/Abstract

摘要： 针对 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本体

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

冯瑶,冯锡炜,黄越洋. 基于一阶逻辑的个性化E - L e a r n i n g本体推理研究[J]. 辽宁石油化工大学学报, 2016, 36(1): 65-70.

Feng Yao, Feng Xiwei, Huang Yueyang.

Research on Reasoning and Ontologies for Personalized E-Learning Based on First-Order Logic[J]. Journal of Liaoning Petrochemical University, 2016, 36(1): 65-70.

[1]	张瑾, 周雯丽, 王兴, 孔新刚. H₂O₂修饰层状钛酸的离子交换性能[J]. 辽宁石油化工大学学报, 2020, 40(3): 1-7.
[2]	黄惠阳, 曹祖斌, 韩冬云, 梁飞雪, 朱涛, 朱尧. 石油焦化学氧化法脱硫[J]. 辽宁石油化工大学学报, 2020, 40(3): 14-17.
[3]	陈宇,马贵阳. 障碍物形状对含硫天然气管道泄漏扩散影响的数值模拟[J]. 辽宁石油化工大学学报, 2017, 37(6): 19-24.
[4]	毛春峰,赵荣祥,李秀萍. CH₃CONH₂/ZnCl₂低共熔溶剂脱除模拟油中的硫化物[J]. 辽宁石油化工大学学报, 2017, 37(5): 1-7.
[5]	刘玉娟,许骥,佟宇飞. 氧化铈纳米材料合成方法的研究进展[J]. 辽宁石油化工大学学报, 2017, 37(5): 8-12.
[6]	刘金东,贺新,辛丁业. 四组分在渣油加氢体系前后的转变规律[J]. 辽宁石油化工大学学报, 2017, 37(5): 13-16.
[7]	富玉,李晓鸥,李鹤鸣,等. 超声沉降法强化脱除印尼油砂油中机械杂质[J]. 辽宁石油化工大学学报, 2017, 37(5): 17-21.
[8]	吴昊,马贵阳,项楠. 土体沉降对管道跨越结构水平管段应力场的影响分析[J]. 辽宁石油化工大学学报, 2017, 37(5): 22-25.
[9]	闫容菊,王卫强,李梓萌. 海洋立管系统严重段塞流研究进展[J]. 辽宁石油化工大学学报, 2017, 37(5): 26-30.
[10]	王龙. 地震重构反演在大庆长垣油田X开发区过渡带河道预测的应用[J]. 辽宁石油化工大学学报, 2017, 37(5): 31-37.
[11]	朱博敏. 萨中开发区高台子油层井网井距优化[J]. 辽宁石油化工大学学报, 2017, 37(5): 38-43.
[12]	马晶,金科君,梁羽丰. 海上油气田工程模式综合评价研究 [J]. 辽宁石油化工大学学报, 2017, 37(5): 44-48.
[13]	范登帅,高鹏,刘智慧. 螺栓法兰系统连接可靠性分析方法[J]. 辽宁石油化工大学学报, 2017, 37(5): 49-52.
[14]	吴志勇,刘洋,高阳. 绕管式换热器壳侧沸腾模拟时的时间松弛参数研究[J]. 辽宁石油化工大学学报, 2017, 37(5): 53-60.
[15]	高扬,韩云萍,潘振. 输气管网的静态仿真研究与系统设计[J]. 辽宁石油化工大学学报, 2017, 37(5): 61-66.

基于一阶逻辑的个性化E - L e a r n i n g本体推理研究

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics