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 26a251d64..37e613149 100644 --- a/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java +++ b/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java @@ -541,6 +541,7 @@ public class SimpleReasoner extends StatementListener { } finally { aboxModel.leaveCriticalSection(); } + for (Resource ind : subjectList) { if (entailedType(ind,superClass)) { continue; @@ -551,10 +552,12 @@ public class SimpleReasoner extends StatementListener { if (inferenceModel.contains(infStmt)) { inferenceModel.remove(infStmt); } - setMostSpecificTypes(ind, inferenceModel, new HashSet()); + } finally { inferenceModel.leaveCriticalSection(); } + + setMostSpecificTypes(ind, inferenceModel, new HashSet()); } }