Knowledge base will be created in OOjDREW using POSL and RuleML. We will use the following logical expressions to represent expression based on the number of arguments associated with the relation.
Binary datalog
Binary datalog can be used only with two arguments (two basic dimensions or constants,e.g. Area: = length * length).
Datalog
For polyadic relations, binary datalog is not sufficient for expressivity, but we can use Datalog with a limitation of using functions (e.g. Acceleration which can be expressed in terms of basic dimension as Distance/ (Time*Time)).
Hornlog
If functions are necessary, then datalog will not be sufficient for expressivity. So, for that, we will use Hornlog (e.g. dimension Force (Force: = mass * acceleration, where acceleration is function which will be defined as mention in datalog above).
RuleML 1.0
It has slight variations compared to the earlier release(i.e release 0.91), code will also be written in RuleML apart from POSL and will be executed in OO jDREW.
Knowledge base in the OO jDREW (Object Oriented Java Deductive Reasoning Engine for the Web), which is the reference implementation of the (Naf Hornlog) RuleML Web rule language. It is an Object Oriented extension to jDREW.
