A. Cali, G. Gottlob, M. Kifer, T. Lukasiewicz, and A. Pieris, “Ontological Reasoning with F-logic Lite and its Extensions”, AAAI, vol. 24, no. 1, pp. 1660–1665, Jul. 2010.