[sc34wg3] New SAM PSIs

[Lars Marius Garshol]

* Holger Rath
| 
| [subclass loops]
|
| DAML+OIL defines the equality between classes that way.

I guess this may not be entirely clear, as it's rather subtle. If two
classes are in the same superclass/subclass loop it means they have
the same extension (the same set of instances). However, they may
still have different intentions, and so not be the *same* class; they
just happen to share extensions.

One (admittedly far-fetched) example is that of the class 'person' and
the class 'sentient being'. As far as we know, these have the same
extension, but their intentions are definitely different.

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50                  <URL: http://www.garshol.priv.no >