【发布时间】：2019-06-05 17:29:55
【问题描述】：
我很难理解 DL 中的这句话：
∃R.∃S.C(a)
这个命题到底是什么意思？ 提前致谢！
【问题讨论】：
标签： ontology description-logic
【发布时间】：2019-06-05 17:29:55
【问题描述】：
这意味着名为a的个体属于概念∃R.∃S.C。概念 ∃R.∃S.C 表示与某事物有关系 R 的事物类别与 C 表示的类中的某物有关系 S。例如，如果 R 是关系 married to，S 是关系 works for，C 是 Public organisations 的类，那么 ∃R.∃S.C 代表与为公共组织工作的某物（或某人）结婚的所有实体。那么 ∃R.∃S.C(a) 表示个人名为a em> 就是这样一个实体。
【讨论】：