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);
	}
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
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