10.3969/j.issn.2095-2783.2014.01.015
基于极性的非循环术语集调试
通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。
本体、术语集、不一致、极性
TP181(自动化基础理论)
国家自然科学基金资助项目61133011,60973089,61003101,61170092,61272208;高等学校博士学科点专项科研基金资助项目20100061110031;吉林省科技发展计划资助项目20101501,20100185,201101039;浙江师范大学计算机软件与理论省级重中之重学科开放基金资助项目ZSDZZZZXK12;浙江省自然科学基金资助项目Y1100191
2014-03-12(万方平台首次上网日期,不代表论文的发表时间)
共5页
76-80