Semantic reasoner

List of semantic reasoners

Free software (open source)

• , OWL 2 EL reasoner
• , 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.
• , a forward-chaining inference-based rules engine which uses an enhanced implementation of the Rete algorithm.
• , OWL 2 EL reasoner
• , a semi-backward chaining reasoning engine, supporting Euler paths, and via N3 interoperable with Cwm.
• , a tableaux-based reasoner for expressive Description Logics, covering OWL and OWL 2 but lacking support for key constraints and some datatypes. Written in C++.
• , an object-oriented, rule-based knowledge-representation and reasoning system.
• , open-source decision rules engine on PHP.
• , OWL 2 DL reasoner
• , OWL 2 EL reasoner
• , an open-source semantic-web framework for Java which includes a number of different semantic-reasoning modules.
• , an open source business rules and decision management system. Along with a sequential rule engine, includes an inferential rule engine that utilizes a constraint solver
• , OWL 2 DL reasoner
• , a semantic-web rule engine which supports data integration via SPARQL queries and type systems.
• , OWL 2 DL reasoner
• , a lightweight C# framework designed to ease the creation of.NET applications based on the RDF model, representing a straightforward didactic solution for start playing with RDF and Semantic Web concepts. With RDFSharp it is possible to realize.NET applications capable of modeling, storing and querying RDF data.

  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.
• Internet Business Logic —A reasoner designed for end-user app authors. Automatically generates and runs complex networked SQL queries. Explains the results in English at the end-user level.

  Commercial software

• Bossam, a RETE-based rule engine with native supports for reasoning over OWL ontologies, SWRL rules, and RuleML rules.
• RacerPro
• OntoBroker is an inference engine with native reasoning over F-Logic, ObjectLogic, RIF, and OWL.

  Applications that contain reasoners

• SemanticMiner includes the OntoBroker reasoner to perform ontology-based semantic search.
• SemanticGuide is an OntoBroker based expert system.
• Apache Marmotta includes a rule-based reasoner in its KiWi triple store.
• —Ontology management framework initially designed for engineering ontology standard ISO 15926. Allows Python rule scripting and pattern-based data analysis. Supports extensions.