论文部分内容阅读
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 SHOIQ FC by annotating concepts and roles based on comparison expressions.SHOIQ FC 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 SHOIQ FC knowledge bases,as well as its tableau-based reasoning algorithm.
The current fuzzy extensions for description logics do not support 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 SHOIQ FC by annotating concepts and roles based on comparison expressions.SHOIQ FC 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 SHOIQ FC knowledge bases, as well as its tableau-based reasoning algorithm.