× Proceedings of the 2000 International Workshop on Description Logics (DL2000)herausgegeben von Franz Baader und Ulrike SattlerMitwirkendeHerausgegeben vonFranz BaaderHerausgegeben vonUlrike Sattlerca. 15 Abb.