1. A method for verifying artifacts created from an original ontology model, comprising: creating an annotation framework to represent ontology taxonomy; transforming the original ontology model into programmable artifacts using said annotation framework; and comparing, using a processor, said programmable artifacts with the original ontology model in order to verify the artifacts.