litvinovg/vivo
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

VIVO-778 Use JFact as the TBox reasoner, instead of Pellet.

Browse source 
There are still some differences between the two, and I expect  some answers from Jon and Brian regarding irregularities in the ontologies.

The Pellet libraries have not yet been removed.
This commit is contained in:
j2blake 2014-12-17 17:44:41 -05:00
parent 02f68f17de
commit c1ae62a917
3 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
config/applicationSetup.n3
View file

@ -8,7 +8,7 @@
:hasFileStorage :ptiFileStorage ;
:hasContentTripleSource :sdbContentTripleSource ;
:hasConfigurationTripleSource :tdbConfigurationTripleSource ;
:hasTBoxReasonerModule :pelletTBoxReasonerModule .
:hasTBoxReasonerModule :jfactTBoxReasonerModule .
:jaiImageProcessor
a <java:edu.cornell.mannlib.vitro.webapp.imageprocessor.jai.JaiImageProcessor> ,
@ -35,6 +35,6 @@
a <java:edu.cornell.mannlib.vitro.webapp.triplesource.impl.tdb.ConfigurationTripleSourceTDB> ,
<java:edu.cornell.mannlib.vitro.webapp.modules.tripleSource.ConfigurationTripleSource> .
:pelletTBoxReasonerModule
a <java:edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl.pellet.PelletTBoxReasonerModule> ,
:jfactTBoxReasonerModule
a <java:edu.cornell.mannlib.vitro.webapp.tboxreasoner.impl.jfact.JFactTBoxReasonerModule> ,
<java:edu.cornell.mannlib.vitro.webapp.modules.tboxreasoner.TBoxReasonerModule> .

BIN
lib/owlapi-bin.jar
View file

Binary file not shown.

1
productMods/WEB-INF/resources/startup_listeners.txt
View file

@ -37,7 +37,6 @@ edu.cornell.mannlib.vitro.webapp.migration.Release18Migrator
edu.cornell.mannlib.vitro.webapp.application.ApplicationImpl$ReasonersSetup
edu.cornell.mannlib.vitro.webapp.servlet.setup.SimpleReasonerSetup
edu.cornell.mannlib.vitro.webapp.servlet.setup.TBoxReasonerSmokeTest
# Must run after JenaDataSourceSetup
edu.cornell.mannlib.vitro.webapp.servlet.setup.ThemeInfoSetup