Issue 5.18 (unique name assumption)

• From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
• Date: Sat, 11 Jan 2003 12:22:10 +0100
• To: www-webont-wg@w3.org
• Message-ID: <OF79856B37.95543A5F-ONC1256CAB.003E2165-C1256CAB.003E7972@agfa.be>

we had owl:oneOfDistinct and the other way would be
to use owl:AllDistint or owl:AllDifferent, but then
we got into the the RDF/XML limitation to use
rdf:parseType="Collection" for a subject list

a possible workaround could be to say

    <owl:AllDistinct>
      <owl:sameAs rdf:parseType="Collection">
        <owl:Thing rdf:about="premises001#a"/>
        <owl:Thing rdf:about="premises001#b"/>
        <owl:Thing rdf:about="premises001#c"/>
      </owl:sameAs>
    </owl:AllDistinct>


I haven't found any problem in testing it that way in

  http://www.w3.org/2002/03owlt/AllDistinct/premises001
=>
  http://www.w3.org/2002/03owlt/AllDistinct/conclusions001


-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Saturday, 11 January 2003 06:22:47 UTC