Software that derives logically implied facts and checks consistency over a knowledge base expressed in a formal language such as OWL or RDF Schema. It applies inference rules of the underlying logic to make implicit information explicit.
Semantic Classification
Content
- A semantic reasoning engine, or reasoner, takes an ontology and its asserted facts and computes the conclusions that follow from the formal semantics, such as class membership, subsumption hierarchies and inconsistencies. It lets applications query for facts that were never stated directly.
- Reasoners implement the inference procedures of description logic and related formalisms, and their feasibility depends on the expressive profile of the ontology. They support tasks such as classification, consistency checking and answering queries that require derived knowledge.