--omit-explanations works

opencaesar · May 30, 2024 · 4815e17 · 4815e17
1 parent a3068d0
commit 4815e17
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/owl-reason-gradle/src/main/java/io/opencaesar/owl/reason/OwlReasonTask.java b/owl-reason-gradle/src/main/java/io/opencaesar/owl/reason/OwlReasonTask.java
@@ -276,7 +276,7 @@ public void run() {
 			args.add("-n");
 			args.add(getIndent().get().toString());
 		}
-		if (getOmitExplanations().isPresent()) {
+		if (getOmitExplanations().get()) {
 			args.add("-oe");
 		}
 		if (getDebug().isPresent() && getDebug().get()) {

diff --git a/owl-reason/src/main/java/io/opencaesar/owl/reason/OwlReasonApp.java b/owl-reason/src/main/java/io/opencaesar/owl/reason/OwlReasonApp.java
@@ -430,10 +430,10 @@ private List<Result> checkConsistency(String ontologyIri, OpenlletReasoner reaso
     	Result result = new Result();
     	result.name = ontologyIri;
 
-        if (!options.omitExplanations && !reasoner.isConsistent()) {
+        if (!reasoner.isConsistent()) {
         	Set<OWLAxiom> axioms = explanation.getInconsistencyExplanation();
         	result.message = reasoner.getKB().getExplanation();
-        	result.explanation = createExplanationOntology(axioms, explanationFormat);
+        	result.explanation = options.omitExplanations ? "[omitted]" : createExplanationOntology(axioms, explanationFormat);
         }
 	    results.add(result);
 
@@ -462,9 +462,9 @@ private List<Result> checkSatisfiability(String ontologyIri, OpenlletReasoner re
     	    results.add(result);
     	    result.name = className;
 
-    	    if (!options.omitExplanations && !reasoner.isSatisfiable(klass)) {
+    	    if (!reasoner.isSatisfiable(klass)) {
     	    	result.message = "class "+className+" is insatisfiable";
-    	    	result.explanation = createExplanationOntology(explanation.getUnsatisfiableExplanation(klass), explanationFormat);
+    	    	result.explanation = options.omitExplanations ? "[omitted]" : createExplanationOntology(explanation.getUnsatisfiableExplanation(klass), explanationFormat);
     	    }
     	}