- From: Dan Connolly <connolly@w3.org>
- Date: Wed, 19 Sep 2001 13:32:12 -0400
- To: fmanola@mitre.org
- CC: Brian McBride <bwm@hplb.hpl.hp.com>, rdf core <w3c-rdfcore-wg@w3.org>
[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/
Received on Wednesday, 19 September 2001 12:33:24 UTC