@Techreport{kroetzsch2009ftldfodl, author = "Markus Kr{\"o}tzsch and Sebastian Rudolph", institution = "Institute AIFB, KIT", number = "3002", title = "Finding the Largest Datalog Fragment of Description Logic", year = "2009", }