This class represents a single rule in a RDFS inference model.
It primary constists of a trigger and an entailment. In the forward-chaining mode (RDFSFModel) a statement is checked, if it satisfies the trigger. If it does, a new statement is returned. In the backward-chaining mode (RDFSBModel) a find-query is checked with the entailment. If this entailment could satify the find-query, a new find-query is returned, that searches for statements that satisfy the trigger of this rule.
Located in /infModel/InfRule.php (line 24)
Array, that hold the entailment subject in key ['s'], the entailment predicate in ['p'], and the entailment object in ['o'].
The array values can be a node that will be inserted in the returning statement, or '<s>' to insert the subject,'<p>' to insert the predicate, or '<o>' to insert the object of the checked statement to this position in the new returned statement.
Array, that hold the trigger subject in key ['s'], the trigger predicate in ['p'], and the trigger object in ['o'].
The array values can be NULL to match anything or be a node that has to be matched.
Checks, if this rule could entail a statement that matches a find of $subject,$predicate,$object.
Checks, if the statement satisfies the trigger.
Returns a infered InfStatement by evaluating the statement with the entailment rule.
Returns a find-query that matches statements, whose entailed statements would match the supplied find query.
Sets the entailment of this rule The values can be NULL to match anything or be a node that has to be matched.
Sets the trigger of this rule The values can be NULL to match anything or be a node that has to be matched.
Documentation generated on Mon, 26 Jun 2006 14:25:33 +0200 by phpDocumentor 1.3.0RC6