7. A computer system for verifying artifacts created from an original source ontology model, comprising: a processor; and a memory connected to the processor, wherein the memory is encoded with instructions and wherein the instructions when executed comprise: instructions for 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; instructions for 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 the instructions for transforming the original ontology model are executed by utilizing stereotypes from Uniform Modeling Language as a type of extensibility mechanism; instructions for parsing said annotated java model to create a generated ontology model as semantically equivalent to the original source ontology model; and instructions for conducting 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.
7. A computer system for verifying artifacts created from an original source ontology model, comprising: a processor; and a memory connected to the processor, wherein the memory is encoded with instructions and wherein the instructions when executed comprise: instructions for 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; instructions for 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 the instructions for transforming the original ontology model are executed by utilizing stereotypes from Uniform Modeling Language as a type of extensibility mechanism; instructions for parsing said annotated java model to create a generated ontology model as semantically equivalent to the original source ontology model; and instructions for conducting 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. 8. The computer system of claim 7 , wherein said instructions for transforming the original source ontology model into said programmable artifact further comprises instructions for tagging each class, interface, and method definition with metadata.