@Techreport{kroetzsch2007cohdl, author = "Markus Kr{\"o}tzsch and Sebastian Rudolph and Pascal Hitzler", institution = "Instistute AIFB, Universit{\"a}t Karlsruhe", title = "Complexity of Horn Description Logics", year = "2007", }