Michel C. A. Klein, Peter Mika, Stefan Schlobach: Rough Description Logics for Modeling Uncertainty in Instance Unification. URSW 2007