Basic Description Logics (2003)

by Franz Baader, Werner Nutt