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

updates to SimpleReasoner for NIHVIVO-1547 (using too much heap size when adding TBox data)

Browse source
This commit is contained in:
sjm222 2010-12-15 17:47:36 +00:00
parent bad4b806e4
commit a48191c26b
1 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -312,16 +312,15 @@ public class SimpleReasoner extends StatementListener {
try {
OntModel unionModel = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM);
unionModel.add(aboxModel);
unionModel.add(inferenceModel);
unionModel.addSubModel(aboxModel);
unionModel.addSubModel(inferenceModel);
StmtIterator iter = unionModel.listStatements((Resource) null, RDF.type, subClass);
while (iter.hasNext()) {
Statement stmt = iter.next();
Resource ind = unionModel.getResource(stmt.getSubject().getURI());
Statement infStmt = ResourceFactory.createStatement(ind, RDF.type, superClass);
Statement infStmt = ResourceFactory.createStatement(stmt.getSubject(), RDF.type, superClass);
inferenceModel.enterCriticalSection(Lock.WRITE);
@ -353,15 +352,15 @@ public class SimpleReasoner extends StatementListener {
try {
OntModel unionModel = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM);
unionModel.add(aboxModel);
unionModel.add(inferenceModel);
unionModel.addSubModel(aboxModel);
unionModel.addSubModel(inferenceModel);
StmtIterator iter = unionModel.listStatements((Resource) null, RDF.type, subClass);
while (iter.hasNext()) {
Statement stmt = iter.next();
Resource ind = unionModel.getResource(stmt.getSubject().getURI());
Resource ind = stmt.getSubject();
if (entailedType(ind,superClass)) continue;