Conservative Extensions in the Lightweight Description Logic EL.

Carsten Lutz, Frank Wolter

Browse the full CADE paper archive.