SMS dit: Structured objects in owl: representation and reasoning.