Cali, A.; Gottlob, G.; Kifer, M.; Lukasiewicz, T.; Pieris, A. Ontological Reasoning With F-Logic Lite and Its Extensions. AAAI 2010, 24, 1660-1665.