基于极性的非循环术语集调试 |
| |
作者姓名: | 雷景佩 欧阳丹彤 叶育鑫 |
| |
作者单位: | 吉林大学计算机科学与技术学院; |
| |
基金项目: | 国家自然科学基金资助项目(61133011,60973089,61003101,61170092,61272208);高等学校博士学科点专项科研基金资助项目(20100061110031);吉林省科技发展计划资助项目(20101501,20100185,201101039);浙江师范大学计算机软件与理论省级重中之重学科开放基金资助项目(ZSDZZZZXK12);浙江省自然科学基金资助项目(Y1100191) |
| |
摘 要: | 通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。
|
关 键 词: | 本体 术语集 不一致 极性 |
本文献已被 CNKI 等数据库收录! |
|