Least General Generalizations in Description Logic: Verification and Existence.

Jean Christoph Jung, Carsten Lutz, Frank Wolter

Browse the full AAAI paper archive.