Basic description logic (2003)

by Franz Baader, Werner Nutt
Venue:The Description Logic Handbook