I use Pellet/Hermit to reason on the following family ontology and export all the inferred axioms to a new family ontology. Then I reason on the new ontology and export all the inferred axioms to another new family ontology again. New axioms are found to be inferred. Is it necessary to reason on the ontology repeatedly to get all implicit axioms which can be inferred from the ontology?
Code body is limited to 30000 characters by StackOverflow, however, the family ontology contains 149200 characters.
The following 143KB family is the original ontology which contains 728 axioms;
The 202KB one is the exported ontology containing axioms inferred on the 143KB one by pellet (once) and having 1306 axioms;
The 516KB one is the exported ontology containing axioms inferred on the 202KB one by pellet (twice) and having 3987 axioms;
The 543KB one is the exported ontology containing axioms inferred on the 516KB one by pellet (three times) and having 4220 axioms. For example, there is no hasSon(aunt_0_RQM, child_8_ACF) in family_inferred2 which is contained by family_inferred3.
Every time I reason on the exported ontology, new axioms are inferred. Therefore, there are always some axioms not inferred by the reasoner.
download link for family: 143KB
download link for family_inferred1: 202KB
download link for family_inferred2: 516KB
download link for family_inferred3: 543KB