- From: Frank Manola <fmanola@mitre.org>
- Date: Wed, 19 Sep 2001 13:12:37 -0400
- To: Dan Connolly <connolly@w3.org>
- CC: Brian McBride <bwm@hplb.hpl.hp.com>, rdf core <w3c-rdfcore-wg@w3.org>
Agreed. In particular, the test case adds some important information beyond the literal wording of the motion I proposed. Consider the motion amended to say something like "to resolve issue rdfs-no-cycles-in-subClassOf by allowing cycles of subClassOf properties, with the meaning of a cycle of subClassOf properties being an assertion that the classes involved have the same members." --Frank Dan Connolly wrote: > > [this isn't about the action list, so I changed the subject] > > Frank Manola wrote: > > > > Here's a proposal (or motion) wording: "to resolve issue > > rdfs-no-cycles-in-subClassOf by allowing cycles of subClassOf > > properties". [If someone wants to further wordsmith that they are > > welcome to.] > > I'd like test cases to be part of the decision record. > Hmm... I thought we had some, but the ones I'm > thinking of are for domain/range. > > I suppose I can cook one up... > > Here's the gist of it: > > ======== > @prefix u: <http://www.w3.org/2000/01/rdf-schema#>. > @prefix : > <http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subClassOf/test001#>. > > :A u:subClassOf :B. > :B u:subClassOf :A. > > :X u:subClassOf :X. # tautology > ======== > > Formally, it's in RDF/xml and RDF/ntriples: > > http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subClassOf/test001.rdf > http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subClassOf/test001.nt > > For fun, here it is in KIF: > [see http://www.w3.org/2000/10/swap/rdfx2kif.py] > > (prefix-kludge "u" "http://www.w3.org/2000/01/rdf-schema#") > (prefix-kludge "" > "http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subClassOf/test001#") > (and > (u:subClassOf :A :B ) > (u:subClassOf :B :A ) > (u:subClassOf :X :X ) > ) > > > Given that I need to leave early, it would help if we > > could get to this during the first half of the hour (hopefully Sergey > > will be online as well). > > -- > Dan Connolly, W3C http://www.w3.org/People/Connolly/ -- Frank Manola The MITRE Corporation 202 Burlington Road, MS A345 Bedford, MA 01730-1420 mailto:fmanola@mitre.org voice: 781-271-8147 FAX: 781-271-8752
Received on Wednesday, 19 September 2001 13:13:09 UTC