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

Browse source
This commit is contained in:
stellamit 2011-07-13 17:57:00 +00:00
parent fe28e288cb
commit 9278b50fb5
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java
View file

@ -952,7 +952,7 @@ public class SimpleReasoner extends StatementListener {
tboxModel.enterCriticalSection(Lock.READ); tboxModel.enterCriticalSection(Lock.READ);
try { try {
log.info("Computing class-based ABox inferences in a separate thread."); log.info("Computing class-based ABox inferences.");
inferenceRebuildModel.removeAll(); inferenceRebuildModel.removeAll();
StmtIterator iter = aboxModel.listStatements((Resource) null, RDF.type, (RDFNode) null); StmtIterator iter = aboxModel.listStatements((Resource) null, RDF.type, (RDFNode) null);
@ -1140,7 +1140,7 @@ public class SimpleReasoner extends StatementListener {
inferenceRebuildModel.removeAll(); inferenceRebuildModel.removeAll();
StmtIterator iter = aboxModel.listStatements((Resource) null, RDF.type, (RDFNode) null); StmtIterator iter = aboxModel.listStatements((Resource) null, RDF.type, (RDFNode) null);
log.info("Computing mostSpecificType annotations in a separate thread"); log.info("Computing mostSpecificType annotations.");
int numStmts = 0; int numStmts = 0;
while (iter.hasNext()) { while (iter.hasNext()) {