V.: Description logic systems (2003)

by R Möller, Haarslev
Venue:The Description Logic Handbook: Theory, Implementation, and Applications