@jaeschke

The description logic handbook: theory, implementation, and applications

, , , , and (Eds.) Cambridge University Press, New York, NY, USA, (2003)