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

NIHVIVO-3675 - use default pellet options when doing tbox reasoning

Browse source
This commit is contained in:
stellamit 2012-03-06 20:48:25 +00:00
parent 33fddb8e69
commit d54cdb2a82
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
webapp/src/edu/cornell/mannlib/vitro/webapp/servlet/setup/SimpleReasonerSetup.java
View file

@ -60,12 +60,12 @@ public class SimpleReasonerSetup implements ServletContextListener {
} }
// Set various Pellet options for incremental consistency checking, etc. // Set various Pellet options for incremental consistency checking, etc.
PelletOptions.DL_SAFE_RULES = true; //PelletOptions.DL_SAFE_RULES = true;
PelletOptions.USE_COMPLETION_QUEUE = true; //PelletOptions.USE_COMPLETION_QUEUE = true;
PelletOptions.USE_TRACING = true; //PelletOptions.USE_TRACING = true;
PelletOptions.TRACK_BRANCH_EFFECTS = true; //PelletOptions.TRACK_BRANCH_EFFECTS = true;
PelletOptions.USE_INCREMENTAL_CONSISTENCY = true; //PelletOptions.USE_INCREMENTAL_CONSISTENCY = true;
PelletOptions.USE_INCREMENTAL_DELETION = true; //PelletOptions.USE_INCREMENTAL_DELETION = true;
PelletListener pelletListener = new PelletListener(unionOms.getTBoxModel(),assertionsOms.getTBoxModel(),inferencesOms.getTBoxModel(),ReasonerConfiguration.DEFAULT); PelletListener pelletListener = new PelletListener(unionOms.getTBoxModel(),assertionsOms.getTBoxModel(),inferencesOms.getTBoxModel(),ReasonerConfiguration.DEFAULT);
sce.getServletContext().setAttribute("pelletListener",pelletListener); sce.getServletContext().setAttribute("pelletListener",pelletListener);