OWL中的基数限制

说

R正好是18c

意味着正好有18个个体x_i以及个体y_i，这样我们有R（x_i，y_i），所有y_i都在C中

我的问题是：x_i个体是否不同？换句话说，在每次解释中，它们是否一定会被分配到不同的领域元素

---

我知道有一个

owl:Different

构造，但是当我们说

R正好是18个C

时，它是假设的吗？还是每次我想要18个不同的个体时都必须声明它？

“意味着正好有18个个体x_I”->，这是错误的

R 18 C

是一个类表达式，描述了一组个体

x_i

，其中每个个体通过属性

R

与某个个体

y_j

具有

j=1，
18
具有18个关系，并且在OWL中每个
y_i
都属于
C
，没有唯一的名称，因此，你必须明确声明个体在语义上是不同的-我的意思是，是的，类表达式
R正好18 C
需要/假设18个不同的个体，因此必须明确地将这些个体考虑在推理中，例如，当有类似于
的公理时（R正好18 C）A的子类
owl:Different
->
owl:AllDifferent
你是说是的，我拼错了，我的意思是，
R中的每个x正好有18c
有18y，因此我们有R（x，y），问题是y是否不同。你说不，这正是我所怀疑的，但是我怎么能在没有明确命名的情况下表达出18 C中每个x的y_I是不同的呢？它们是不同的，这就是为什么只有在你的OWL本体中明确定义了它才有效