- From: Dan Connolly <connolly@w3.org>
- Date: 02 Jan 2003 23:41:20 -0600
- To: Christopher Welty <welty@us.ibm.com>
- Cc: www-webont-wg@w3.org
On Thu, 2003-01-02 at 20:15, Christopher Welty wrote:
> Dan,
>
> I think what Mike meant was explain the LEGAL syntax. It will be no
> problem to describe what it *does*, you tell us how to say it.
I can't think of a nice looking syntax; that's why I'm
lukewarm on AllDifferent. But you can
see an example that has the right meaning in Jos's message...
As I said...
> It seems Jos already made the point in his message
> of Sat, 21 Dec 2002 20:56:12 +0100
>
> | I just don't see how rdf:parsetype="Collection"
> | could work in this case
his message continues...
=======
excerpt from Jos's message
http://lists.w3.org/Archives/Public/www-webont-wg/2002Dec/0273.html
I just don't see how rdf:parsetype="Collection"
could work in this case, but anyhow, e.g.
<owl:AllDistinct rdf:nodeID='A0'>
<rdf:first rdf:resource='premises001#a'/>
<rdf:rest rdf:nodeID='A1'/>
</owl:AllDistinct>
<owl:AllDistinct rdf:nodeID='A1'>
<rdf:first rdf:resource='premises001#b'/>
<rdf:rest rdf:nodeID='A2'/>
</owl:AllDistinct>
<owl:AllDistinct rdf:nodeID='A2'>
<rdf:first rdf:resource='premises001#c'/>
<rdf:rest rdf:resource
='http://www.w3.org/1999/02/22-rdf-syntax-ns#nil'/>
</owl:AllDistinct>
should entail
<rdf:Description rdf:about="premises001#a">
<owl:differentFrom rdf:resource="premises001#c"/>
</rdf:Description>
=======
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 3 January 2003 00:41:07 UTC