Ontology Definition Metamodel based Consistency Checking of UML Models | IEEE Conference Publication | IEEE Xplore