1. A method of verifying artifacts created from an original source ontology model, comprising: creating an annotation framework to represent ontology taxonomy, wherein for each property in the original source ontology model an annotation is inserted into a programmable artifact, said programmable artifact further comprising a java model; transforming the original source ontology model into said programmable artifact using said annotation framework, said annotation framework mapping from the original source ontology model to said programmable artifact and to the original source ontology model from said programmable artifact, wherein said transforming the original source ontology model is executed by utilizing stereotypes from Uniform Modeling Language as a type of extensibility mechanism; parsing said annotated java model to create a generated ontology model as semantically equivalent to the original source ontology model; conducting, using a processor, an isomorphic comparison of said generated ontology model to the original source ontology model to verify semantic equivalency of said generated ontology model and the original source ontology model.