FranzBaader Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology 168–178 1995 FranzBaader BernhardGanter BarisSertkaya UlrikeSattler Completing Description Logic Knowledge Bases Using Formal Concept Analysis 230-235 2007 FranzBaader BernhardGanter BarisSertkaya UlrikeSattler Completing Description Logic Knowledge Bases Using Formal Concept Analysis. 230-235 2007 SebastianRudolph Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification Universitätsverlag Karlsruhe 2006 GerdStumme The Concept Classification of a Terminology Extended by Conjunction and Disjunction Springer 1114 121-131 1996