Turtle语法中OWL公理的含义？

Question

我有海龟声明：

:Parent rdf:type owl:Class ;

    owl:equivalentClass ;
        rdf:type owl:Class ;
        owl: unionOf (
                [   rdf:type owl:Restriction ;
                    owl:onProperty :fatherOf ;
                    owl:someValuesFrom :Person
                ]
                [   rdf:type owl:Restriction ;
                    owl:onProperty :motherOf ;
                    owl:someValuesFrom :Person
                ]
        }
    ].

有人可以在此声明中向我解释一下 Parent 的概念吗？有没有可能一个人在没有父母的情况下成为一个人的母亲或父亲？

Answer 1

有人可以向我解释一下 Parent 的概念吗？ 声明。

请注意，Turtle 只是 RDF 的一种序列化格式。在 RDF 中，:Parent 是一个 IRI（我们需要知道前缀 : 代表什么，才能确切知道它是什么)，并且它是至少一个 RDF 三元组的主题：

:Parent rdf:type owl:Class .

您展示的“Turtle”sn-p 实际上不是合法的 Turtle。如果您查看括号，您会发现它们不匹配，并且其中还有一个 }，它在 Turtle 文档中没有位置。然后是一部分

:Parent rdf:type owl:Class ;

    owl:equivalentClass ;

这也不对。 Turtle 语法允许您缩写两个三元组

:A :p :B .
:A :q :C .

作为

:A :p :B ;
   :q :C .

但在您的 sn-p 中，owl:equivalentClass 之后缺少一个对象。有关此语法的更多信息，请参阅Meaning of SPARQL operator ';'。

不过，根据其余的内容，我猜您正在尝试查看 OWL 公理：

    父母 ≡ ∃ fatherOf.Person ⊔ ∃ motherOf.Person

也可以用曼彻斯特语法写成

    父等效类（(fatherOf some Person) 或 (motherOf some Person)）

最后一个表示可能更清楚公理是什么。表达式 (fatherOf some Person) 是通过属性 fatherOf 与某个 Person 相关的所有个体的类，即所有个体那是某个人的父亲。类似地，(motherOf some Person) 是属于某个人的母亲的个体类别。如果你把这些结合起来，那么你就有了所有个体的类，这些个体是某个人的父亲或某个人的母亲。整个公理说该类等价于类Parent。也就是说，Parent 类正是某个人的父亲或母亲的个体类。

一个人也有可能成为一个孩子的母亲或父亲吗？ 没有父母的人？

没有。如果一个人是一个人的父亲（母亲），那么他们是 (fatherOf some Person) ((motherOf some Person)) 的成员，因此是一个((fatherOf some Person) 或 (motherOf some Person)) 的成员，并且由于该类等价于 Parent，因此该个人是 Parent 的成员。