Context Navigation

source: Dev/branches/rest-dojo-ui/jQueryUI/server/rdfapi/infModel/InfModel.php @ 312

Last change on this file since 312 was 312, checked in by jkraaijeveld, 13 years ago

File size: 21.8 KB

Line
1	<?php
2	// ----------------------------------------------------------------------------------
3	// Class: infModel
4	// ----------------------------------------------------------------------------------
5
6	/**
7	* A InfModel Model extends a MemModel , by adding the ability to infer statements from
8	* known statements and RDFS/OWL-Schematas.
9	* It uses the same interface as MemModel, thus making the
10	* infererence process hidden.
11	*
12	* @version $Id: InfModel.php 290 2006-06-22 12:23:24Z tgauss $
13	* @author Daniel Westphal <mail at d-westphal dot de>
14	*
15	* @package infModel
16	* @access public
17	*/
18
19	class InfModel extends MemModel
20	{
21	/**
22	* Array that holds the objects of the class Infrule,
23	* which were assigned by the _addToInference() function
24	*
25	* @var array
26	* @access private
27	*/
28	var $infRules;
29
30	/**
31	* Array of URI-Strings that produces Infrules.
32	*
33	* @var array
34	* @access private
35	*/
36	var $supportedInference;
37
38	/**
39	* Array of the connection between the infrules and the statement
40	* that assigned those rules.
41	* array[2][3]=true;array[2][5]=true means, that statement 2
42	* assigned rule 3 & 5 to the model.
43	*
44	* @var array
45	* @access private
46	*/
47	var $statementRuleIndex;
48
49	/**
50	* Array of the infRule triggers and the matching infrules.
51	* $this->infRulesTriggerIndex['s'] for subject index, ['p'] for predicates,
52	* and ['o'] for objects.
53	*
54	* @var array
55	* @access private
56	*/
57	var $infRulesTriggerIndex;
58
59	/**
60	* Array of the infRule entailments and the matching infrules.
61	* $this->infRulesEntailIndex['s'] for subject index, ['p'] for predicates,
62	* and ['o'] for objects.
63	*
64	* @var array
65	* @access private
66	*/
67	var $infRulesEntailIndex;
68
69
70
71	/**
72	* Constructor
73	* You can supply a base_uri
74	*
75	* @param string $baseURI
76	* @access public
77	*/
78	function InfModel ($baseURI = NULL)
79	{
80	//call the memmodel constructor method
81	parent::MemModel($baseURI);
82	//initialise vars
83	$this->infRulesTriggerIndex['s']=array();
84	$this->infRulesTriggerIndex['p']=array();
85	$this->infRulesTriggerIndex['o']=array();
86	$this->infRulesEntailIndex['s']=array();
87	$this->infRulesEntailIndex['p']=array();
88	$this->infRulesEntailIndex['o']=array();
89	$this->infRules=array();
90	$this->statementRuleIndex = array();
91	//arraylist of predicate labels that shall add inference rules
92	//to the model
93	//The constants, wich statements will create rules can be configured in constants.php
94	if (INF_RES_SUBCLASSOF)
95	$this->supportedInference[] = RDF_SCHEMA_URI.RDFS_SUBCLASSOF;
96
97	if (INF_RES_SUBPROPERTYOF)
98	$this->supportedInference[] = RDF_SCHEMA_URI.RDFS_SUBPROPERTYOF;
99
100	if (INF_RES_RANGE)
101	$this->supportedInference[] = RDF_SCHEMA_URI.RDFS_RANGE;
102
103	if (INF_RES_DOMAIN)
104	$this->supportedInference[] = RDF_SCHEMA_URI.RDFS_DOMAIN;
105
106	if (INF_RES_OWL_SAMEAS)
107	$this->supportedInference[] = OWL_URI.OWL_SAME_AS;
108
109	if (INF_RES_OWL_INVERSEOF)
110	$this->supportedInference[] = OWL_URI.OWL_INVERSE_OF;
111
112	//Rule: rdfs12
113	if (INF_RES_RULE_RDFS12)
114	{
115	$infRule=new InfRule();
116	$infRule->setTrigger(null,new Resource(RDF_NAMESPACE_URI.RDF_TYPE),new Resource(RDF_SCHEMA_URI.'ContainerMembershipProperty'));
117	$infRule->setEntailment('<s>',new Resource(RDF_SCHEMA_URI.RDFS_SUBPROPERTYOF),new Resource(RDF_SCHEMA_URI.'member'));
118	$this->_addInfRule($infRule,'base');
119	}
120
121	//Rule: rdfs6
122	if (INF_RES_RULE_RDFS6)
123	{
124	$infRule=new InfRule();
125	$infRule->setTrigger(null,new Resource(RDF_NAMESPACE_URI.RDF_TYPE),new Resource(RDF_NAMESPACE_URI.RDF_PROPERTY));
126	$infRule->setEntailment('<s>',new Resource(RDF_SCHEMA_URI.RDFS_SUBPROPERTYOF),'<s>');
127	$this->_addInfRule($infRule,'base');
128	}
129
130	//Rule: rdfs8
131	if (INF_RES_RULE_RDFS8)
132	{
133	$infRule=new InfRule();
134	$infRule->setTrigger(null,new Resource(RDF_NAMESPACE_URI.RDF_TYPE),new Resource(RDF_SCHEMA_URI.RDFS_CLASS));
135	$infRule->setEntailment('<s>',new Resource(RDF_SCHEMA_URI.RDFS_SUBCLASSOF),new Resource(RDF_SCHEMA_URI.RDFS_RESOURCE));
136	$this->_addInfRule($infRule,'base');
137
138	}
139
140	//Rule: rdfs10
141	if (INF_RES_RULE_RDFS10)
142	{
143	$infRule=new InfRule();
144	$infRule->setTrigger(null,new Resource(RDF_NAMESPACE_URI.RDF_TYPE),new Resource(RDF_SCHEMA_URI.RDFS_CLASS));
145	$infRule->setEntailment('<s>',new Resource(RDF_SCHEMA_URI.RDFS_SUBCLASSOF),'<s>');
146	$this->_addInfRule($infRule,'base');
147	}
148
149	//Rule: rdfs13
150	if (INF_RES_RULE_RDFS13)
151	{
152	$infRule=new InfRule();
153	$infRule->setTrigger(null,new Resource(RDF_NAMESPACE_URI.RDF_TYPE),new Resource(RDF_SCHEMA_URI.RDFS_DATATYPE));
154	$infRule->setEntailment('<s>',new Resource(RDF_SCHEMA_URI.RDFS_SUBCLASSOF),new Resource(RDF_SCHEMA_URI.RDFS_LITERAL));
155	$this->_addInfRule($infRule,'base');
156	}
157
158	}
159
160	/**
161	* Adds a new triple to the Model without checking if the statement
162	* is already in the Model.
163	* So if you want a duplicate free MemModel use the addWithoutDuplicates()
164	* function (which is slower then add())
165	* If the statement's predicate label is supported by the inference,
166	* the matching rules are added.
167	*
168	* @param object Statement $statement
169	* @access public
170	* @throws PhpError
171	*/
172	function add($statement)
173	{
174	parent::add($statement);
175	//if the predicate is supported by the inference
176	if (in_array($statement->getLabelPredicate(),$this->supportedInference))
177	{
178	$this->_addToInference($statement);
179	};
180	}
181
182	/**
183	* This function analyses the statement's predicate and adds the
184	* matching infrule to the model.
185	*
186	* @param object Statement $statement
187	* @access private
188	*/
189	function _addToInference($statement)
190	{
191	$predicateLabel=$statement->getLabelPredicate();
192	//get the position of the the statement in the model
193	end($this->triples);
194	$statementPosition=key($this->triples);
195
196	switch ($predicateLabel)
197	{
198	case RDF_SCHEMA_URI.RDFS_SUBPROPERTYOF :
199	//create a new rule
200	$infRule=new InfRule();
201	//set the trigger to match all statements, having a
202	//predicate, that matches the subject of the statement that
203	//created this rule.
204	$infRule->setTrigger(null,$statement->getSubject(),null);
205	//set the infrule to return a statement, having the same
206	//subject and object as the statement, that asked for an
207	//entailment, and having the object of the statement,
208	//that created this rule as predicate.
209	$infRule->setEntailment('<s>',$statement->getObject(),'<o>');
210	//add the infule to Model, Statement/Rule-Index,
211	//and Rule/Trigger (or Rule/Entailment) index
212	$this->_addInfRule($infRule,$statementPosition);
213	break;
214
215	case RDF_SCHEMA_URI.RDFS_SUBCLASSOF :
216	$infRule=new InfRule();
217	$infRule->setTrigger(null,new Resource(RDF_NAMESPACE_URI.RDF_TYPE),$statement->getSubject());
218	$infRule->setEntailment('<s>',new Resource(RDF_NAMESPACE_URI.RDF_TYPE),$statement->getObject());
219	$this->infRules[]=$infRule;
220	$this->_addInfRule($infRule,$statementPosition);
221	break;
222
223	case RDF_SCHEMA_URI.RDFS_DOMAIN :
224	$infRule=new InfRule();
225	$infRule->setTrigger(null,$statement->getSubject(),null);
226	$infRule->setEntailment('<s>',new Resource(RDF_NAMESPACE_URI.RDF_TYPE),$statement->getObject());
227	$this->infRules[]=$infRule;
228	$this->_addInfRule($infRule,$statementPosition);
229	break;
230
231	case RDF_SCHEMA_URI.RDFS_RANGE :
232	$infRule=new InfRule();
233	$infRule->setTrigger(null,$statement->getSubject(),null);
234	$infRule->setEntailment('<o>',new Resource(RDF_NAMESPACE_URI.RDF_TYPE),$statement->getObject());
235	$this->infRules[]=$infRule;
236	$this->_addInfRule($infRule,$statementPosition);
237	break;
238
239	case OWL_URI.OWL_INVERSE_OF :
240	$infRule=new InfRule();
241	$infRule->setTrigger(null,$statement->getSubject(),null);
242	$infRule->setEntailment('<o>',$statement->getObject(),'<s>');
243	$this->infRules[]=$infRule;
244	$this->_addInfRule($infRule,$statementPosition);
245
246	$infRule=new InfRule();
247	$infRule->setTrigger(null,$statement->getObject(),null);
248	$infRule->setEntailment('<o>',$statement->getSubject(),'<s>');
249	$this->infRules[]=$infRule;
250	$this->_addInfRule($infRule,$statementPosition);
251	break;
252
253	case OWL_URI.OWL_SAME_AS :
254	$infRule=new InfRule();
255	$infRule->setTrigger($statement->getSubject(),null,null);
256	$infRule->setEntailment($statement->getObject(),'<p>','<o>');
257	$this->_addInfRule($infRule,$statementPosition);
258
259	$infRule=new InfRule();
260	$infRule->setTrigger($statement->getObject(),null,null);
261	$infRule->setEntailment($statement->getSubject(),'<p>','<o>');
262	$this->_addInfRule($infRule,$statementPosition);
263
264	$infRule=new InfRule();
265	$infRule->setTrigger(null,$statement->getSubject(),null);
266	$infRule->setEntailment('<s>',$statement->getObject(),'<o>');
267	$this->_addInfRule($infRule,$statementPosition);
268
269	$infRule=new InfRule();
270	$infRule->setTrigger(null,$statement->getObject(),null);
271	$infRule->setEntailment('<s>',$statement->getSubject(),'<o>');
272	$this->_addInfRule($infRule,$statementPosition);
273
274	$infRule=new InfRule();
275	$infRule->setTrigger(null,null,$statement->getSubject());
276	$infRule->setEntailment('<s>','<p>',$statement->getObject());
277	$this->_addInfRule($infRule,$statementPosition);
278
279	$infRule=new InfRule();
280	$infRule->setTrigger(null,null,$statement->getObject());
281	$infRule->setEntailment('<s>','<p>',$statement->getSubject());
282	$this->_addInfRule($infRule,$statementPosition);
283	break;
284	};
285	}
286
287	/**
288	* This function checks, which infrules were added by the statement and
289	* removes those.
290	*
291	* @param object Statement $statement
292	* @return integer
293	* @access private
294	*/
295	function _removeFromInference($statement)
296	{
297	$return= array();
298	$statementPosition=-1;
299	do
300	{
301	//get the position of the statement that should be removed
302	$statementPosition=$this->findFirstMatchOff($statement->getSubject(),
303	$statement->getPredicate(),
304	$statement->getObject(),
305	$statementPosition+1);
306	if ($statementPosition!=-1)
307	{
308	//if it added any rules
309	if (isset ($this->statementRuleIndex[$statementPosition]))
310	{
311	//remove all rules
312	foreach ($this->statementRuleIndex[$statementPosition] as $key => $value)
313	{
314	//remove from Rule-Trigger Index
315	if (is_a($this,'InfModelF'))
316	{
317	$trigger=$this->infRules[$key]->getTrigger();
318
319	if(is_a($trigger['s'],'Node'))
320	{
321	$subjectLabel=$trigger['s']->getLabel();
322	} else
323	{
324	$subjectLabel='null';
325	}
326	unset ($this->infRulesTriggerIndex['s'][$subjectLabel][array_search($key,$this->infRulesTriggerIndex['s'][$subjectLabel])]);
327
328	if(is_a($trigger['p'],'Node'))
329	{
330	$predicateLabel=$trigger['p']->getLabel();
331	} else
332	{
333	$predicateLabel='null';
334	}
335	unset ($this->infRulesTriggerIndex['p'][$predicateLabel][array_search($key,$this->infRulesTriggerIndex['p'][$predicateLabel])]);
336
337	if(is_a($trigger['o'],'Node'))
338	{
339	$objectLabel=$trigger['o']->getLabel();
340	} else
341	{
342	$objectLabel='null';
343	}
344	unset ($this->infRulesTriggerIndex['o'][$objectLabel][array_search($key,$this->infRulesTriggerIndex['o'][$objectLabel])]);
345	} else
346	//remove from Rule-Entailment Index
347	{
348	$entailment=$this->infRules[$key]->getEntailment();
349
350	if(is_a($entailment['s'],'Node'))
351	{
352	$subjectLabel=$entailment['s']->getLabel();
353	} else
354	{
355	$subjectLabel='null';
356	}
357	unset ($this->infRulesEntailIndex['s'][$subjectLabel][array_search($key,$this->infRulesEntailIndex['s'][$subjectLabel])]);
358
359
360	if(is_a($entailment['p'],'Node'))
361	{
362	$predicateLabel=$entailment['p']->getLabel();
363	} else
364	{
365	$predicateLabel='null';
366	}
367	unset ($this->infRulesEntailIndex['p'][$predicateLabel][array_search($key,$this->infRulesEntailIndex['p'][$predicateLabel])]);
368
369	if(is_a($entailment['o'],'Node'))
370	{
371	$objectLabel=$entailment['o']->getLabel();
372	} else
373	{
374	$objectLabel='null';
375	}
376	unset ($this->infRulesEntailIndex['o'][$objectLabel][array_search($key,$this->infRulesEntailIndex['o'][$objectLabel])]);
377	}
378	//remove from statement-Rule Index
379	unset ($this->infRules[$key]);
380	}
381	unset($this->statementRuleIndex[$statementPosition]);
382	$return[]=$statementPosition;
383	};
384	}
385
386	} while($statementPosition!=-1);
387
388	//return the positions of the statements to be removed OR emty array
389	//if nothing was found.
390	return $return;
391	}
392
393	/**
394	* Returns a model, containing all Statements, having a Predicate, that
395	* is supported by the inference.
396	*
397	* @return object Model
398	* @access public
399	*/
400	function getSchema()
401	{
402	$res=new MemModel();
403	//Search the base-model for all statements, having a Predicate, that
404	//is supported by the inference.
405	foreach ($this->supportedInference as $inferencePredicateLabel)
406	{
407	$res->addModel($this->find(null, new Resource($inferencePredicateLabel), null));
408	}
409	return $res;
410	}
411
412	/**
413	* General method to replace nodes of a MemModel.
414	* This function is disabled in the Inference Model.
415	*
416	* @param object Node $subject
417	* @param object Node $predicate
418	* @param object Node $object
419	* @param object Node $replacement
420	* @access public
421	* @throws PhpError
422	*/
423	function replace($subject, $predicate, $object, $replacement)
424	{
425
426	$errmsg = RDFAPI_ERROR . '(class: InfModel; method: replace): This function is disabled in the Inference Model';
427	trigger_error($errmsg, E_USER_ERROR);
428	}
429
430	/**
431	* Method to search for triples using Perl-style regular expressions.
432	* NULL input for any parameter will match anything.
433	* Example: $result = $m->find_regex( NULL, NULL, $regex );
434	* Finds all triples where the label of the object node matches the regular
435	* expression.
436	* Returns an empty MemModel if nothing is found.
437	*
438	* This function is disabled in the Inference Model
439	*
440	* @param string $subject_regex
441	* @param string $predicate_regex
442	* @param string $object_regex
443	* @return object MemModel
444	* @access public
445	*/
446	function findRegex($subject_regex, $predicate_regex, $object_regex)
447	{
448
449	$errmsg = RDFAPI_ERROR . '(class: InfModel; method: findRegex):
450	This function is disabled in the
451	Inference Model';
452	trigger_error($errmsg, E_USER_ERROR);
453	}
454
455	/**
456	* Returns all tripels of a certain vocabulary.
457	* $vocabulary is the namespace of the vocabulary inluding a # : / char at
458	* the end.
459	* e.g. http://www.w3.org/2000/01/rdf-schema#
460	* Returns an empty MemModel if nothing is found.
461	*
462	* This function is disabled in the Inference Model.
463	*
464	* @param string $vocabulary
465	* @return object MemModel
466	* @access public
467	*/
468	function findVocabulary($vocabulary)
469	{
470
471	$errmsg = RDFAPI_ERROR . '(class: InfModel; method: findVocabulary):
472	This function is disabled in the
473	Inference Model';
474	trigger_error($errmsg, E_USER_ERROR);
475	}
476
477
478	/**
479	* Adds the URI or NULL to the Infrule trigger or entailment index.
480	*
481	*
482	* @param object infrule $infRule
483	* @param integer $infRulePosition
484	* @access private
485	*/
486	function _addInfruleToIndex(& $infRule,& $infRulePosition)
487	{
488	//Add the rule only to the trigger index, if it is a InfFModel
489	if (is_a($this,'InfModelF'))
490	{
491	//get the trigger
492	$trigger = $infRule->getTrigger();
493	//evaluate and set the index
494	if ($trigger['s'] == null)
495	{
496	$this->infRulesTriggerIndex['s']['null'][]=$infRulePosition;
497	} else
498	{
499	$this->infRulesTriggerIndex['s'][$trigger['s']->getLabel()][]=$infRulePosition;
500	};
501
502	if ($trigger['p'] == null)
503	{
504	$this->infRulesTriggerIndex['p']['null'][]=$infRulePosition;
505	} else
506	{
507	$this->infRulesTriggerIndex['p'][$trigger['p']->getLabel()][]=$infRulePosition;
508	};
509
510	if ($trigger['o'] == null)
511	{
512	$this->infRulesTriggerIndex['o']['null'][]=$infRulePosition;
513	} else
514	{
515	$this->infRulesTriggerIndex['o'][$trigger['o']->getLabel()][]=$infRulePosition;
516	};
517	} else
518	//add to entailment Index if it is a BModel
519	{
520	//get the entailment
521	$entailment = $infRule->getEntailment();
522	//evaluate the entailment and add to index
523	if (!is_a($entailment['s'],'Node'))
524	{
525	$this->infRulesEntailIndex['s']['null'][]=$infRulePosition;
526	} else
527	{
528	$this->infRulesEntailIndex['s'][$entailment['s']->getLabel()][]=$infRulePosition;
529	};
530
531	if (!is_a($entailment['p'],'Node'))
532	{
533	$this->infRulesEntailIndex['p']['null'][]=$infRulePosition;
534	} else
535	{
536	$this->infRulesEntailIndex['p'][$entailment['p']->getLabel()][]=$infRulePosition;
537	};
538
539	if (!is_a($entailment['o'],'Node'))
540	{
541	$this->infRulesEntailIndex['o']['null'][]=$infRulePosition;
542	} else
543	{
544	$this->infRulesEntailIndex['o'][$entailment['o']->getLabel()][]=$infRulePosition;
545	};
546	};
547	}
548
549	/**
550	* Searches the trigger-index for a matching trigger and returns an
551	* array of infRule positions.
552	*
553	*
554	* @param object infrule $infRule
555	* @return array integer
556	* @access private
557	*/
558	function _findRuleTriggerInIndex($statement)
559	{
560	$return=array();
561	//a statement's subject matches all triggers with null and the same URI
562	$subjectLabel=$statement->getLabelSubject();
563	$inIndexS=array();
564	if (isset($this->infRulesTriggerIndex['s']['null']))
565	$inIndexS=array_values($this->infRulesTriggerIndex['s']['null']);
566	if (isset($this->infRulesTriggerIndex['s'][$subjectLabel]))
567	$inIndexS= array_merge($inIndexS,array_values($this->infRulesTriggerIndex['s'][$subjectLabel]));
568
569	//a statement's predicate matches all triggers with null and the same URI
570	$predicateLabel=$statement->getLabelPredicate();
571	$inIndexP=array();
572	if (isset($this->infRulesTriggerIndex['p']['null']))
573	$inIndexP=array_values($this->infRulesTriggerIndex['p']['null']);
574	if (isset($this->infRulesTriggerIndex['p'][$predicateLabel]))
575	$inIndexP= array_merge($inIndexP,array_values($this->infRulesTriggerIndex['p'][$predicateLabel]));
576
577	//a statement's object matches all triggers with null and the same URI
578	$objectLabel=$statement->getLabelObject();
579	$inIndexO=array();
580	if (isset($this->infRulesTriggerIndex['o']['null']))
581	$inIndexO=array_values($this->infRulesTriggerIndex['o']['null']);
582	if (isset($this->infRulesTriggerIndex['o'][$objectLabel]))
583	$inIndexO= array_merge($inIndexO,array_values($this->infRulesTriggerIndex['o'][$objectLabel]));
584
585	//if an infrule position occurs in subject, predicate, and object index, add to result array.
586	foreach ($inIndexP as $positionP)
587	{
588	if (in_array($positionP,$inIndexO))
589	if (in_array($positionP,$inIndexS))
590	$return[]=$positionP;
591	}
592	return $return;
593	}
594
595	/**
596	* Searches the Entailment-index for a matching Entailment and returns an
597	* array of infRule positions.
598	*
599	*
600	* @param node or null $subject
601	* @param node or null $predicate
602	* @param node or null $object
603	* @return array integer
604	* @access private
605	*/
606	function _findRuleEntailmentInIndex($subject,$predicate,$object)
607	{
608	$return=array();
609	//a node matches all entailments with NULL or a matching URI
610	if(is_a($subject,'Node'))
611	{
612	$subjectLabel=$subject->getLabel();
613	$inIndexS=array();
614	if (isset($this->infRulesEntailIndex['s']['null'])) $inIndexS=array_values($this->infRulesEntailIndex['s']['null']);
615	if (isset($this->infRulesEntailIndex['s'][$subjectLabel])) $inIndexS= array_merge($inIndexS,array_values($this->infRulesEntailIndex['s'][$subjectLabel]));
616	} else
617	//if the subject search pattern is NULL, every rule will match the subject search patter
618	{
619	$inIndexS=array_keys($this->infRules);
620	}
621
622	if(is_a($predicate,'Node'))
623	{
624	$predicateLabel=$predicate->getLabel();
625	$inIndexP=array();
626	if (isset($this->infRulesEntailIndex['p']['null'])) $inIndexP=array_values($this->infRulesEntailIndex['p']['null']);
627	if (isset($this->infRulesEntailIndex['p'][$predicateLabel])) $inIndexP= array_merge($inIndexP,array_values($this->infRulesEntailIndex['p'][$predicateLabel]));
628	} else
629	{
630	$inIndexP=array_keys($this->infRules);
631	}
632
633	if(is_a($object,'Node'))
634	{
635	$objectLabel=$object->getLabel();
636	$inIndexO=array();
637	if (isset($this->infRulesEntailIndex['o']['null'])) $inIndexO=array_values($this->infRulesEntailIndex['o']['null']);
638	if (isset($this->infRulesEntailIndex['o'][$objectLabel])) $inIndexO= array_merge($inIndexO,array_values($this->infRulesEntailIndex['o'][$objectLabel]));
639	} else
640	{
641	$inIndexO=array_keys($this->infRules);
642	}
643
644	//if an infrule position occurs in subject, predicate, and object index, add to result array.
645	foreach ($inIndexP as $positionP)
646	{
647	if (in_array($positionP,$inIndexO))
648	if (in_array($positionP,$inIndexS))
649	$return[]=$positionP;
650	}
651	return $return;
652	}
653
654	/**
655	* Adds an InfRule to the InfModel.
656	* $statementPosition states the positiion of the statement, that created
657	* this rule, in the model->triples array.
658	*
659	*
660	* @param object Infrule $infRule
661	* @param integer $statementPosition
662	* @access private
663	*/
664	function _addInfRule($infRule, $statementPosition)
665	{
666	//add the rule
667	$this->infRules[]=$infRule;
668	//get the position of the added rule in the model
669	end($this->infRules);
670	$rulePosition=key($this->infRules);
671	//add the information to the index, that this statement
672	//added this rule.
673	$this->statementRuleIndex[$statementPosition][$rulePosition]=true;
674	//add informations to index over trigger & entailment
675	$this->_addInfruleToIndex($infRule,$rulePosition);
676	}
677	}
678	?>

Note: See TracBrowser for help on using the repository browser.

Download in other formats: