论文部分内容阅读
语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.
The representation and application of semantic Web fuzzy knowledge often need to involve complex fuzzy knowledge descriptions involving multiple fuzzy membership values and their comparisons, but the existing description logic fuzzy extension lacks the ability to describe and use such complex fuzzy knowledge.This paper proposes a new It describes the logic SHOIQ fuzzy extended SHOIQFC language.SHOIQFC not only has the full expression ability of the fuzzy description logic FSHOIQ, but also supports the representation and reasoning of complex fuzzy knowledge which involves multi-membership values and their comparisons, and expands the scope of the application of fuzzy description of logic expansion. The decisiveness of the consistency problem of SHOIQFC knowledge base and the Tableau reasoning algorithm are given, which provides a theoretical basis for the representation and reasoning of complex fuzzy knowledge in semantic web.