Semantic reasoner
A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic 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. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining. There are also examples of probabilistic reasoners, including , and probabilistic logic networks.
genre
Wikipage disambiguates
Apache JenaApache MarmottaAutomated reasoningBusiness rules engineCwm (software)CycDescription logicDroolsGene ontologyGlossary of artificial intelligenceIndex of education articlesKnowledge extractionList of JBoss softwareList of semantic reasonersNorth Side IncOBO FoundryOntology engineeringReasonerReasoner (disambiguation)Reasoning engineRights Expression LanguageRoystonea borinquenaRule-based systemRule enginesSemantic ReasonerSemantic tripleSemantic wikiSolverStatistical relational learningSuggested Upper Merged OntologyTagsistantTextual entailmentVivificationWeb Ontology LanguageWorkflow engine
Link from a Wikipage to another Wikipage
genre
primaryTopic
Semantic reasoner
A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic 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. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining. There are also examples of probabilistic reasoners, including , and probabilistic logic networks.
has abstract
A semantic reasoner, reasoning ...... probabilistic logic networks.
@en
Un ragionatore automatico è un ...... lizzare la base di conoscenza.
@it
Семанти́ческий механи́зм рассу ...... Probabilistic logic network).
@ru
Link from a Wikipage to an external page
Wikipage page ID
13,536,810
page length (characters) of wiki page
Wikipage revision ID
1,017,869,296
Link from a Wikipage to another Wikipage
bot
InternetArchiveBot
@en
date
May 2018
@en
fix-attempted
yes
@en
wikiPageUsesTemplate
subject
hypernym
comment
A semantic reasoner, reasoning ...... probabilistic logic networks.
@en
Un ragionatore automatico è un ...... lizzare la base di conoscenza.
@it
Семанти́ческий механи́зм рассу ...... еханизмов рассуждений, включая
@ru
label
Ragionatore automatico
@it
Semantic reasoner
@en
Семантический механизм рассуждений
@ru