Re: Fwd: Re: TMRM: isa/sub - irreflexive relation vs. reflexive relation

Hi Quitnin,

[...]
> Making x isa x forbidden would cause me great headaches because it
> would break my schema ontology to validate itself. This leads me to
> another question:

> Does TMCL not specify:
> "tmcl:topic-type isa tmcl:topic-type"
> ?

It does. And if TMCL has a TMQL/TMRM foundation, I wonder if section
5. b) of TMRM shouldn't be relaxed.

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