A semantic reasoner, also called a rules engine, infers logical outcomes from axioms or facts using ontology and description logic languages.
