International Description Logics | lit.salon