NOT MT Error?

From: Brian McBride <bwm@hplb.hpl.hp.com> Date: Mon, 11 Nov 2002 18:36:02 +0000 Message-Id: <5.1.0.14.0.20021111183457.03573110@0-mail-1.hpl.hp.com> To: RDF Core <w3c-rdfcore-wg@w3.org> · This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:04 EDT

Nonsense.  I've got it the wrong way round.

Brian

At 18:28 11/11/2002 +0000, Brian McBride wrote:

>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