diff --git a/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/ReasonerPlugin.java b/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/ReasonerPlugin.java index 075b50d14..aa3ce9689 100644 --- a/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/ReasonerPlugin.java +++ b/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/ReasonerPlugin.java @@ -22,4 +22,7 @@ public interface ReasonerPlugin { Model aboxInferencesModel, OntModel TBoxInferencesModel); + public void setSimpleReasoner(SimpleReasoner simpleReasoner); + + public SimpleReasoner getSimpleReasoner(); } diff --git a/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java b/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java index d31a46178..21979b68b 100644 --- a/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java +++ b/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java @@ -1049,6 +1049,11 @@ public class SimpleReasoner extends StatementListener { * Adds the inference to the inference model if it is not already in * the inference model and not in the abox model. */ + + public void addInference(Statement infStmt, Model inferenceModel) { + addInference(infStmt,inferenceModel,true); + } + protected void addInference(Statement infStmt, Model inferenceModel, boolean handleSameAs) { aboxModel.enterCriticalSection(Lock.READ); @@ -1092,7 +1097,7 @@ public class SimpleReasoner extends StatementListener { * Removes the corresponding inference for each same individual * if that inference is not entailed by the abox model. */ - protected void removeInference(Statement infStmt, Model inferenceModel) { + public void removeInference(Statement infStmt, Model inferenceModel) { removeInference(infStmt,inferenceModel,true,true); } 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 8d2631d60..19266ab7d 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 @@ -111,6 +111,7 @@ public class SimpleReasonerSetup implements ServletContextListener { try { ReasonerPlugin plugin = (ReasonerPlugin) Class.forName( classname).getConstructors()[0].newInstance(); + plugin.setSimpleReasoner(simpleReasoner); pluginList.add(plugin); } catch(Throwable t) { ss.info(this, "Could not instantiate reasoner plugin " + classname);