描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例.%On the basis of classical description logic ALC, description logic ALCRP(D) is constructed by adding concrete domain and role-forming predicate operator. It can deal with deterministic spatial reasoning, but it can not deal with fuzzy spatial reasoning. By taking the fuzzy extension of ALCRP(D) as an example, this paper constructs fuzzy description logic Fuzzy-ALCRP (D), gives the Tableau decision algorithm of Fuzzy-ALCRP (D), and provides a reasoning example of Fuzzy-ALCRP (D) in fuzzy RCC8 space.
展开▼