Title: Reasoning in model management systems