Rdf 一个模型的不协调意味着什么？

不协调是一个我认为有意义的术语，但在看了一个具体的例子（如下）后，我对它的含义感到困惑

看看上面的例子，为什么Rocky是JudyGarland类型的电影所有者是不一致的？如果朱迪·加兰的电影与詹姆斯·迪恩的电影是不连贯的，我看不出有什么问题

我显然遗漏了一些东西/不太理解某个概念（尽管我对迄今为止所学的一切都非常自信）

---

请有人解释一下这个问题。

这是不一致的，因为洛奇是詹姆斯·迪恩的独家电影所有者：他拥有的每一部电影都有詹姆斯·迪恩

为了让他也成为朱迪·加兰电影的主人，洛奇必须至少拥有一部既有朱迪·加兰（算作朱迪·加兰电影）又有詹姆斯·迪恩（仍然算作詹姆斯·迪恩电影）的电影

---

然而，因为朱迪·加兰的电影和詹姆斯·迪恩的电影是不相交的，我们知道不存在这样的电影。因此，洛奇不可能同时拥有詹姆斯·迪恩和朱迪·加兰的独家电影，因此这种模式是不一致的。

这是不一致的，因为洛奇是詹姆斯·迪恩的独家电影所有者：他拥有的每部电影都有詹姆斯·迪恩

为了让他也成为朱迪·加兰电影的主人，洛奇必须至少拥有一部既有朱迪·加兰（算作朱迪·加兰电影）又有詹姆斯·迪恩（仍然算作詹姆斯·迪恩电影）的电影

---

然而，因为朱迪·加兰的电影和詹姆斯·迪恩的电影是不相交的，我们知道不存在这样的电影。因此，洛奇不可能既是詹姆斯·迪安的独家电影所有者，又是朱迪·加兰的电影所有者，所以模型不一致。

好吧，我看到洛奇是詹姆斯·迪安的专属类电影所有者，但模型的哪一部分说他只能拥有詹姆斯·迪安的电影？（我知道这听起来可能很愚蠢，但我真的在问。）我明白你的意思，但为什么洛奇不能把詹姆斯·迪恩的电影都看完，而拥有朱迪·加兰的电影呢？我想问的是，如果他是詹姆斯·迪恩电影公司的一员，那么他只拥有詹姆斯·迪恩的电影。谢谢你的回答，Jeen，我真的很感激：）因为课程

JamesDeanExclusive

并不意味着他们拥有所有的James Dean电影，而是意味着他们拥有的所有电影都是James Dean电影。这就是

∀ ownsMovie所有JamesDeanMovie的表达方式。换句话说，它说“对于每一部属于ownsMovie关系的电影，它必须认为它是一部James Dean电影”，顺便说一下，语法
ownsMovie all JamesDeanMovie
，这意味着在描述逻辑中是抽象语法∀
ownsMovie
JamesDeanMovie
，要么是一个应该现在编写的古老版本
ownsMovie*only*JamesDeanMovie
，要么是一个错误。我认为，从英语的角度来看，
property only Class
这个符号更清晰，因为只有詹姆斯·迪恩的电影才属于这个阶级。好吧，我看到洛奇是
JamesDeanExclusive
这个阶级的一员，但是模型的哪一部分说他只能拥有詹姆斯·迪恩的电影呢？（我知道这听起来可能很愚蠢，但我真的在问。）我明白你的意思，但为什么洛奇不能把詹姆斯·迪恩的电影都看完，而拥有朱迪·加兰的电影呢？我想问的是，如果他是詹姆斯·迪恩电影公司的一员，那么他只拥有詹姆斯·迪恩的电影。谢谢你的回答，Jeen，我真的很感激：）因为课程
JamesDeanExclusive
并不意味着他们拥有所有的James Dean电影，而是意味着他们拥有的所有电影都是James Dean电影。这就是
∀ ownsMovie所有JamesDeanMovie的表达方式。换句话说，它说“对于每一部属于ownsMovie关系的电影，它必须认为它是一部James Dean电影”，顺便说一下，语法
ownsMovie all JamesDeanMovie
，这意味着在描述逻辑中是抽象语法∀
ownsMovie
JamesDeanMovie
，要么是一个应该现在编写的古老版本
ownsMovie*only*JamesDeanMovie
，要么是一个错误。我认为，从英语的角度来看，表示法
仅属性类
更为清晰，因为只有詹姆斯·迪恩（James Dean）的电影才属于这一类。