Cali, Andrea, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, and Andreas Pieris. 2010. “Ontological Reasoning With F-Logic Lite and Its Extensions”. Proceedings of the AAAI Conference on Artificial Intelligence 24 (1):1660-65. https://doi.org/10.1609/aaai.v24i1.7709.