Description logic rules | lit.salon