[topicmapmail] TMRM: isa/sub - irreflexive relation vs. reflexive relation

[Lars Heuer]

Hi there,

Johannes' question [1] brought me to another question: Why is the
"isa" relation irreflexive by definition and the "sub" relation
reflexive by definition (c.f. TMRM 5 a) and 5 b)?

I understand why the "sub" relation is reflexive (implicitly since
every proxy is a subclass of itself by definition), but I wonder why
stating "x isa x" is explicitly forbidden.

What's the rationale behind this design decision?

[1] <http://www.infoloom.com/pipermail/topicmapmail/2011q4/009161.html>

Thanks and best regards,
Lars
-- 
Semagia 
<http://www.semagia.com/>

<http://www.topicmaps.de/mailinglist/> German Topic Maps mailing list
<http://tinytim.sourceforge.net/> Open Source Topic Maps engine
<http://mappa.semagia.com/> Mappa - Python Topic Maps engine