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 re...
Expert system
In artificial intelligence, an expert system is a computer system that emulates the decision-making ability of a human expert.Expert systems are designed to solve complex problems by reasoning about k...
Cleverpath AION Business Rules Expert
Cleverpath AION Business Rules Expert (formerly Platinum AIONDS, and before that Trinzic AIONDS, and originally Aion) is an expert system and Business rules engine owned by Computer Associates by 2000...
Bossam (software)
Bossam is an inference engine (a Semantic Reasoner) for the semantic web. It is basically a RETE-based rule engine with native supports for reasoning over OWL ontologies, SWRL ontologies, and RuleML r...
Bossam (software) - Wikipedia
Business rules engine
A business rules engine is a software system that executes one or more business rules in a runtime production environment. The rules might come from legal regulation ("An employee can be fired for an...
DTRules
DTRules is an Open Sourced Rules Engine written entirely in Java. DTRules executes Decision tables directly, and utilizes a Domain-specific language for expressing the conditions and actions within t...
StrixDB
StrixDB is a Triplestore designed to manipulate middle sized RDF graphs.
StrixDB main features are:StrixDB could be used as:The Datalog resolution uses a version of SLG algorithm adapted to RDF ...
StrixDB - Wikipedia
Mandarax
Mandarax is an open source Java class library for deduction rules. It provides an infrastructure for defining, managing and querying rule bases.Mandarax has an expressive and simple domain-specific la...
CADUCEUS (expert system)
CADUCEUS was a medical expert system finished in the mid-1980s (first begun in the 1970s- it took a long time to build the knowledge base) by Harry Pople (of the University of Pittsburgh), building on...
CLIPS
CLIPS is a public domain software tool for building expert systems. The name is an acronym for "C Language Integrated Production System." The syntax and name was inspired by Charles Forgy's OPS ("Off...
R2ML
The REWERSE Rule Markup Language (R2ML) is developed by the REWERSE Working Group I1 for the purpose of rules interchange between different systems and tools.
JSR 94
JSR-94 is the Java Specification Request for a Java Rules Engine API. The specification for the Java Rule Engine API (JSR 94), developed through the Java Community Process (JCP) program, defines a Jav...
Dendral
Dendral was an influential pioneer project in artificial intelligence (AI) of the 1960s, and the computer software expert system that it produced. Its primary aim was to study hypothesis formation and...
Business rule management system
A BRMS or Business Rule Management System is a software system used to define, deploy, execute, monitor and maintain the variety and complexity of decision logic that is used by operational systems wi...
Event condition action
Event condition action (ECA) is a short-cut for referring to the structure of active rules in event driven architecture and active database systems.Such a rule traditionally consisted of three parts:T...
D3web
d3web is a free, open-source platform for knowledge-based systems (expert systems).Its core is written in Java using XML and/or Office-based formats for the knowledge storage.All of its components are...
D3web - Wikipedia
RuleML
The Rule Markup Language (RuleML) is a markup language developed to express both forward (bottom-up) and backward (top-down) rules in XML for deduction, rewriting, and further inferential-transformati...
Rule-based system
In computer science, rule-based systems are used as a way to store and manipulate knowledge to interpret information in a useful way. They are often used in artificial intelligence applications and r...
OpenL Tablets
OpenL Tablets is a business rule management system (BRMS) and a business rules engine (BRE) based on table representation of rules. Engine implements optimized sequential algorithm. OpenL includes suc...
Reasoning system
In information technology a reasoning system is a software system that generates conclusions from available knowledge using logical techniques such as deduction and induction. Reasoning systems play a...
Versata
Versata is a business-rules based application development environment running in Java EE. It is a subsidiary of Trilogy, Inc.
Versata started in the early 1990s as a software consulting company ca...
Jess (programming language)
Jess is a rule engine for the Java platform that was developed by Ernest Friedman-Hill of Sandia National Labs. It is a superset of the CLIPS programming language. It was first written in late 1995. T...
Corticon
Corticon Technologies, Inc. is a Business Rule Management System software company that provides enterprise software products designed to automate decision management through use of a patented rules e...
Corticon - Wikipedia
Drools
Drools is a business rule management system (BRMS) with a forward and backward chaining inference based rules engine, more correctly known as a production rule system, using an enhanced implementation...
Split Up (expert system)
Split Up is an intelligent decision support system, which makes predictions about the distribution of marital property following divorce in Australia. It is designed to assist judges, registrars of th...
ReteOO
ReteOO is an improved version of the Rete algorithm.Rete supports only boolean, first order logic.
Backward chaining
Backward chaining (or backward reasoning) is an inference method that can be described (in lay terms) as working backward from the goal(s). It is used in automated theorem provers, inference engines, ...
Backward chaining - Wikipedia
Production Rule Representation
The Production Rule Representation (PRR) is a proposed standard of the Object Management Group (OMG) to provide a vendor-neutral rule-model representation in UML for production rules as used in forwar...