A `Reasoner` is a function of [[Ontology]] software that **enables the inferring of new knowledge** using [[Inductive vs Deductive|Inductive Reasoning]] using rule-based algorithms. This is stuff like: > [!note] Example > **Manually asserted:** > - `Sarah` is an instance of `Cat` > - All`Cats` are `Mammals` > > **Reasoner-output assertion:** > - `Sarah` is an instance of `Mammal` **** # More ## Source - [[Protege]] tinkering ## Related - [[Ontology Components]]