Various rule engines have been used to execute (queries posed to) rulebases for subsets of RuleML as described in the following.
- OO jDREW: Naf Hornlog RuleML engine
- Prova: Reaction RuleML engine
- DR-DEVICE: Defeasible logic RuleML engine
- NxBRE: Naf Datalog RuleML engine
- VampirePrime: FOL reasoner
- XSB Prolog: Prolog engine
- PSOATransRun: Translator-based PSOA RuleML implementation
- Drools: Reaction RuleML engine
2000-11-15: The RuleML Initiative joined forces with the Java Specification Request JSR-000094 Java Rule Engine API. This cooperation will enable a direct cross-fertilization between the complementary specifications of the open XML-based Rule Markup Language and of the Java runtime API for rule engines.
2001-06-04: Jens Dietrich implemented the first complete input-processing-output environment for RuleML. To download the api (source code) click Mandarax RuleML. Any feedback is welcome! If you have problems, don't hesitate to contact Jens for assistance.
2002-03-08: Jens Dietrich has finally published Mandarax 1.6 with major improvements, including new docs and all the features discussed in the Mandarax Dagstuhl Talk. One of the new packages is xkb_b1.jar -- it contains a modular driver to translate rule bases to XML and vice versa. I.e., there are tiny adapter objects responsible for exporting/importing rules, facts, terms etc. This should enable us to set up a reference application for any new standard in hours.
2001-06-26: Michael Sintek has implemented a small XSB-based engine that can also be looked at as the first RuleML querying agent. It's a servlet (running in Tomcat) that receives RuleML rulebases in RDF RuleML syntax (since he uses The FRODO rdf2java Tool) together with some queries, evaluates them with XSB Prolog (in auto-tabling mode, which should be equivalent to bottom-up evaluation!), and returns the result as an HTML page containing the bindings as facts of instantiated queries. A future version must, of course, return a RuleML file. Simply try this URL. Click on 'example' and paste the RDF RuleML popping up into the input window (note that pasting XML/RDF cannot be directly done in IE, only in Netscape; use "view source" in IE). Alternatively, you can use the Prolog parser and RDF translator to generate the RDF RuleML. Since we cannot guarantee that the above URLs always work (server reboots etc.), this picture shows the agent in action. Any feedback is welcome! If you have problems, don't hesitate to contact Michael for assistance.
2002-02-06: Bruce Spencer further refined The Design of j-DREW, a Deductive Reasoning Engine for the Semantic Web.
2005-05-06: Marcel Ball [maball AT gmail DOT com] revised the documentation of OO jDREW, summarized in the Position Paper Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters of the W3C Workshop on Rule Languages for Interoperability.
2008-06-30: A team led by Nick Bassiliades, Grigoris Antoniou and Guido Governatori has released a new version of DR-Device (version 0.81) with support for modalities and proof exporting. DR-Device is a defeasible logic reasoning system with priorities among rules, two types of negation (strong, default) and conflicting (mutually exclusive) literals. The system is implemented on top of CLIPS and has been extended to introduce rule modes that determine the modality of the conclusion and modalized literals in the premises of rule bodies. Furthermore, the system exports in a formal RuleML-like representation an explanation for the proof of the rule program conclusions. The aim is (a) to take advantage of the expressive power of modal logics to define various agent behaviors, and (b) to to increase user/agent trust towards rule-based Semantic Web applications.
3 Usage of this Page as a Template