@misc{FurbachObermaier2007, author = {Ulrich Furbach and Claudia Obermaier}, title = {Knowledge compilation for description logics}, institution = {Fachbereich 4}, series = {Arbeitsberichte, FB Informatik}, number = {2007,17}, type = {periodicalpart}, pages = {14}, year = {2007}, }