Bernhard Ganter Mathematical Theory Makes Formal Concept Analysis Versatile. 2008 Description Logics conf/dlog/2008 db/conf/dlog/dlog2008.html#Ganter08