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

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

From: Frank Manola <fmanola@mitre.org>
Date: Wed, 19 Sep 2001 13:12:37 -0400
Message-ID: <3BA8D205.694EA4BC@mitre.org>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:39:47 EDT