Consistency of scientific knowledge bases