Re: Current Action List for RDFCore Working Group

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