MT Error? from Brian McBride on 2002-11-11 (w3c-rdfcore-wg@w3.org from November 2002)

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Mon, 11 Nov 2002 18:28:23 +0000
To: RDF Core <w3c-rdfcore-wg@w3.org>
Message-Id: <5.1.0.14.0.20021111182334.035861f8@0-mail-1.hpl.hp.com>

Ok, usual caveats about lack of expertise.

I'm concerned about the definition of an instance of graph and the instance 
lemma.

The definition of instance of seems to say that

<ex:a> <ex:b> _:xxx .
_:xxx  <ex:isDistinctFrom> _:xxx

is an instance of:

<ex:a> <ex:b> _:xxx .
<ex:a> <ex:b> _:yyy .
_:xxx <ex:isDistinctFrom> _:yyy .

I'm not sure webont would like the latter entailing the former.

Brian

Received on Monday, 11 November 2002 13:26:51 UTC