Describir: Description logic rules /