@Inproceedings{kroetzsch2010eifoe, author = "Markus Kr{\"o}tzsch", booktitle = "Proceedings of the 12th European Confernce on Logics in Artificial Intelligence (JELIA'10)", editor = "Tomi Janhunen, Ilkka Niemel{\"a}", pages = "to appear", publisher = "Springer", series = "LNAI", title = "Efficient Inferencing for OWL EL", year = "2010", }