The following pages link to Practical Reasoning with Nominals in the EL Family of Description Logics: