Semantic Web, provenance


{ ?x a RegisteredAttendee.
  ?x :homepage ?p.
  ?p log:semantics ?F.
  ?F log:includes { ?x a :Vegetarian }.
} 
=>
{ ?x a :Vegetarian }. 

If an attendee's homepage says they are a vegetarian, then they are a vegetarian.