An Ontology-Based Knowledge Management Framework For Heterogeneous Verification