OO+jDREW

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: OO jDREW is written in the Java programming language (Tested with Version 1.6.0).
 * Order Sorted Types
 * Slots
 * Object Identifiers

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 execution is used to infer all derivable knowledge from a set of clauses (forward reasoning). > Top-down execution is used to solve a query on the knowledge base (backward reasoning)
 * ===Bottom-Up===
 * ===Top-Down===

Supported Languages
> POSL is a Positional Slotted Language that implements RuleML shorthand (similar to prolog). > OO jDREW supports the XML syntax of RuleML.
 * ===POSL===
 * ===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.

Reports and Publications
[|CS4997 - Honours Thesis Report - Marcel Ball] [ [|Latex Source] ] [|OO jDREW Design Document: Indexing System for Mixed Positional/Slotted Terms] [ source is not currently available ] [|Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters - W3C Workshop on Rule Languages for Interoperability Position Paper] [|The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering] [ [|Latex Source] ] [|Translating FOAF/RDF-like Profiles for an eTourism Use Case of OO jDREW] [ [|Latex Source] ] [|Combining Rules, Taxonomies and Probabilities in the Extended OO jDREW Rule Engine] [ [|Latex Source] ] [|Deploying a Distributed Symposium Planner Through Rule Responder] [ [|Latex Source] ] [|Personal Agents in the Rule Responder Architecture] [ [|Latex Source] ] [|Evaluating Centralized, Hierarchical, and Networked Architectures for Rule Systems] [ [|Latex Source] ]

Presentations
[|Honours Project Presentation - Marcel Ball] [|CS6905 - Functional Logic Programming - RuleML Lecture Slides] [|The OO jDREW Reference Implementation of RuleML - International Conference RuleML 2005] [|The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering Presentation] [ [|PPT Source] ] [|Rule Responder: A Multi-Agent Web Platform for Collaborative Virtual Organizations Based on RuleML and OO jDREW APICS presentation] [ [|PPT Source] ] [|RuleML Query Answering with Personal OO jDREW Agents in Rule Responder] [ [|PPT Source] ] [|Rule Responder: An Intelligent Multi-Agent System for Collaborative Teams and Virtual Communities NBI-2008] [ [|PPT Source] ] [|Deploying a Distributed Symposium Planner Through Rule Responder RuleML-2008] [ [|PPT Source] ] [|Personal Agents in the Rule Responder Architecture RuleML-2008] [ [|PPT Source] ] [|Evaluating Centralized, Hierarchical, and Networked Architectures for Rule Systems CS4983 Presentation - Ben Craig] [ [|PPT Source] ] [|Rule Responder Agents for Distributed Query Answering - Harold Boley, Benjamin Craig, and Taylor Osmun] [ [|PPT Source] ]

Examples
The following link contains a set of examples that can be run in OO jDREW: [|Examples]

JavaDoc API Documentation
[|Quick API guide] JavaDoc API Documentation for Version 0.961 [|JavaDoc API Documentation for Version 0.961 - zip download] JavaDoc API Documentation for Version 0.94 [|JavaDoc API Documentation for Version 0.94 - zip download] JavaDoc API Documentation for Version 0.93 [|JavaDoc API Documentation for Version 0.93 - zip download] JavaDoc API Documentation for Version 0.90 (Incomplete) [|JavaDoc API Documentation for Version 0.90 - zip download (Incomplete)] JavaDoc API Documentation for Version 0.88 (Incomplete) [|JavaDoc API Documentation for Version 0.88 - zip download (Incomplete)]

Built-ins Documentation
[|Implemented SWRL Built-ins] [|Built-in Creation Guide] [|Examples of Using Builtins]

Documentation of other Features
[|Glossary of RuleML 0.91 Tags Supported by OO jDREW] [|Differences Between the 0.88 and 0.91 RuleML Parsers in OO jDREW]

[|How to use the OO jDREW extension of TD Findall Solutions]

[|Examples of Testing for Stratification] [|Examples of Using the Loop Counter for BU Iterations] [|Examples of Displaying Only Derived Facts and not Generatated Rules]

[|Examples of Using the Data Element] [|Systematic Variations of OID Use]

[|How to Read (from hard disk and online source) and Write Files (to hard disk)]

[|How to use the Taxonomy Query System of OO jDREW] [|How to use the TaxonomyQuerying API of OO jDREW] [|Instructions on using the Complete OO jDREW API (COjDA)] [|How to use the template file to incorporate OO jDREW into java applications (precursor to COjDA)]