In this section we provide additional background to several of the thrusts previously mentioned in the Innovative Claims section. We begin with a discussion of the virtues of language-centered representations.
Then, we add a discussion of how information from a relational database can be extracted and placed in a form that facilitates automated reasoning in general and rule extraction in particular.
Finally, we cite previous work on knowledge-base consensus building that we think may have considerable potential for reconsiling differences in putatively congruent knowledge bases.