Gravar-mail: Role grouping as an extension to the description logic of Ontylog, motivated by concept modeling in SNOMED.