Horn Rules

{ ?car :color :blue.  
  ?car :owner ?who.  
  ?who :name ?name. }
log:implies
{ ?car :blueCarOwnerName ?name. }.

In my code: reified (flattened) so it fits in triples.