when an ontology can be reasoned is consistence ,does this ontology just has only one struch? if this true,should we can don't use this inconsistence classify concepet? use pellet1.4 if CD is a improve to this?