W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > September 2001

rdfs-no-cycles-in-subClassOf [was: Current Action List ...]

From: Dan Connolly <connolly@w3.org>
Date: Wed, 19 Sep 2001 13:32:12 -0400
Message-ID: <3BA8D69C.D962F96B@w3.org>
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 :

:A u:subClassOf :B.
:B u:subClassOf :A.

:X u:subClassOf :X. # tautology

Formally, it's in RDF/xml and RDF/ntriples:


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 ""
     (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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:04 UTC