Datalog rewriting techniques for non-Horn ontologies - Kaminski, M; Nenov, Y; Grau, BC (Informal Proceedings of the 27th International Workshop on Description Logics, 2014)