2. The method of claim 1 , wherein at least one property in the hierarchy is a transitive property.
2. The method of claim 1 , wherein at least one property in the hierarchy is a transitive property. 3. The method of claim 2 , wherein the original ontology is a SHOQ ontology.