Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Inconsistent models, mapping, interoperability, and the SUO

Gary and Frederick,

The classical reference on Formal Concept Analysis
is the book by Ganter and Wille:

    Ganter, Bernhard, & Rudolf Wille (1999) _Formal Concept
    Analysis: Mathematical Foundations_, Springer, Berlin.

And by the way, the FCA community and the CG community
are the two principal groups that sponsor the ICCS
(International Conferences on Conceptual Structures).
So if you go to ICCS'05, you can hear talks on both
topics, including some that use both methods.

    http://www.kde.cs.uni-kassel.de/conf/iccs05

But by the way, the elements of the FCA lattices are
individual concepts, not complete theories.  However,
FCA techniques could also be adapted to classifying
theories -- but that is an application of FCA, which
would be an approximation to the lattice of theories,
as I have been describing it.  On the other hand, it
might be useful as an easily implementable approximation.

You can find a very brief example of an FCA lattice in
the lattice discussion of my tutorial on math & logic:

    http://www.jfsowa.com/logic/math.htm#Lattice
    Mathematical Background

John Sowa