BibSonomy publications for /user/stumme/alcWed Sep 20 20:05:39 CEST 2006HeidelbergPRICAI'96: Topics in Artificial Intelligence. Proc. PRICAI'96121-131LNAIThe Concept Classification of a Terminology Extended by Conjunction and Disjunction11141996analysis lattices description dl myown concept 1996 fca alc formal classification logics