prajna.ontology.inference

Class Rule

java.lang.Object

prajna.ontology.inference.Rule

public class Rule
extends java.lang.Object

This class represents an inference rule. The inference rules are represented as a set of conditions and a set of results. Conditions, usually represented by variable RDF triples, represent the triples that need to be true. If the conditions are true for a particular assignment of variables, a resulting RDF triple corresponding to each result clause will be generated.

Author:

Edward Swing

Constructor Summary

Constructors

Constructor and Description
Rule()

Method Summary

Methods

Modifier and Type	Method and Description
void	addCondition(RdfTriple condition) Add a condition clause to the Rule
void	addDerivedClause(CalcClause clause) Add a derived clause to the rule
void	addResult(RdfTriple result) Add a result clause to this rule
java.util.Set<RdfTriple>	applyRule(TripleStore store) Apply the rule to the triple store provided.
java.lang.String	toString() Return the string representation of this rule.

Methods inherited from class java.lang.Object

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

Constructor Detail

Rule

public Rule()

Method Detail

addCondition

public void addCondition(RdfTriple condition)

Add a condition clause to the Rule

Parameters:

condition - the new condition clause for this rule

addDerivedClause

public void addDerivedClause(CalcClause clause)

Add a derived clause to the rule

Parameters:

clause - the clause to add

addResult

public void addResult(RdfTriple result)

Add a result clause to this rule

Parameters:

result - the new result clause

applyRule

public java.util.Set<RdfTriple> applyRule(TripleStore store)

Apply the rule to the triple store provided. This method checks the triple store for triples matching the clauses, and determines if it can find one or more sets of matching variables for the clauses. For each set of matches, this method returns the triples derived by applying the variables to the results clauses. This method does not insert the new triple into the triple store.

Parameters:

store - the triple store to check for matches to the condition clauses

Returns:

the set of triples inferred by this rule

toString

public java.lang.String toString()

Return the string representation of this rule. This implementation shows the conditions and the results

Overrides:

toString in class java.lang.Object

Returns:

the string representation of this rule