Jie Bao George Voutsadakis Giora Slutzki Vasant Honavar On the Decidability of Role Mappings between Modular Ontologies. 400-405 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#BaoVSH08