@Techreport{kroetzsch2008etdlbosr, author = "Markus Kr{\"o}tzsch and Sebastian Rudolph and Pascal Hitzler", institution = "Universit{\"a}t Karlsruhe (TH)", title = "Expressive Tractable Description Logics based on SROIQ Rules", year = "2008", }