Semantic reasoner

<h2 id="notable-applications">Notable applications</h2>
<p>Notable semantic reasoners and related software:
</p>
<h3>Free to use (closed source)</h3>
<ul><li><a href="/facts/Cyc/JyTurpR6">Cyc</a> inference engine, a forward and backward chaining inference engine with numerous specialized modules for high-order logic.</li>
<li><a href="/facts/KAON2/l5ft1Utg">KAON2</a> is an infrastructure for managing <a href="/facts/OWL-DL/jkr0IGn8">OWL-DL</a>, <a href="/facts/Semantic_Web_Rule_Language/HcHWEc0I">SWRL</a>, and <a href="/facts/F-Logic/UAx92NCG">F-Logic</a> ontologies.</li></ul>
<h3>Free software (open source)</h3>
<ul><li><a href="/facts/Cwm_(software)/dTszc9GU">Cwm</a>, a forward-chaining reasoner used for querying, checking, transforming and filtering information. Its core language is RDF, extended to include rules, and it uses RDF/XML or N3 serializations as required.</li>
<li><a href="/facts/Drools/wNSpDqDk">Drools</a>, a forward-chaining inference-based rules engine which uses an enhanced implementation of the <a href="/facts/Rete_algorithm/Uw85WXLm">Rete algorithm</a>.</li>
<li><a href="https://www.evrete.org/">Evrete</a>, a forward-chaining Java rule engine that uses the <a href="/facts/Rete_algorithm/Uw85WXLm">Rete algorithm</a> and is compliant with the Java Rule Engine API (JSR 94).</li>
<li><a href="/facts/D3web/CsxHoAPf">D3web</a>, a platform for <a href="/facts/Knowledge-based_systems/uocg0bY3">knowledge-based systems</a> (<a href="/facts/Expert_systems/CUCzSEaX">expert systems</a>).</li>
<li><a href="/facts/Flora-2/Snejq0mx">Flora-2</a>, an object-oriented, rule-based knowledge-representation and reasoning system.</li>
<li><a href="/facts/Jena_(framework)/n5W0jCIt">Jena</a>, an open-source semantic-web framework for Java which includes a number of different semantic-reasoning modules.</li>
<li><a href="https://github.com/mdesalvo/OWLSharp">OWLSharp</a>, a lightweight and friendly .NET library for realizing intelligent Semantic Web applications.</li>
<li><a href="https://github.com/NRules/NRules">NRules</a> a forward-chaining inference-based rules engine implemented in <a href="/facts/C_Sharp_(programming_language)/UC2gxeyb">C#</a> which uses an enhanced implementation of the <a href="/facts/Rete_algorithm/Uw85WXLm">Rete algorithm</a></li>
<li><a href="/facts/Prova/cttstIHF">Prova</a>, a semantic-web rule engine which supports data integration via SPARQL queries and type systems (RDFS, OWL ontologies as type system).</li>
<li><a href="https://github.com/kodymoodley/defeasibleinferenceplatform">DIP</a>, Defeasible-Inference Platform (DIP) is an <a href="/facts/Web_Ontology_Language/jkr0IGn8">Web Ontology Language</a> reasoner and <a href="/facts/Prot%25C3%25A9g%25C3%25A9_(software)/IRJsReak">Protégé</a> desktop plugin for representing and reasoning with defeasible subsumption.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> It implements a <a href="/facts/Preferential_entailment/f5YVx9jD">Preferential entailment</a> style of reasoning that reduces to "classical entailment" i.e., without the need to modify the underlying decision procedure.</li></ul>
<h3>Semantic Reasoner for Internet of Things (open-source)</h3>
<p><a href="http://linkedopenreasoning.appspot.com/?p=slorv2">S-LOR (Sensor-based Linked Open Rules) semantic reasoner</a>
S-LOR is under GNU GPLv3 license.
</p><p>S-LOR (Sensor-based Linked Open Rules) is a rule-based reasoning engine and an approach for sharing and reusing interoperable rules to deduce meaningful knowledge from sensor measurements.
</p>
<h2 id="see-also">See also</h2>
<ul>
<li>Software portal</li></ul>
<ul><li><a href="/facts/Business_rules_engine/3mem1gI0">Business rules engine</a></li>
<li><a href="/facts/Doxastic_logic/fAQM342I">Doxastic logic</a></li>
<li><a href="/facts/Expert_systems/CUCzSEaX">Expert systems</a></li>
<li><a href="/facts/Logic_programming/Xgh8lj3F">Logic programming</a></li>
<li><a href="/facts/Method_of_analytic_tableaux/Tyrp5src">Method of analytic tableaux</a></li>
<li><a href="/facts/Solver/S8LurhlM">Solver</a></li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="https://www.w3.org/2001/sw/wiki/OWL/Implementations">OWL 2 Reasoners listed on W3C SW Working Group homepage</a></li>
<li><a href="http://www.w3.org/TR/rdf-sparql-query/">SPARQL Query Language for RDF</a></li>
<li>Marko Luther, Thorsten Liebig, Sebastian Böhm, Olaf Noppens: <a href="https://dx.doi.org/10.1007/978-3-642-02121-3_9">Who the Heck Is the Father of Bob?</a>. ESWC 2009: 66-80</li>
<li>Jurgen Bock, Peter Haase, Qiu Ji, Raphael Volz. <a href="http://www.aifb.uni-karlsruhe.de/WBS/pha/publications/owlbenchmark_07_2007.pdf">Benchmarking OWL Reasoners</a>[<i>permanent dead link</i>].  <a href="https://ceur-ws.org/Vol-350/paper1.pdf">Mirror available</a>. In ARea2008 – Workshop on Advancing Reasoning on the Web: Scalability and Commonsense (June 2008)</li>
<li>Tom Gardiner, Ian Horrocks, Dmitry Tsarkov. <a href="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-189/submission_23.pdf">Automated Benchmarking of Description Logic Reasoners</a>. Description Logics Workshop 2006</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Wang, Pei. "Grounded on Experience Semantics for intelligence, Tech report 96". www.cogsci.indiana.edu. CRCC. Retrieved 13 April 2015. <a href="http://www.cogsci.indiana.edu/pub/wang.semantics.ps" target="_blank">http://www.cogsci.indiana.edu/pub/wang.semantics.ps</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Goertzel, Ben; Iklé, Matthew; Goertzel, Izabela Freire; Heljakka, Ari (2008). Probabilistic Logic Networks: A Comprehensive Framework for Uncertain Inference. Springer Science & Business Media. p. 42. ISBN 978-0-387-76872-4. <a href="978-0-387-76872-4" target="_blank">978-0-387-76872-4</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Britz, K. and Varzinczak, I., (2018). Rationality and context in defeasible subsumption. In International Symposium on Foundations of Information and Knowledge Systems (pp. 114-132). Springer, Cham. <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
</ol>

Semantic reasoner open-in-new

Semantic reasoner