Semantic reasoner
- 2 min read
- 1 chapter
Related on Lably
Through Axiom, Rule of inference and Inference
Notable applications
Notable semantic reasoners and related software:
Free to use (closed source)
- Cyc inference engine, a forward and backward chaining inference engine with numerous specialized modules for high-order logic.
- KAON2 is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies.
Free software (open source)
- Cwm, 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.
- Drools, a forward-chaining inference-based rules engine which uses an enhanced implementation of the Rete algorithm.
- Evrete, a forward-chaining Java rule engine that uses the Rete algorithm and is compliant with the Java Rule Engine API (JSR 94).
- D3web, a platform for knowledge-based systems (expert systems).
- Flora-2, an object-oriented, rule-based knowledge-representation and reasoning system.
- Jena, an open-source semantic-web framework for Java which includes a number of different semantic-reasoning modules.
- OWLSharp, a lightweight and friendly .NET library for realizing intelligent Semantic Web applications.
- NRules a forward-chaining inference-based rules engine implemented in C# which uses an enhanced implementation of the Rete algorithm
- Prova, a semantic-web rule engine which supports data integration via SPARQL queries and type systems (RDFS, OWL ontologies as type system).
- DIP, Defeasible-Inference Platform (DIP) is an Web Ontology Language reasoner and Protégé desktop plugin for representing and reasoning with defeasible subsumption. It implements a Preferential entailment style of reasoning that reduces to "classical entailment" i.e., without the need to modify the underlying decision procedure.
Semantic Reasoner for Internet of Things (open-source)
S-LOR (Sensor-based Linked Open Rules) semantic reasoner S-LOR is under GNU GPLv3 license.
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.