On the Decidability of Role Mappings Between Modular Ontologies

Citation