@workingPaper{Baader_1990, title={Augmenting concept languages by transitive closure of roles : an alternative to terminological cycles}, author={Baader, Franz}, doi={http://dx.doi.org/10.22028/D291-24902}, year={1990} }