W3C home > Mailing lists > Public > www-webont-wg@w3.org > January 2003

RE: oneOfDistinct, a proposal for 5.18

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
Message-Id: <1041572480.19697.136.camel@dirk.dm93.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:56 GMT