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

Hi Alexander,

[...]
>    The instance tmcl:topic-type is of the class tmcl:topic-type

> Isn't this poorly defined identifiers (naming instances the same as
> classes) rather than something we should allowing people to do?

Well, we could become ontology-Nazis, but I thought that TMRM follows
a propositional calculus and a user is free to express anything. An
axiom like "x isa x for no element of m" limits the expressiveness of
TMRM unnecessarily, I'd think.

Probably my interpretation of 5. b) is too strong, but I'd suggest to
relax the paragraph "x isa x for no element of m" since it does not
hold true if a user thinks that x isa x is a good idea and the
limitation to the predefined TMRM environment isn't clear (to me).

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