[infModel] element index

Package indexes

All elements
a c e f g i l r s t w _
_
top
_addInfRule
InfModel::_addInfRule() in InfModel.php
Adds an InfRule to the InfModel.
_addInfruleToIndex
Adds the URI or NULL to the Infrule trigger or entailment index.
_addToInference
This function analyses the statement's predicate and adds the matching infrule to the model.
_entailStatementRec
Recursive method, that checks the statement with the trigger of every rule. If the trigger matches and entails new statements, those statements are recursively infered too.
_findRuleEntailmentInIndex
Searches the Entailment-index for a matching Entailment and returns an array of infRule positions.
_findRuleTriggerInIndex
Searches the trigger-index for a matching trigger and returns an array of infRule positions.
_infFind
InfModelB::_infFind() in InfModelB.php
This is the main inference method of the InfModelB The algorithm works as follows: Find all statements in the base model, that matches the current find-query.
_nodeEqualsFind
Checks, if a single node matches a single find pattern.
_removeFromInference
This function checks, which infrules were added by the statement and removes those.
a
top
add
InfModel::add() in InfModel.php
Adds a new triple to the Model without checking if the statement is already in the Model.
add
InfModelF::add() in InfModelF.php
Adds a new triple to the MemModel without checking if the statement is already in the MemModel.
add
InfModelB::add() in InfModelB.php
Adds a new triple to the Model without checking, if the statement is already in the Model. So if you want a duplicate free Model use the addWithoutDuplicates() function (which is slower then add())
addModel
InfModelF::addModel() in InfModelF.php
Adds another model to this MemModel.
addWithoutDuplicates
Checks if a new statement is already in the MemModel and adds the statement, if it is not in the MemModel.
applyInference
Entails every statement and adds the entailments if not already in the model.
c
top
checkEntailment
Checks, if this rule could entail a statement that matches a find of $subject,$predicate,$object.
checkTrigger
Checks, if the statement satisfies the trigger.
contains
InfModelB::contains() in InfModelB.php
Tests if the Model contains the given triple.
e
top
$entailment
InfRule::$entailment in InfRule.php
Array, that hold the entailment subject in key ['s'], the entailment predicate in ['p'], and the entailment object in ['o'].
entail
InfRule::entail() in InfRule.php
Returns a infered InfStatement by evaluating the statement with the entailment rule.
entailStatement
Entails a statement by recursively using the _entailStatementRec method.
f
top
$findDeadEnds
InfModelB::$findDeadEnds in InfModelB.php
Array that holds combinations of inference rules with distinct find-querys, that don't lead to any inference.
find
InfModelB::find() in InfModelB.php
General method to search for triples.
findAsIterator
Returns a FindIterator for traversing the MemModel.
findFirstMatchingStatement
Searches for triples and returns the first matching statement.
findRegex
InfModel::findRegex() in InfModel.php
Method to search for triples using Perl-style regular expressions.
findVocabulary
Returns all tripels of a certain vocabulary.
g
top
getBaseMemModel
Create a MemModel containing only the base triples (without inferred statements) of the current InfModelB.
getBaseMemModel
Create a MemModel containing only the base triples (without inferred statements) of the current InfModelF.
getEntailment
getMemModel
InfModelB::getMemModel() in InfModelB.php
Create a MemModel containing all the triples (including inferred statements) of the current InfModelB.
getMemModel
InfModelF::getMemModel() in InfModelF.php
Create a MemModel containing all the triples (including inferred statements) of the current InfModelF.
getModifiedFind
Returns a find-query that matches statements, whose entailed statements would match the supplied find query.
getSchema
InfModel::getSchema() in InfModel.php
Returns a model, containing all Statements, having a Predicate, that is supported by the inference.
getStatementIterator
Returns a StatementIterator for traversing the Model.
getTrigger
InfRule::getTrigger() in InfRule.php
i
top
$inferenceEnabled
Variable that influences the habbit when adding statements.
$infPos
InfModelF::$infPos in InfModelF.php
Array that holds the position of the infered statements in the model.
$infRules
InfModel::$infRules in InfModel.php
Array that holds the objects of the class Infrule, which were assigned by the _addToInference() function
$infRulesEntailIndex
Array of the infRule entailments and the matching infrules.
$infRulesTriggerIndex
Array of the infRule triggers and the matching infrules.
InfModel
InfModel in InfModel.php
A InfModel Model extends a MemModel , by adding the ability to infer statements from known statements and RDFS/OWL-Schematas.
InfModel
InfModel::InfModel() in InfModel.php
Constructor You can supply a base_uri
InfModel.php
InfModel.php in InfModel.php
InfModelB.php
InfModelB.php in InfModelB.php
InfModelF.php
InfModelF.php in InfModelF.php
InfRule.php
InfRule.php in InfRule.php
InfStatement.php
InfStatement.php in InfStatement.php
InfModelB
InfModelB in InfModelB.php
A InfModelB extends the InfModel Class, with a backward chaining algorithm.
InfModelB
InfModelB::InfModelB() in InfModelB.php
Constructor You can supply a base_uri
InfModelF
InfModelF in InfModelF.php
A InfModelF extends the InfModel Class, with a forward chaining algorithm.
InfModelF
InfModelF::InfModelF() in InfModelF.php
Constructor You can supply a base_uri.
infRule
InfRule::infRule() in InfRule.php
Constructor
InfRule
InfRule in InfRule.php
This class represents a single rule in a RDFS inference model.
InfStatement
InfStatement in InfStatement.php
An RDF statement which was entailed by a inference rule.
l
top
load
InfModelF::load() in InfModelF.php
Load a model from a file containing RDF, N3 or N-Triples.
r
top
remove
InfModelF::remove() in InfModelF.php
Removes the triple from the MemModel.
remove
InfModelB::remove() in InfModelB.php
Removes the triple from the MemModel.
removeInfered
Removes all infered statements from the model but keeps the infernece rules.
replace
InfModel::replace() in InfModel.php
General method to replace nodes of a MemModel.
s
top
$statementRuleIndex
Array of the connection between the infrules and the statement that assigned those rules.
$supportedInference
Array of URI-Strings that produces Infrules.
saveAs
InfModelB::saveAs() in InfModelB.php
Saves the RDF,N3 or N-Triple serialization of the full InfModelB (including inferred triples) to a file.
setEntailment
Sets the entailment of this rule The values can be NULL to match anything or be a node that has to be matched.
setTrigger
InfRule::setTrigger() in InfRule.php
Sets the trigger of this rule The values can be NULL to match anything or be a node that has to be matched.
size
InfModelB::size() in InfModelB.php
Number of all inferable triples in the Model.
t
top
$trigger
InfRule::$trigger in InfRule.php
Array, that hold the trigger subject in key ['s'], the trigger predicate in ['p'], and the trigger object in ['o'].
toString
InfModelF::toString() in InfModelF.php
Short Dump of the InfModelF.
toString
InfModelB::toString() in InfModelB.php
Short Dump of the InfModelB.
toStringIncludingTriples
Dumps of the InfModelB including ALL inferable triples.
w
top
writeAsHtml
InfModelB::writeAsHtml() in InfModelB.php
Writes the RDF serialization of the Model including ALL inferable triples as HTML.
writeAsHtmlTable
Writes the RDF serialization of the Model including ALL inferable triples as HTML table.
writeRdfToString
Writes the RDF serialization of the Model including ALL inferable triples.
a c e f g i l r s t w _