Dear Matthew and Ali, (01)
I agree with Ali's formal presentation, and I admit that the notation
and terminology requires quite a bit of reworking before it can be
translated to ordinary English. In fact, it cannot be faithfully
translated without a grounding in a formalism that is equally precise. (02)
Right now, I have some meetings to attend to, but I'll try to write
an explication in terms of the lattice of theories. It took me quite
a few years of email notes, but people are beginning to feel more
comfortable with the idea. This afternoon, I'll send a note that
translates Ali's terminology into the terms used in talking about
the infinite lattice and the finite subset called the hierarchy. (03)
I think that showing the mapping between the two can clarify both. (04)
John (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)
|