W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

MT Error?

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

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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:04 EDT