Ontify
Component of the system that applies logical rules to the knowledge base to deduce new information.