A synchroniser for independent basic knowledge bases