Changed to use Axiom class from DL-Learner