Ontological Reasoning with F-logic Lite and its Extensions.

Andrea Cal, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris

Browse the full AAAI paper archive.