支持空间推理的模糊描述逻辑Fuzzy-ALCRP（D）

描述逻辑ALCRP（D）在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理。通过以描述逻辑ALCRP（D）的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP（D）,给出Fuzzy-ALCRP（D）的Tableau判定算法,并给出一个Fuzzy-ALCRP（D）在模糊RCC8空间中的推理实例。