Viet-Hoang Vu Nhan Le-Thanh Abductive Reasoning for Semantic Matchmaking with Modular Ontologies. 303-310 2011 DCAI http://dx.doi.org/10.1007/978-3-642-19934-9_39 conf/dcai/2011 db/conf/dcai/dcai2011.html#VuL11