@lysander07

The Description Logic Handbook: Theory, Implementation and Applications

, , , , and (Eds.) Cambridge University Press, Cambridge, (2003)