Well−Founded Semantics for Extended Datalog and Ontological Reasoning - Hernich, A; Kupke, C; Lukasiewicz, T; Gottlob, G (Proceedings of the 26th International Workshop on Description Logics‚ DL 2013‚ Ulm‚ Germany‚ July 23−26‚ 2013, 2013)