From d54cdb2a828f864ae2f55ce6b58e2f7aebdc20cb Mon Sep 17 00:00:00 2001 From: stellamit Date: Tue, 6 Mar 2012 20:48:25 +0000 Subject: [PATCH] NIHVIVO-3675 - use default pellet options when doing tbox reasoning --- .../webapp/servlet/setup/SimpleReasonerSetup.java | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/webapp/src/edu/cornell/mannlib/vitro/webapp/servlet/setup/SimpleReasonerSetup.java b/webapp/src/edu/cornell/mannlib/vitro/webapp/servlet/setup/SimpleReasonerSetup.java index eb8c4fce9..8d2631d60 100644 --- a/webapp/src/edu/cornell/mannlib/vitro/webapp/servlet/setup/SimpleReasonerSetup.java +++ b/webapp/src/edu/cornell/mannlib/vitro/webapp/servlet/setup/SimpleReasonerSetup.java @@ -60,12 +60,12 @@ public class SimpleReasonerSetup implements ServletContextListener { } // Set various Pellet options for incremental consistency checking, etc. - PelletOptions.DL_SAFE_RULES = true; - PelletOptions.USE_COMPLETION_QUEUE = true; - PelletOptions.USE_TRACING = true; - PelletOptions.TRACK_BRANCH_EFFECTS = true; - PelletOptions.USE_INCREMENTAL_CONSISTENCY = true; - PelletOptions.USE_INCREMENTAL_DELETION = true; + //PelletOptions.DL_SAFE_RULES = true; + //PelletOptions.USE_COMPLETION_QUEUE = true; + //PelletOptions.USE_TRACING = true; + //PelletOptions.TRACK_BRANCH_EFFECTS = true; + //PelletOptions.USE_INCREMENTAL_CONSISTENCY = true; + //PelletOptions.USE_INCREMENTAL_DELETION = true; PelletListener pelletListener = new PelletListener(unionOms.getTBoxModel(),assertionsOms.getTBoxModel(),inferencesOms.getTBoxModel(),ReasonerConfiguration.DEFAULT); sce.getServletContext().setAttribute("pelletListener",pelletListener);