Ontological Reasoning with F-logic Lite and its Extensions. - Calì, A; Gottlob, G; Kifer, M; Lukasiewicz, T; Pieris, A (AAAI Press, 2010)