[sc34wg3] New SAM PSIs

Rath, Holger (empolis KL) sc34wg3@isotopicmaps.org
Thu, 13 Feb 2003 20:28:22 +0100


Murray Altheim [mailto:m.altheim@open.ac.uk] wrote:
> <snip>
> 
> Regardless of what DAML+OIL does, what does it *mean*? I'm
> confused. It's nonsense, AFAIK:
> 
>       A is superclass of subclass B
>       B is superclass of subclass A
> 
> That doesn't make logical sense. (I must be missing something
> here, as defining equality of two classes based on them being
> both superclasses and subclasses of each other seems to ignore
> the very definitions of superclass and subclass.)

When I remember my math classes right equality of sets 
could be proven by showing that both sets are sub-sets 
of each other.

It's not logical, it's math ;-)

--Holger