Extending RDF: Example


{ ?x con:parent [ con:sister ?y ] } =>  { ?x con:aunt ?y }.

or longer,

@forAll :x, :y.
  {  @forSome :p.
    :x con:parent :p.
    :p con:sister :y.
   }
         log:implies
   { :x con:aunt :z }.