I found some short articles about both, and for me it sounds like both figure out things through logic, similar to how Prolog works. I must add I am new to this field so I might be wrong. Very wrong.
Share
Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
I found some short articles about both, and for me it sounds like both figure out things through logic, similar to how Prolog works. I must add I am new to this field so I might be wrong. Very wrong.
A reasoner and an inference engine are essentially the same thing in AI, that is a piece of software able to infer logical consequences from a set of asserted facts (and yes, this is similar to what Prolog does). The capabilities of a reasoner depend on the axioms and inference rules that it knows about, which, in turn, are related to a particular kind of logic.
Semantic Reasoner is probably an abbreviation for “Semantic Web Reasoner”, that is a reasoner for the Semantic Web. In this case, such a reasoner knows about the axioms and inference rules of the logic formalisms underlying the Semantic Web Standards, particularly the OWL Web Ontology Language.
If you want more details about OWL to better understand what a “Semantic Web Reasoner” can do, you may want to have a look at OWL Web Ontology Language Semantics and Abstract Syntax , or, if you really want to go down to the theoretical details, you have to delve into Description Logics.