An innovation Proving of Knowledge Bases for Automated Reasoning for Information Analysis | IEEE Conference Publication | IEEE Xplore