@InProceedings{HaMW05a,
  author = 	 {V. Haarslev and R. M{\"o}ller and M. Wessel},
  title = 	 {Description Logic Inference Technology: Lessions Learned in the Trenches},
  booktitle =    {Proc. International Workshop on Description Logics},
  OPTpages = 	 {},
  year = 	 {2005},
  editor = 	 {I. Horrocks and U. Sattler and F. Wolter},
}