Class InfRule

Description

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)


	
			
Variable Summary
array $entailment
array $trigger
Method Summary
boolean checkEntailment (mixed $subject,  $predicate,  $object)
boolean checkTrigger (mixed &$statement)
object InfStatement entail (mixed &$statement)
void getEntailment ()
array getModifiedFind (mixed $subject, mixed $predicate, mixed $object)
void getTrigger ()
void infRule ()
void setEntailment (mixed $subject, mixed $predicate, mixed $object)
void setTrigger (mixed $subject, mixed $predicate, mixed $object)
Variables
array $entailment (line 49)

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.

  • access: private
array $trigger (line 36)

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.

  • access: private
Methods
checkEntailment (line 170)

Checks, if this rule could entail a statement that matches a find of $subject,$predicate,$object.

  • throws: PhpError
  • access: public
boolean checkEntailment (mixed $subject,  $predicate,  $object)
  • $predicate
  • $object
checkTrigger (line 140)

Checks, if the statement satisfies the trigger.

  • throws: PhpError
  • access: public
boolean checkTrigger (mixed &$statement)
entail (line 203)

Returns a infered InfStatement by evaluating the statement with the entailment rule.

  • throws: PhpError
  • access: public
object InfStatement entail (mixed &$statement)
getEntailment (line 335)
void getEntailment ()
getModifiedFind (line 277)

Returns a find-query that matches statements, whose entailed statements would match the supplied find query.

  • throws: PhpError
  • access: public
array getModifiedFind (mixed $subject, mixed $predicate, mixed $object)
getTrigger (line 327)
void getTrigger ()
infRule (line 58)

Constructor

  • access: public
void infRule ()
setEntailment (line 110)

Sets the entailment of this rule The values can be NULL to match anything or be a node that has to be matched.

  • throws: PhpError
  • access: public
void setEntailment (mixed $subject, mixed $predicate, mixed $object)
setTrigger (line 76)

Sets the trigger of this rule The values can be NULL to match anything or be a node that has to be matched.

  • throws: PhpError
  • access: public
void setTrigger (mixed $subject, mixed $predicate, mixed $object)

Documentation generated on Mon, 26 Jun 2006 14:25:33 +0200 by phpDocumentor 1.3.0RC6