Docs For 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.

author: Daniel Westphal <at d-westphal dot de mail at d-westphal dot de>
version: $Id: InfRule.html 443 2007-06-01 16:25:38Z cax $
access: public

Located in /infModel/InfRule.php (line 24)

Method Summary

boolean checkEntailment (object Statement $subject, $predicate, $object)

boolean checkTrigger (object Statement &$statement)

object InfStatement entail (object Statement &$statement)

void getEntailment ()

array getModifiedFind (Node $subject, Node $predicate, Node $object)

void getTrigger ()

void infRule ()

void setEntailment (object Node $subject, object Node $predicate, object Node $object)

void setTrigger (object Node $subject, object Node $predicate, object Node $object)

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 (object Statement $subject, $predicate, $object)

object Statement $subject
$predicate
$object

checkTrigger (line 140)

Checks, if the statement satisfies the trigger.

throws: PhpError
access: public

boolean checkTrigger (object Statement &$statement)

object Statement &$statement

entail (line 203)

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

throws: PhpError
access: public

object InfStatement entail (object Statement &$statement)

object Statement &$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 (Node $subject, Node $predicate, Node $object)

Node $subject: OR null $subject
Node $predicate: OR null $predicate
Node $object: OR null $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 (object Node $subject, object Node $predicate, object Node $object)

object Node $subject: OR NULL $subject
object Node $predicate: OR NULL $predicate
object Node $object: OR NULL $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 (object Node $subject, object Node $predicate, object Node $object)

object Node $subject: OR NULL $subject
object Node $predicate: OR NULL $predicate
object Node $object: OR NULL $object