Skip to content

Commit

Permalink
more agressive attempt at #234
Browse files Browse the repository at this point in the history
  • Loading branch information
kltm committed Jan 23, 2018
1 parent af5de8f commit b82f1c1
Showing 1 changed file with 1 addition and 10 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -596,23 +596,14 @@ else if (opts.nextEq("--noExitIfLoadFails")) {
continue;
}

// Some sanity checks--some of the genereated ones are problematic.
// Some sanity checks--some of the generated ones are problematic.
currentReasoner = reasonerFactory.createReasoner(model);
boolean consistent = currentReasoner.isConsistent();
if(consistent == false){
// we need a consistent ontology for the closure calculations!
LOG.warn("Skip since inconsistent: " + fname);
continue;
}
Set<OWLClass> unsatisfiable = currentReasoner.getUnsatisfiableClasses().getEntitiesMinusBottom();
if (exitIfUnsatisfiable && unsatisfiable.isEmpty() == false) {
LOG.warn("Unsatisfiable: " + fname+" == "+unsatisfiable);
continue;
}
if (removeUnsatisfiableModels && unsatisfiable.isEmpty() == false) {
LOG.warn("Skip since unsatisfiable: " + fname);
continue;
}

ModelAnnotationSolrDocumentLoader loader = null;
try {
Expand Down

0 comments on commit b82f1c1

Please sign in to comment.