Re: RDF Compatibility (Re: Homework for 17 Apr telecon)

Sandro Hawke wrote:
>   - if a b-node occurs in just the antecendent, or in both the
>     antecedent and the consequent, it's probably the same as a
>     universally quantified variable.  
Why?

Francois

Received on Tuesday, 17 April 2007 16:03:38 UTC