Rdf 带练习的简单蕴涵

我发现这些练习都有解决办法，但我不明白 这个解决方案。你能给我解释一下理解这个例子的简单蕴涵吗

给定RDF图G（用海龟表示）：

下面的图是由G所包含的简单图吗？解释答案

    :u rdfs:domain _:m .
    :w :a :x .

简单蕴涵推导规则：

se1：

se2：

解决方案如下：

通过将se1应用于三元组

  :u rdfs:domain _:n .

我们得到以下图表：

   :u rdfs:subClassOf :v .
   :u rdfs:domain _:n .
   :w rdf:type owl:class .
   :w :a :x .
   :u rdfs:domain _:m .

因此，图S

  :u rdfs:domain _:m .
  :w :a :x .

---

是G所蕴涵的，因为S⊆ G

您能否澄清您对解决方案的不理解之处？实际上只有一个步骤，即，将se1应用于三重

：u rdfs:domain\uu:n

，以获得

：u rdfs:domain\um

。你能澄清什么是没有意义的吗？w和u之间有什么联系？我们如何将se1应用于三重：u rdfs:domain 1:n。？为什么我们会得到一个图（：u rdfs:subassof:v.：u rdfs:domain∶n.：w rdf:type owl:class.：w:a:x.：u rdfs:domain∶m。）对于我来说，这里至少有两个不同的图：一个用于“：u”，一个用于“：w”？它们不是

：w

和

：u

，这将是绝对虹膜（因为

：

前缀已经定义）。这些是空白节点，充当存在变量。您可能会发现另一个StackOverflow问题，在这里很有用。知道

\uuo:foo

是一个空白节点可能会使那些se1和se2规则更清晰。Se1说，只要你有一个三元组

主谓宾语

，你就可以推断出

主谓空白节点

，因为空白节点是存在变量，就像说“存在一个

x

这样的

主谓x

。这个三元组：p:name:昵称：p:name\un.意思是：每个人”：p他有个绰号。所以我可以说每个人至少有一个“p”。但是如果有一个人，他没有名字，那么你就不能说：“：p:name u:n.”，所以这个图不能简单地包含在内。这是真的吗？

  :u rdfs:domain _:n .

   :u rdfs:subClassOf :v .
   :u rdfs:domain _:n .
   :w rdf:type owl:class .
   :w :a :x .
   :u rdfs:domain _:m .

  :u rdfs:domain _:m .
  :w :a :x .