Uses of Package
edu.cornell.mannlib.vitro.webapp.reasoner
-
Classes in edu.cornell.mannlib.vitro.webapp.reasoner used by edu.cornell.mannlib.vitro.webapp.reasoner Class Description ModelUpdate.Operation ReasonerPlugin 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. -
Classes in edu.cornell.mannlib.vitro.webapp.reasoner used by edu.cornell.mannlib.vitro.webapp.reasoner.plugin Class Description ReasonerPlugin 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. -
Classes in edu.cornell.mannlib.vitro.webapp.reasoner used by edu.cornell.mannlib.vitro.webapp.servlet.setup Class Description 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.