A Generic Subsumption Testing Toolkit for Knowledge Based Queries.

Martin Staudt, Kai von Thadden

Browse the full DEXA paper archive.