Re: [ontolog-forum] [bfo-discuss] Re: Heterarchy & Hierarchy, oh my my

["John F. Sowa" <sowa@xxxxxxxxxxx>]

Folks,    (01)

I'd like to elaborate on that notion of "dividing" an ontology
into multiple modules.  That assumes that somebody for some
reason had developed a large ontology out of whole cloth,
which must then be cut into pieces.    (02)

Instead, the approach I strongly recommended in my KR book
(and which the FCA people have developed in detail) is to
*start* with smaller pieces and *derive* the bigger parts
by an automated method that works out all the implications.    (03)

But I'm not asking for credit.  That approach was proposed by
Leibniz over 300 years ago.    (04)

For a brief summary about the lattices that are generated by this
method see    (05)

    http://www.jfsowa.com/logic/math.htm#Lattice    (06)

For the Formal Concept Analysis Home Page, see    (07)

    http://www.upriss.org.uk/fca/fca.html    (08)

John    (09)




_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (010)