基于隶属度比较的描述逻辑SHOIQ模糊扩展  

A fuzzy extension for SHOIQ based on comparisons between degrees of membership

作　　者：康达周[1] 徐宝文[1,2] 李言辉[1] 

机构地区：[1]南京大学计算机科学与技术系,南京210093 [2]江苏省软件质量研究所,南京210096

出　　处：《中国科学：信息科学》2013年第5期571-583,共13页Scientia Sinica(Informationis)

基　　金：国家自然科学基金重大研究计划项目(批准号:90818027);国家自然科学基金重大研究计划重点项目(批准号:60633010);国家博士后科学基金项目(批准号:20090461085)资助

摘　　要：语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.The current fuzzy extensions for description logics do not support representing and reasoning with complex fuzzy knowledge about comparisons between degrees of membership,which is very useful in practical applications.We investigate a novel approach of extending the description logic SHOIQ to SHOIQFC by annotating concepts and roles based on comparison expressions.SHOIQFC provides the ability to represent complex fuzzy knowledge,in addition to the expressive power of the fuzzy description logic FSHOIQ.The main contributions are a decidability proof for the consistency problem of SHOIQFC knowledge bases,as well as its tableau-based reasoning algorithm.

关 键 词：模糊描述逻辑 隶属度 比较 知识表示 推理算法 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]