CWM - RDF logic processor


@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix : <#> .

this log:forAll <#p> .

{  <#p> a daml:TransitiveProperty . }

 log:implies

{
    { <#a> <#p> <#b>.
      <#b> <#p> <#c>. }

  log:implies

    { <#a> <#p> <#c>. }.
  this log:forAll <#a> , <#b> , <#c>.
} .


<#ancestor> a daml:TransitiveProperty .
<#billy> <#ancestor> <#pa> .
<#pa> <#ancestor> <#grandpa> .