3. The method of claim 2 , further comprising: determining that the sub-ontology is safe if the closure of the second subset does not intersect with the first subset.
3. The method of claim 2 , further comprising: determining that the sub-ontology is safe if the closure of the second subset does not intersect with the first subset. 4. The method of claim 3 , further comprising: storing the sub-ontology.