1. A method to perform a reasoning task, the method comprising: receiving a reasoning task, wherein the reasoning task includes one or more symbols; extracting, based on an interpretation of the one or more symbols, polarity-based modules from a knowledge base, wherein the polarity-based modules includes axioms relevant to at least one of a positive polarity and a negative polarity of each of the one or more symbols; intersecting the polarity-based modules to identify an intersection polarity-based module that includes axioms from each of the polarity-based modules; and performing the reasoning task with the at least one intersection polarity-based module to obtain a result.