Make small change

julianmendez · Apr 18, 2016 · 6dcc6e2 · 6dcc6e2
1 parent b380f27
commit 6dcc6e2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...-owlapi/src/main/java/de/tudresden/inf/lat/born/owlapi/processor/ProblogInputCreator.java b/...-owlapi/src/main/java/de/tudresden/inf/lat/born/owlapi/processor/ProblogInputCreator.java
@@ -278,7 +278,8 @@ public String createProblogFile(boolean useOfDefaultCompletionRules, String addi
 		});
 
 		Module module = moduleExtractor.extractModule(normalizedAxioms, setOfClasses);
-		logger.fine("Module: " + module.getAxioms());
+		logger.fine("Module entities: " + module.getEntities());
+		logger.fine("Module axioms: " + module.getAxioms());
 
 		executionResult.setModuleExtractionTime(System.nanoTime() - moduleExtractionStart);
 		executionResult.setModuleSize(module.getAxioms().size());