Title: International Description Logics
Subjects: Cognitive science