Distributed knowledge revision/integration