prajna.ontology.inference

Class CalcClause

java.lang.Object

prajna.ontology.inference.CalcClause

public class CalcClause
extends java.lang.Object

Clause representing a calculated value within a rule. This method models the builtins of SWRL and other rule languages.

Author:

Edward Swing

Constructor Summary

Constructors

Constructor and Description
CalcClause(RdfThing result, Operator operator, RdfThing operand1, RdfThing operand2) Create a CalcClause with the provided operands, operator, and result.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	evaluate(java.util.Map<java.lang.String,RdfThing> vars) Evaluate the CalcClause with the provided map of variables.
java.lang.String	toString() Return the string value of this calc clause

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CalcClause

public CalcClause(RdfThing result,
          Operator operator,
          RdfThing operand1,
          RdfThing operand2)

Create a CalcClause with the provided operands, operator, and result. At least two of the objects should be variable.

Parameters:

result - the result of the operation

operator - the operator

operand1 - the first operand

operand2 - the second operand

Method Detail

evaluate

public boolean evaluate(java.util.Map<java.lang.String,RdfThing> vars)

Evaluate the CalcClause with the provided map of variables. This method replaces the variables within the CalcClause with any known values. If both operands are known, either as constants or known variables, it calculates the resulting value. If the result for this CalcClause is an unknown variable, it adds a variable mapped to the calculated value in the variable map. If the CalcClause is either a known variable or a constant, this method checks to see if the calculated value matches the known value.

Parameters:

vars - the map of variables

Returns:

false if the CalcClause evaluation derives a value that does not match a known value for the result, true otherwise

toString

public java.lang.String toString()

Return the string value of this calc clause

Overrides:

toString in class java.lang.Object

Returns:

the string representation