18. The machine of claim 16 , wherein at least one property in the hierarchy is a transitive property.
18. The machine of claim 16 , wherein at least one property in the hierarchy is a transitive property. 19. The machine of claim 18 , wherein the original ontology is a SHOQ ontology.