Import OWLOntology Examples.test and make it work