Rule Systems
This page lists the rule systems that are of interest to the RIF WG.
A rule system is defined as a piece of software that implements or supports a rule language in some way (e.g. a rule engine, a rule editor).
A rule system is of interest to the RIF WG if it is liable to enter in applications where it will be required to interchange rules (with other rule systems of interest). In first approximation, we will consider a rule system to be of interest to the RIF WG if a participant in the group is willing to represent/defend it or (should that be: and?) if it implements a Use Case.
Needless to say that the list is tentative.
List of Rule Systems
There is no template for the description of a rule system. We will define one if and when we need it. The table just lists some basic but potentially useful information. The first five columns are mandatory.
C/A/D: Commercial/Academic/Deployed. Deployed means used in a deployed application (mostly useful for non commercial systems, I guess)
Contact : Contact person for that rule system (MUST be a participant in the WG)
Use Cases : Use cases this system supports
Name of Rule System |
C/A/D |
Contact |
Use Cases |
Rule language |
Comments |
Links |
A/D |
Information Integration |
Open source (LGPL) |
based on F-logic, HiLog, and Transaction Logic |
|||
ILOG BRMS |
C/D |
Proprietary production rule language (IRL) |
Java, C++ and .NET versions |
|||
jDREW / OO jDREW |
A/D |
RIF RuleML FOAF |
RuleML sublanguage for Derivation Rules |
Java Open source download under LGPL, Online as Java Web Start |
||
Hoolet |
A |
Uses Vampire theorem prover via translation into FOL |
||||
KAON2 |
C/A |
Filling the holes of OWL (partial), Ontology Mapping with OWL and Rules, Policy - Preference Computing, Rich Knowledge Representation |
DL-safe Subset of SWRL |
Java 1.5 |
||
TRIPLE |
A |
TRIPLE (F-Logic-inspired rule language for RDF) |
Java & XSB |
|||
Bossam |
A |
Proprietary extended Production Rule Language (Buchingae), Supports translating & processing SWRL & RuleML subsets |
Java |
|||
D |
Message Transformation relevant to some in Information Integration |
OpenSource RDF rule language (forward production and tabled backward chaining). |
Java |
|||
Euler |
D |
Backward-chaining reasoner enhanced with Euler path detection. Via N3 it is interoperable with W3C Cwm |
Java |
|||
C/D |
F-logic variant with procedural attachements (e.g. built-ins to access relational databases and other data sources, e.g. web services) |
Java implementation. Supports well-founded semantics. |
OntoBroker and Trial Version of OntoStudio (OntoStudio is an ontology editor with reasoning support by OntoBroker) |
|||
Fair Isaac Blaze Advisor |
C/D |
BobMoore (updated 5Nov06) |
Real-time contract exchange |
Structured Rules Language (SRL) |
Java, COBOL, X-Forms* and .NET versions |
http://www.fairisaac.com/rules[[BR]]http://www.fairisaac.com/edm |
Oracle Database |
C |
Enterprise Information Integration |
SQL, XQuery, some SPARQL operators |
Federate using gateways, ODBC adapters, XML files, web services. Consolidate many formats including XML and RDF. |
||
Oracle Rules Manager |
C |
Organizing a Vacation with Friends |
XML conditions and PL/SQL actions |
ECA rules in the Oracle Database |
||
Oracle Business Rules |
C |
Importing rules to check data compliance |
Java-like language for programmers and web UI for business analysts |
rule engine (based on Jess) and tools in Fusion Middleware product |
||
A/D |
TextGarden is a set of tools to generate rules from text/web data. Implemented in C++, APIs for Java, Python, R, Mathlab, Mathematica . |
|||||
A |
Product Compatibility |
like database views with a logical syntax |
Logic Programming like for XML/RDF |
Prototype for Linux and MS |
||
A |
Organizing a Vacation with Friends |
ECA rules, logical event query language, builds upon and extends Xcerpt |
sophisticated event queries and updates in a logical/logic programming setting |
|||
A |
Policy-Based Transaction Authorization and Access Control category of use cases |
Policy and trust negotiation language |
Automated Trust Negotiation for Peers on the Semantic Web |
|||
A/D |
Reasoner for Datalog programs with negation and function symbols. Well-founded semantics is supported. |
Java |
||||
C/A/D |
Information Integration |
Disjunctive Datalog with classical and default negation and aggregates, extensions with an ODBC interface, built-ins, interfacing with DL reasoners |
impemented in C++, Java Wrapper available |
DLV project page |
||
A/D |
Information Integration |
Open source (LGPL) |
based on Java, |
|||
C/D |
Real-time contract exchange |
Proprietary rule language |
Production and ECA rules with extensions for stateful Complex Event Processing |
|||
A/D |
Stratified datalog or WSML, |
Java |
http://iris-reasoner.org/ |
|||
A/D |
Userv 2005 |
XML Schema based markup |