Title: Description logic rules
Subjects: Description logics, Terminologische Logik