v1.3.1: fix launcher and log RDFMiner

Author: RemiFELIN

RDFMiner/code/src/main/java/com/i3s/app/rdfminer/RDFMiner.java

@@ -116,6 +116,9 @@ public static void main(String[] args) throws InterruptedException {
 
 		logger.info("Number of processors avalaibles: " + Global.NB_THREADS);
 
+		if(parameters.timeOut != 0)
+			logger.info("Time cap initialized at " + parameters.timeOut + " seconde(s)");
+		
 		// Load rdfminer_RDFMINER.so generated by ./compile_c_code.sh (see /scripts
 		// folder)
 		System.loadLibrary("rdfminer_RDFMiner");

RDFMiner/code/src/main/java/com/i3s/app/rdfminer/launcher/LaunchWithoutGE.java

@@ -155,7 +155,7 @@ public void run() {
 				}
 
 				if (parameters.axiom != null) {
-					System.out.println("[RES]" + RDFMiner.results.toString());
+					System.out.println("Axiom evaluated ! JSON Result: " + a.toJSON().toString());
 					break;
 				}