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

作　　者：KANG DaZhou XU BaoWen LI YanHui 

机构地区：[1]Department of Computing Science and Technology,Nanjing University [2]Jiangsu Institute of Software Quality

出　　处：《Science China(Information Sciences)》2013年第8期162-172,共11页中国科学（信息科学）（英文版）

基　　金：supported by China Postdoctoral Science Foundation (Grant No. 20090461085);the National High-Technology Research and Development Program of China (Grant No. 2009AA01Z147);the National Natural Science Foundation of China (Grant Nos. 90818027,60633010)

摘　　要：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 practi- cal 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.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 practi- cal 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.

关 键 词：fuzzy description logic knowledge representation~ reasoning algorithm 

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