/hets/OWL2/java/de/unibremen/informatik/FactProver/ |
H A D | Prove.java | 7 public static void main(String[] args) { argument 8 if (args.length < 2) { 13 IRI physicalIRI = IRI.create(args[0]); 14 IRI goalIRI = IRI.create(args[1]);
|
/hets/OWL2/tests/ |
H A D | SimpleOWLRenderer.java | 21 public static void main(String[] args) { argument 23 if (args.length < 1) { 35 if (args.length == 3) { 36 filename = args[1]; 38 if (args[2].equals("xml")) 42 if (args.length == 2) { 43 if (args[1].equals("xml")) 50 IRI physicalIRI = IRI.create(args[0]);
|
/hets/RDF/java/de/unibremen/informatik/ |
H A D | RDFReasoner.java | 11 public static void main (String args[]) throws Exception { argument 14 if (args.length == 0) { 18 String inputFile = args[0]; 28 if (args.length == 1) { 40 inputQuery = args[1];
|
/hets/OWL2/java/de/unibremen/informatik/Fact/ |
H A D | Fact.java | 13 public static void main(String[] args) { argument 14 if (args.length < 1) { 21 IRI physicalIRI = IRI.create(args[0]);
|
/hets/OWL2/java/de/unibremen/informatik/locality/ |
H A D | LocalityChecker.java | 23 public static void main(String[] args) { argument 24 if (args.length != 3) { 30 if (args[2].equals("TOP_BOTTOM")) { 32 } else if (args[2].equals("TOP_TOP")) { 38 loader(args[0], args[1]);
|
/hets/utils/ |
H A D | java_version.java | 18 public static void main(String[] args) { argument
|
/hets/OWL2/java/de/unibremen/informatik/ |
H A D | OWL2Parser.java | 117 public static void main(String[] args) { argument 121 parseArgs(args, out); 196 private static void parseArgs(String[] args, OWLOutputHandler out) argument 200 if (args.length == 0) { 203 for (int i = 0; i < args.length; i++ ) { 204 String arg = args[i].toLowerCase(); 207 if (!(i < args.length - 2)) { 211 out.add(parseOption(args[++i].toLowerCase(), msg), args[++i]); 213 if (!(i < args [all...] |
/hets/MMT/ |
H A D | hets-mmt-standalone.jar | ... lang.String[]) throws java.lang.Exception String[] args
public void run (java.lang.String[]) throws java ... |
/hets/DMU/ |
H A D | OntoDMU.jar | ... public static void main (java.lang.String[]) String[] args
String file
String outputFile
String lib
String spec
String myspec ... |
/hets/Isabelle/export/ |
H A D | parser.ml | 182 |-- Thy_Header.args); 641 args:(Token.T list * Thy_Header.header), 675 args:(Token.T list * Thy_Header.header), 691 #> (fn (((h,a),b),_) => Thy {header=h,args=a,body=b})); 851 fun attrs_of_binding state (name,args) = 853 attr "args" (List.map (Args.pretty_src ( 855 #> space_implode ", ") args; 1028 let val l' = List.map (fn ((name,tm),args) => 1033 val args' = List.map (Args.pretty_src 1035 args |> space_implod 1065 val args = List.map #2 args' var 1081 val args = List.map #2 args' var [all...] |
/hets/CASL/Termination/ |
H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
/hets/OWL2/java/lib/ |
H A D | guava-18.0.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ... |
H A D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
H A D | trove4j-3.0.3.jar | META-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ... |