Re: Building on RDF

Drew McDermott wrote:
[...]
> As RDF stands, the obvious way of representing (if p q)
> has the drawback that we could infer p and q from (if p q) alone,
> because RDF allows the inference of all the triples of a formula from
> any formula containing them.

I don't know why people keep saying that. It's just not so.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/