ontology - 个人可以连接到 Protege 上具有对象属性的类吗？

Question

个人(实例)有什么方法可以连接到具有对象属性的类吗？例如，在这种情况下，个人是模块名称:Web Programming。对象属性:isClassified。类:网络。

我曾尝试将 Web 编程定义为类，它起作用了，因为域和范围都是类。如果我将 Web Programming 和 Network 都定义为个人，也是如此，它会起作用。如果域是一个类并且范围是单独的，它仍然有效。但是，如果域是个人的，范围是类的呢？有什么方法可以将它与对象属性 isClassifiedIn 联系起来吗？

Answer 1

Protégé 是 OWL 2 DL 编辑器(从版本 4 开始)。在 OWL 2 DL 中，个体不能是类，并且对象属性必须仅将个体与个体相关联。所以你想要的东西不能用你制定它的方式来表达。但是，您可以做两件事:

1. 使用注释属性而不是对象属性。这可能并不理想，因为 OWL DL 推理器必须在推理过程中忽略注释属性。它们就是:注释，类似于编程代码中的注释。
2. 将个人与另一个与类(class)同名的个人联系起来。让我详细介绍一下。

在OWL 2 DL中，虽然个体不可能是类，但是个体名同时是类名是可能的。例如，可以说(用 Turtle 语法):

ex:Module  a  owl:Class .
ex:Network  a  owl:Class, owl:Thing .
ex:isClassified  a  owl:ObjectProperty .
ex:webProgramming  a  ex:Module;
    ex:isClassified  ex:Network .

注意这里的ex:webProgramming与类无关。它与 owl:Thing 类型的个体相关。这个人先验地与名为 ex:Network 的类无关，尽管它具有相同的名称。这在 OWL 2 规范中称为“双关语”。

还有第三种方法:改变你的知识模型，这样你就不会遇到这个问题。我不知道您的本体论，但它可能暗示您应该避免的反模式。