> Home
> Documentation
> Downloads
> Online Demo
> Contact

 

Introduction

OO jDREW, a deductive reasoning engine for the RuleML web rule language, is an Object Oriented extension to jDREW. OO jDREW implements Object Oriented extensions to RuleML which include:

  • Order Sorted Types
  • Slots
  • Object Identifiers
OO jDREW is written in the Java programming language (Tested with Version 1.6.0).

Getting OO jDREW

OO jDREW can be run online at this link.

OO jDREW can be downloaded at this link.

Modes of Execution

  • Bottom-Up

    Bottom-up execution is used to infer all derivable knowledge from a set of clauses (forward reasoning).

  • Top-Down

    Top-down execution is used to solve a query on the knowledge base (backward reasoning)

Supported Languages

  • POSL

    POSL is a Positional Slotted Language that implements RuleML shorthand (similar to prolog).

  • RuleML

    OO jDREW supports the XML syntax of RuleML.

License

OO jDREW - Copyright (C) 2005 - 2008 Marcel Ball and Ben Craig

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

Last Updated:
   Dec 3, 2008

By:
   Ben Craig