elk-ore-parent/elk-ore/src/main/java/org/semanticweb/elk/ore/NativeRunner.java
public static void main(String[] args) throws Exception {
		Task task = validateArgs(args);
		// help
		if (task == null) {
			printHelp();
			return;
		}

		NativeRunner runner = new NativeRunner();
		
		runner.run(args, task);
	}
public static void main(String[] args) throws Exception {
		Task task = validateArgs(args);
		// help
		if (task == null) {
			printHelp();
			return;
		}

		NativeRunner runner = new NativeRunner();
		
		runner.run(args, task);
	}
Arguments are as follows: 0 - name of the reasoning task (SAT, query,
classification, consistency) 1 - ontology path 2 - output path 3 -
concept URI, in case of SAT

@param args
@throws Exception