@TechReport{HaMW00,
  author = 	 {V. Haarslev and R. M{\"o}ller and M. Wessel},
  title = 	 {The Description Logic ALCNHR+ Extended with Concrete Domains},
  institution =  {University of Hamburg, Computer Science Department},
  year = 	 {2000},
  number = 	 {FBI-HH-M-290/00},
}