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

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.