Package edu.cornell.mannlib.vitro.webapp.tboxreasoner

Class InferenceModelUpdater

java.lang.Object

edu.cornell.mannlib.vitro.webapp.tboxreasoner.InferenceModelUpdater

public class InferenceModelUpdater
extends Object

A tool that will adjust the inferences model to match the reasoner model, after applying the proper filters to both.

Constructor Summary

Constructors

Constructor	Description
InferenceModelUpdater(TBoxReasoner reasoner, LockableModel lockableInferencesModel, LockableOntModel lockableFullModel, ConfiguredReasonerListener listener)

Method Summary

Modifier and Type	Method	Description
int	getAddCount()
int	getRetractCount()
void	update(List<ReasonerStatementPattern> patternList)	Synchronize the inferences model with the reasoner model, with this proviso: If a statement exists anywhere in the full TBox, don't bother adding it to the inferences model.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InferenceModelUpdater

public InferenceModelUpdater(TBoxReasoner reasoner,
                             LockableModel lockableInferencesModel,
                             LockableOntModel lockableFullModel,
                             ConfiguredReasonerListener listener)

Method Detail

getAddCount

public int getAddCount()

getRetractCount

public int getRetractCount()

update

public void update(List<ReasonerStatementPattern> patternList)

Synchronize the inferences model with the reasoner model, with this proviso: If a statement exists anywhere in the full TBox, don't bother adding it to the inferences model.