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

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 rdf:nodeID='A1'>
    <rdf:first rdf:resource='premises001#b'/>
    <rdf:rest rdf:nodeID='A2'/>
  <owl:AllDistinct rdf:nodeID='A2'>
    <rdf:first rdf:resource='premises001#c'/>
    <rdf:rest rdf:resource

should entail

    <rdf:Description rdf:about="premises001#a">
        <owl:differentFrom rdf:resource="premises001#c"/>

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 3 January 2003 00:41:07 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:50 UTC