简单的锻炼与锻炼

Question

我发现这些练习有解决方案，但我不明白 这个解决方案你能解释一下Simple Entailment来理解这个例子： http://cgi.csc.liv.ac.uk/~valli/Comp318/PDF/Entailment.pdf

给出RDF图G（用Turtle表示）：

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

以下图表是否由G简单引用？解释答案

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

简单蕴涵扣除规则：

se1：

    u a x   .
    ---------
    u a _:n .

se2：

    u a x   .
    ---------
    _:n a x .

以下是解决方案：

将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