@TechReport{FHM08,
 author = 	 {Jocelyne Faddoul and Volker Haarslev and Ralf M{\"o}ller},
 title = 	 {{Hybrid Reasoning for Description Logics with Nominals and Qualified Number Restrictions}},
 institution =  {Institute for Software Systems (STS), Hamburg University of Technology},
 year = 2008,
 address = {Germany},
 note =  {See http://www.sts.tu-harburg.de/tech-reports/papers.html.}
}