Uses of Interface
edu.cornell.mannlib.vitro.webapp.tboxreasoner.TBoxReasoner

Packages that use TBoxReasoner

Package	Description
edu.cornell.mannlib.vitro.webapp.tboxreasoner
edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl
edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl.jfact

Uses of TBoxReasoner in edu.cornell.mannlib.vitro.webapp.tboxreasoner

Constructors in edu.cornell.mannlib.vitro.webapp.tboxreasoner with parameters of type TBoxReasoner

Constructor and Description
InferenceModelUpdater(TBoxReasoner reasoner, LockableModel lockableInferencesModel, LockableOntModel lockableFullModel, ConfiguredReasonerListener listener)
PatternListBuilder(ReasonerConfiguration reasonerConfiguration, TBoxReasoner reasoner, TBoxChanges changes)

Uses of TBoxReasoner in edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl

Constructors in edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl with parameters of type TBoxReasoner

Constructor and Description
BasicTBoxReasonerDriver(org.apache.jena.ontology.OntModel assertionsModel, org.apache.jena.rdf.model.Model inferencesModel, org.apache.jena.ontology.OntModel fullModel, TBoxReasoner reasoner, ReasonerConfiguration reasonerConfiguration)

Uses of TBoxReasoner in edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl.jfact

Classes in edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl.jfact that implement TBoxReasoner

Modifier and Type	Class and Description
class	JFactTBoxReasoner An implementation of the JFact reasoner for the TBox.