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:55:52 +00:00
parent c749a9c9aa
commit fe28e288cb
1 changed files with 2 additions and 2 deletions
Show stats 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"); log.info("Computing class-based ABox inferences in a separate thread.");
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"); log.info("Computing mostSpecificType annotations in a separate thread");
int numStmts = 0; int numStmts = 0;
while (iter.hasNext()) { while (iter.hasNext()) {