7. The method of claim 1 , wherein extracting, based on the interpretation of the one or more symbols, polarity-based modules includes: determining a set of polarity symbols for each of the one or more symbols in the reasoning task; and determining the polarity-based modules by determination of polarity-based modules for each opposite of the one or more polarity symbols in each set of polarity symbols.
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.