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

On behalf of Quitnin.

(sent from my local mail client)


This is a forwarded message

From: Quintin Siebers <[email protected]>
To: Lars Heuer <[email protected]>
Date: Wednesday, October 5, 2011 9:56:36 PM
Subject: [topicmapmail] TMRM: isa/sub - irreflexive relation vs. reflexive relation

===8<==============Original message text===============



Sent from my iPhone

On Oct 5, 2011, at 11:05, Lars Heuer <[email protected]> wrote:

> but I wonder why
> stating "x isa x" is explicitly forbidden.

Another place were we use this is when we define a meta ontology that describes topicmaps: 

k:topic-type isa k:topic-type

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"
?

http://www.isotopicmaps.org/tmcl/schema.ctm

===8<===========End of original message text===========