Semantic reasoner

Semantic reasoner

A semantic reasoner is a software tool that utilizes unambiguous facts or axioms to deduce new information. Its primary functions include classification, which involves constructing a hierarchy of concepts using TBox axioms, and realization, which involves identifying the most specific class to which each individual belongs.From: Understanding Semantics-Based Decision Support [2021], Reasoning on objects and grasping using description logics [2019]

Semantic Technologies as Enabler

View Chapter

Purchase Book

Published in Sarika Jain, Understanding Semantics-Based Decision Support, 2021

Jain Sarika

A semantic reasoner is a piece of software that is used to deduce new facts from unambiguously stated facts or asserted axioms. Reasoners can also be utilized to check the logical consistency of the ontology model. There are reasoners for all the OWL species. A typical rule engine contains an inference engine, a rule base, and a fact base (working memory). The inference engine finds the combination of facts from the working memory that satisfies rules to decide which rules to activate and finally fire (execute). There are various rule-language families. Instances in a family may differ in their syntax, semantics, or other aspects.

Reasoning on objects and grasping using description logics

View Article

Journal Information

Published in Advanced Robotics, 2019

Nicola Vitucci, Giuseppina Gini

Two main tasks performed by a semantic reasoner are classification, in which a hierarchy of concepts is built using TBox axioms, and realization, which consists in finding the most specific class each individual belongs to. The classification service builds a hierarchy of sets, deriving for every set its including and included sets. The realization service derives all the sets an individual is an element of. The classification task has to be always performed before a realization.

Explore chapters and articles related to this topic

Semantic Technologies as Enabler

Reasoning on objects and grasping using description logics