- From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Date: Wed, 19 Sep 2001 10:44:47 +0100
- To: Dan Brickley <danbri@w3.org>
- Cc: rdf core <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. #g ------------------------------------------------------------ Graham Klyne MIMEsweeper Group Strategic Research <http://www.mimesweeper.com> <Graham.Klyne@MIMEsweeper.com> ------------------------------------------------------------
Received on Wednesday, 19 September 2001 06:01:25 UTC