Federico Chesani Paola Mello Marco Montali Paolo Torroni Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. 2008 SWAP http://ceur-ws.org/Vol-426/swap2008_submission_59.pdf conf/swap/2008 db/conf/swap/swap2008.html#ChesaniMMT08