Reasoner

Reasoner is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with. The inference rules are commonly specified by means of an ontology language, and often a description logic language.

Tags
Data and Resources
To access the resources you must log in
References
Field Value
PublicationTitle Semantic reasoner
PublicationType Website
PublicationYear Accessed: 18.05.2019
Publisher Wikipedia
Website https://en.wikipedia.org/wiki/Semantic_reasoner
ZoteroURL https://www.zotero.org/groups/2344323/orion/items/itemKey/F2VXGDZR
Glossary Term Classification
Field Value
Category ORION-specific; Data processing and analysis
ModifiedDefinition false
Sector Shared Definition
Additional Info
Field Value
Provided by: EJP ORION project
system:type GlossaryTerm
Management Info
Field Value
Author taras_guenther
Last Updated 29 April 2020, 02:12 (CEST)
Created 3 September 2019, 13:11 (CEST)