@InProceedings{BrandtKuesters-LPAR03,
  author = 	 {Sebastian Brandt and Anni-Yasmin Turhan and Ralf K{\"u}sters },
  title = 	 {Extensions of Non-standard Inferences to Description Logics with transitive Roles},
  booktitle = 	 {Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning ({LPAR 2003})},
  year = 	 {2003},
  editor = 	 {Moshe Vardi and Andrei Voronkov},
  series = 	 {Lecture Notes in Computer Science},
  publisher = {Springer},
  springer =     {yes}
}