Description Logics with Abstraction and Refinement.

Carsten Lutz, Lukas Schulze

Browse the full KR paper archive.