OO jDREW Bottom-Up Demo Application Instructions

1. Type Definition

If your knowledge base makes use of the type system, you must define the type hierarchy for it. This is done in RDFS, using the rdfs:Class and rdfs:subClassOf elements. This RDFS document can be entered in the text area provided on the Type Definition tab.

Note that the following types are predefined:

Thing - The top of the type lattice - every type will inherit from this type
String - A type to represent strings - this is used by the built-in relations
Numeric - A base type for numeric values
Integer - A type to represent integer numbers - this is a sub-type of Numeric. This is used by the built-in relations
Real - A type to represent real numbers - this is a sub-type of Numeric. This is used by the built-in relations
Nothing - The bottom of the type lattice - this type inherits from every type. This is used as the artificial lower bound when two types have no lower bound. You cannot create a type that is a sub-type of Nothing.

Once you have entered the rdfs to define your types press the Load Type Information button to parse the type information.

If your knowledge base does not make use of types you do not need to do anything on the Type Definition tab.

2. Knowledge Base

The knowledge base (rulebase) can be entered in either RuleML 0.88 (with rest tags) XML format, or the POSL syntax. At the Knowledge Base tab of the application window select the correct format with the radio buttons at the bottom of the tab, and then enter the knowledge base in the text area provided on the Knowledge Base tab, you should be able to copy and paste from other applications.

Once you have entered your knowledge base click the Parse Knowledge Base button to parse and load your knowledge base. When you parse a knowledge base all previous known clauses are erased.

If your knowledge base makes use of the type system you should complete step one before doing this step.

3. Running the Forward Reasoner

To run the forward reasoner click on the Run Forward Reasoner button on the Output tab, all facts and rules that can be produced from the input knowledge base are output in the text area on the Output tab, in the format of the format selected at the bottom of the application window (this can be changed inbetween parsing the knowledge base and running the reasoner).