Categories: Knowledge
Reasoner, something that can find new facts from existing data (aka. reasoning)