Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles - Baader, F (International Joint Conference on Artificial Intelligence (IJ-CAI-91) Morgan Kaufmann, 1991)