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

Re: Current Action List for RDFCore Working Group

From: Pat Hayes <phayes@ai.uwf.edu>
Date: Wed, 19 Sep 2001 12:25:47 -0500
Message-Id: <p0510101bb7ce8505056b@[205.160.76.182]>
To: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Cc: w3c-rdfcore-wg@w3.org
>At 05:49 PM 9/18/01 -0400, Dan Brickley wrote:
>>I agree. We should amend RDFS to allow cycles in subClassOf and
>>subPropertyOf.
>
>"and subPropertyOf"...
>
>Just checking:  I think that, in the model theory, this corresponds 
>to allowing the relational extension (IEXT) of a subproperty to be a 
>non-proper subset of the relational extension of the superproperty.

Right. That's in the latest version of the MT . In fact, I think that 
rdfs:subPropertyOf cycles have never been explicitly prohibited, 
oddly enough, so the original MT had a bug at that point.

Pat
-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Wednesday, 19 September 2001 13:25:52 EDT

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