描述逻辑中存在量词的使用
Usage of Existential Quantifiers in Description Logic
我很难理解 DL 中的这个语句：
∃R.∃S.C(a)
这个命题到底是什么意思？
提前致谢！
这意味着名为a的个体属于概念∃R.∃S.C.概念∃R.∃S.C表示事物的class R 与 S 与 class 中由 C[ 表示的某物的关系 R =36=]。例如，如果 R 是关系 married to，S 是关系 works for 和 C 是Public organisations的class，则∃R.∃S.C 代表与为 public 组织工作的某物（或某人）结婚的所有实体。那么∃R.∃S.C(a ) 表示名为 a 的个体就是这样一个实体。
我很难理解 DL 中的这个语句：
∃R.∃S.C(a)
这个命题到底是什么意思？ 提前致谢！
这意味着名为a的个体属于概念∃R.∃S.C.概念∃R.∃S.C表示事物的class R 与 S 与 class 中由 C[ 表示的某物的关系 R =36=]。例如，如果 R 是关系 married to，S 是关系 works for 和 C 是Public organisations的class，则∃R.∃S.C 代表与为 public 组织工作的某物（或某人）结婚的所有实体。那么∃R.∃S.C(a ) 表示名为 a 的个体就是这样一个实体。