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

VIVO-778 Remove references to pellet.

Browse source
This commit is contained in:
Jim Blake 2014-12-31 15:09:13 -05:00
parent 297d78134b
commit 3905e84882
2 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
webapp/src/edu/cornell/mannlib/vitro/webapp/controller/jena/JenaAdminActions.java
View file

@ -297,9 +297,6 @@ public class JenaAdminActions extends BaseEditController {
} else if (request.getParameter("inferences") != null) { } else if (request.getParameter("inferences") != null) {
memoryModel = ModelAccess.on(getServletContext()).getOntModel(FULL_INFERENCES); memoryModel = ModelAccess.on(getServletContext()).getOntModel(FULL_INFERENCES);
System.out.println("inferenceOntModel"); System.out.println("inferenceOntModel");
} else if (request.getParameter("pellet") != null) {
memoryModel = (OntModel) getServletContext().getAttribute("pelletOntModel");
System.out.println("pelletOntModel");
} else { } else {
memoryModel = ModelAccess.on(getServletContext()).getOntModel(); memoryModel = ModelAccess.on(getServletContext()).getOntModel();
System.out.println("jenaOntModel"); System.out.println("jenaOntModel");

2
webapp/src/edu/cornell/mannlib/vitro/webapp/tboxreasoner/ConfiguredReasonerListener.java
View file

@ -339,7 +339,7 @@ public class ConfiguredReasonerListener implements ModelChangedListener {
// It originally assumed that only resources would be in object // It originally assumed that only resources would be in object
// position, but cardinality axioms will have e.g. nonNegativeIntegers. // position, but cardinality axioms will have e.g. nonNegativeIntegers.
// This is a temporary workaround: all cardinality statements will // This is a temporary workaround: all cardinality statements will
// be exposed to Pellet, regardless of configuration patterns. // be exposed to the TBox reasoner, regardless of configuration patterns.
private boolean hasCardinalityPredicate(Statement stmt) { private boolean hasCardinalityPredicate(Statement stmt) {
return (stmt.getPredicate().equals(OWL.cardinality) return (stmt.getPredicate().equals(OWL.cardinality)
|| stmt.getPredicate().equals(OWL.minCardinality) || stmt || stmt.getPredicate().equals(OWL.minCardinality) || stmt