Description Logics with Abstraction and Refinement: From ALC to EL.

Carsten Lutz, Lukas Schulze

Browse the full KR paper archive.