Knowledge Integration and Reasoning