@Article{kroetzsch2012trftdlsuddadd, author = "Markus Kr{\"o}tzsch and Sebastian Rudolph and Pascal Hitzler", journal = "Logical Methods in Computer Science", month = "Februar", number = "1:12", pages = "1-38", title = "Type-Elimination-Based Reasoning for the Description Logic SHIQbs Using Decision Diagrams and Disjunctive Datalog", volume = "8", year = "2012", }