Re: TMRM: isa/sub - irreflexive relation vs. reflexive relation
Simon Grant <[email protected]> Wed, 5 Oct 2011 10:23:11 +0100
| Newsgroups | gmane.text.xml.xtm.general |
|---|---|
| Message-ID | <CALV740QSYQvd2woKVkfrehjbpPoGR-zqxQTo_H-OBc2R17daYw@mail.gmail.com> |
On 5 October 2011 10:05, Lars Heuer <[email protected]> wrote: > [...] > > 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? > Maybe it helps avoid Russell's Paradox? [1] or something similar? Just a guess... [1] http://en.wikipedia.org/wiki/Russell's_paradox Simon -- Simon Grant +44 7710031657 http://www.simongrant.org/home.html _______________________________________________ topicmapmail mailing list topicmapmail-Zo64W7twoUFWk0Htik3J/[email protected] http://www.infoloom.com/mailman/listinfo/topicmapmail