Issue rdfs-no-cycles-in-subClassOf

Michel,

On 14th June 2000, in:

   http://lists.w3.org/Archives/Public/www-rdf-comments/2000AprJun/0045.html

you raised an issue against RDF Schema suggesting that the restriction that 
cycles in subClassOf relationship are not allowed, should be removed.

On 21st September 2001

   http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Sep/0326.html

the RDFCore WG decided:

   To resolve issue rdfs-no-cycles-in-subClassOf by deleting the
   restriction prohibiting cycles of subClassOf properties. The
   meaning of a cycle of subClassOf properties being an assertion
   that the classes involved have the same members. A more formal
   specification of the meaning will be given in the model theory.

Please can you reply indicating whether this change is a satisfactory resolution 
of your objection.

You might also note that the WG also decided to allow cycles in subPropertyOf 
relations as well, at the subsequenct teleconference on 28th September.

Brian McBride
RDFCore co-chair

Received on Wednesday, 10 October 2001 12:03:04 UTC