Ontology Model-Based Static Analysis on Java Programs | IEEE Conference Publication | IEEE Xplore