- 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