An integrated approach for syllogistic reasoning and knowledge consistency level maintenance | IEEE Journals & Magazine | IEEE Xplore