A tableau-based federated reasoning algorithm for modular ontologies