{Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting}