A Simulated Annealing Meta-heuristic for Concept Learning in Description Logics