Issue 5.18 (unique name assumption)

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