Description logic systems (2003)

by R Möller, V Haarslev
Venue:The Description Logic Handbook, chapter 8