论文部分内容阅读
为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.
In order to realize the representation and reasoning of fuzzy ontology which contains complex fuzzy knowledge on semantic web, this paper proposes a fuzzy extension of description logic - fuzzy description logic (FCDLs) that supports comparative expressions.Formalization of grammar and semantics of FCDLs is given And defines the axioms and assertions in the FCDLs knowledge base.FCDLs combines fuzzy concepts in fuzzy description logic (FDLs) with cut-off concepts in Extended Fuzzy Description Logic (EFDLs) in the same theory and extends the cut-off concept to Compared with the concept of truncation, we can support the description of the comparative expressions between the fuzzy membership frequently used in practice, while the other description logic fuzzy expansion does not support the comparative expression.FCDLs has stronger expression than FDLs and EFDLs, Can represent complex fuzzy knowledge and complete reasoning tasks based on them, so FCDLs can realize the representation and reasoning of fuzzy ontology that contains complex fuzzy knowledge.