支持模糊隶属度比较的扩展模糊描述逻辑

语义web模糊知识的表示和应用常常涉及模糊隶属度比较,但现有描述逻辑的模糊扩展缺乏描述模糊隶属度比较的能力.提出支持模糊隶属度比较和描述逻辑alcn(attributiveconceptdescriptionlanguagewithcomplementsandnumberrestriction)概念构造子的扩展模糊描述逻辑fcalcn(fuzzycomparablealcn).fcalcn引入新的原子概念形式以支持模糊隶属度比较.给出fcalcn的推理算法,证明了在空tbox约束下fcalcn的推理问题复杂性是多项式空间完全的.fcalcn能够表达语义web上涉及模糊隶属度比较的复杂模糊知识并实现对它们的推理.