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