Rdf owl:someValue的正确用法？

如果我们想说每一个有书的东西都是读写能力，那么这是OWL本体中的正确表示吗

---

这似乎与您前面的问题有关。没有属性

owl:someValue

，因此，您显示的代码不是合法的owl类表达式。我假设您试图编写这个公理的OWL版本：

识字率≡ ∃has.Book（或者，用曼彻斯特语法：读写能力相当于（has一些Book））

这对我来说毫无意义，我想这可能是英语的问题；“识字”是“能够阅读”的状态；他们具备读写能力。谈论识字的概念，即识字的事物类别，更有意义。如果这就是你的意思，那么你可以写下公理

识字的≡ ∃has.Book（或者，在曼彻斯特语法中：Literate等价于（hassomeBook））

这是一条你可以写的公理，但看到它有点令人惊讶，因为它不是真的；有很多有文化的东西没有书，也有很多有书的东西没有文化。您可能对子类公理更感兴趣，例如

人员和SQQ子部分；∃他有鼻子

也就是说每个人都有鼻子。但是，说这样的话是不正确的

人≡ ∃他有鼻子

因为有些东西的鼻子不是人（比如狗）