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

Interface Summary

Interface	Description
TBoxReasoner	The functionality of a TBox reasoner.
TBoxReasonerDriver	What calls can the ConfiguredReasonerListener make to drive the TBox reasoner?

Class Summary

Class	Description
ConfiguredReasonerListener	Listens for changes on a model.
InferenceModelUpdater	A tool that will adjust the inferences model to match the reasoner model, after applying the proper filters to both.
PatternListBuilder	The list of patterns for filtering the models will include: All patterns specified by the ReasonerConfiguration, One pattern for each deleted property, to match the use of that property as a predicate.
ReasonerConfiguration
ReasonerStatementPattern	For now, this only models Object Properties.
TBoxChanges	Accumulate changes to the TBox as they arrive.
TBoxReasoner.Status