A well-founded ontology learner