Ontology−Based Semantic Search on the Web and its Combination with the Power of Inductive Reasoning - d'Amato, C; Fanizzi, N; Fazzinga, B; Gottlob, G; Lukasiewicz, T (Annals of Mathematics and Artificial Intelligence, 2012)