updates on SARChallengeSample class

- now using the OWLAxiomCBDGenerator