[sc34wg3] New SAM PSIs

[Rath, Holger (empolis KL)]

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