@InCollection{,
  author = 	 {R. M{\"o}ller and V. Haarslev},
  title = 	 {Description Logic Systems},
  booktitle = 	 {The Description Logic Handbook},
  pages = 	 {282-305},
  publisher = {Cambridge University Press},
  year = 	 {2003},
  editor = 	 {F. Baader and D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider },
  chapter = 	 {8},
}