| /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/utils/ |
| H A D | java_version.java | 18 public static void main(String[] args) { argument
|
| /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/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/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/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/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/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/ ... |