Re: classes as instances

Guus,

This device might be useful if developing an extension language, e.g. a
subclassof Class that has an associated set of new properties.

a) it would refer to the same "x"
b) i don't know what it would mean -- perhaps an ontology for the extension
language would tell us?

Jonathan


> Would it be legal to have (in the same ontology) a statement
>
>   Individual( x, ...)
>
> as well as a statement
>
>   Class( x, ...)
>
> If it is legal, what would it mean, e.g. can/should it refer to the same
> 'x'?
> (I guess this falls under the SEM area)
>
> Guus
>
> --
> A. Th. Schreiber, SWI, University of Amsterdam, Roetersstraat 15
> NL-1018 WB Amsterdam, The Netherlands, Tel: +31 20 525 6793
> Fax: +31 20 525 6896; E-mail: schreiber@swi.psy.uva.nl
> WWW: http://www.swi.psy.uva.nl/usr/Schreiber/home.html
>
>