pellet shows this ontology to be inconsistent.