Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes.

Patrick Koopmann, Renate A. Schmidt

Browse the full AAAI paper archive.