This is to avoid having to insert all statements in Protege, and to be able to see the differences between the asserted and inferred axioms after running the reasoner.
I may have overlooked something but from what i saw the only changes with the Chap 4 OWL file was to remove the inferred Coccus subclasses (diff below is comparing files in Turtle format):
This is to avoid having to insert all statements in Protege, and to be able to see the differences between the asserted and inferred axioms after running the reasoner.
I may have overlooked something but from what i saw the only changes with the Chap 4 OWL file was to remove the inferred Coccus subclasses (diff below is comparing files in Turtle format):