Basic description logics (2003)

by Franz Baader, Werner Nutt
Venue:The Description Logic Handbook: Theory, Implementation, and Applications, chapter 2