Ontology reasoner Symbolic AI
noun phrase
Definition: A symbolic inference component that derives implicit knowledge from an ontology by applying formal logical axioms and semantic constraints. It is used to perform tasks such as class subsumption, consistency checking, entailment, and reasoner-supported classification of concepts or instances [Balhoff, Mungall 2024].
Examples in context: “An OWL ontology reasoner does not impose a specific set of assertions to make inferences.” [Abeysinghe et al. 2024]
“The Fact++ ontology reasoner was employed to deduce the classification of instance objects according to semantic rules…” [Zhu et al. 2023].
Related terms: description-logic classifier; description-logic reasoner; ontology classifier; inference engine; rule-based reasoner