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@[]>
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
>"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.

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Wednesday, 19 September 2001 13:25:52 UTC

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