A Logical Toolbox for Ontological Reasoning

Andrea Calì, Georg Gottlob, Thomas Lukasiewicz and Andreas Pieris

Available in: PDF

468 Downloads