@InProceedings{HoSat98b,
  author =       {Horrocks, I. and Sattler, U.},
  title =        {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
  booktitle =    {Proceedings of the International Workshop on Description Logics},
  editors =     {E. Franconi and G. De Giacomo and R. M. MacGregor and W. Nutt and C. A. Welty},
  address =     {Povo - Trento, Italy},
  publisher =	 {IRST},
  year =         1998,
}