20、利用FiRE在语义网中存储和查询模糊知识

利用FiRE在语义网中存储和查询模糊知识

1. 模糊描述逻辑f - SHIN基础

模糊描述逻辑f - SHIN是DL SHIN的模糊扩展。它的字母表包含概念名（C）、角色名（R）和个体名（I），还有一组用于构建概念和角色描述的构造器。若R是一个角色，那么R⁻也是一个角色，即R的逆角色。f - SHIN概念的归纳定义如下：
1. 若C ∈ C，则C是一个f - SHIN概念。
2. 若C和D是概念，R是角色，S是简单角色，n ∈ N，那么(¬C)、(C ⊔ D)、(C ⊓ D)、(∀R.C)、(∃R.C)、(≥nS)和(≤nS)也是f - SHIN概念。

与清晰描述逻辑不同，模糊描述逻辑的语义由模糊解释提供。模糊解释是一个对I = ⟨ΔI, ·I⟩，其中ΔI是一个非空对象集，·I是一个模糊解释函数，它将个体名a映射到aI ∈ ΔI的元素，将概念名A（角色名R）映射到隶属函数AI : ΔI → [0, 1]（RI : ΔI × ΔI → [0, 1]）。

FiRE使用标准模糊运算符：模糊否定（c）为1 - x（x是程度），模糊并（u）为max(x, y)，模糊交（t）为min(x, y)，模糊蕴含（J）为max(1 - x, y)。例如，若d1是对象o对集合AI的隶属度，d2是对BI的隶属度，那么o对(A ⊓ B)I的隶属度为min(d1, d2)，对(A ⊔ B)I的隶属度为max(d1, d2)。完整的语义见表1。

构造器	语法	语义