A Generic Subsumption Testing Toolkit for Knowledge Based Queries. - Martin Staudt 001; Kai von Thadden (DEXA, 1996)