Package edu.cornell.mannlib.vitro.webapp.reasoner

Interface Summary

Interface	Description
ReasonerPlugin

Class Summary

Class	Description
ABoxRecomputer
IndividualURIQueue<E>
ModelUpdate
SimpleReasoner	Allows for real-time incremental materialization or retraction of RDFS- style class and property subsumption based ABox inferences as statements are added to or removed from the (ABox or TBox) knowledge base.
SimpleReasonerTBoxListener	Route notification of changes to TBox to the incremental ABox reasoner.

Enum Summary

Enum	Description
ModelUpdate.Operation