The Logical Difference Problem for Description Logic Terminologies.

Boris Konev, Dirk Walther, Frank Wolter

Browse the full CADE paper archive.