Package edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl.jfact
-
Class Summary Class Description JFactTBoxReasoner An implementation of the JFact reasoner for the TBox.JFactTBoxReasonerModule Configure a JFact reasoner on the TBox.
| Class | Description |
|---|---|
| JFactTBoxReasoner |
An implementation of the JFact reasoner for the TBox.
|
| JFactTBoxReasonerModule |
Configure a JFact reasoner on the TBox.
|