Temporal knowledge bases, integration and system reengineering