BibSonomy publications for /concept/tag/logic+explorationThu Aug 30 16:57:56 CEST 2007Santa Cruz, USAProceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95168--178Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology1995dl concept attribute analysis exploration formal description logic fca