Liviu Badea Shan-Hwei Nienhuys-Cheng Refining Concepts in Description Logics. 31-44 2000 conf/dlog/2000 Description Logics http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/Badea31-44.ps db/conf/dlog/dlog2000.html#BadeaN00