/hets/OWL2/java/de/unibremen/informatik/FactProver/ |
H A D | Prove.java | 9 System.out.println("owl_fact_prover <Ontology> <Conjecture>"); 16 System.out.println("FactProver: " + prover + "\n"); 17 System.out.println("PhysicalIRI: " + physicalIRI + "\n"); 18 System.out.println("GoalIRI: " + goalIRI + "\n"); 22 System.out.println("proved"); 25 System.out.println("disproved"); 29 System.out.println(e.getMessage());
|
H A D | FactProver.java | 474 System.out.println(goal);
|
/hets/utils/ |
H A D | java_version.java | 22 System.out.println("Vendor: " + mxBean.getVmVendor()); 23 System.out.println("VM Name: " + mxBean.getVmName() + " " + 25 System.out.println("Runtime: " + p.get("java.runtime.name") + " " + 27 System.out.println("OS: " + mxOS.getName() + " " + mxOS.getArch() 29 System.out.println("Processors: " + mxOS.getAvailableProcessors());
|
/hets/OWL2/tests/ |
H A D | SimpleOWLRenderer.java | 24 System.out.println("Usage: processor <URI> [FILENAME]"); 29 BufferedWriter out; 37 out = new BufferedWriter(new FileWriter(filename)); 46 out = new BufferedWriter(new OutputStreamWriter(System.out)); 57 parse2xml(ontology, out, manager); 59 parse(ontology, out, manager); 69 public static void parse(OWLOntology onto, BufferedWriter out, OWLOntologyManager mng) argument 73 ren.render(onto, out); 80 public static void parse2xml(OWLOntology onto, BufferedWriter out, OWLOntologyManage argument [all...] |
/hets/ToHaskell/test/ |
H A D | runcheck.sh | 20 ghc -c -w $i.hs > $i.out 2>&1 21 if [ -s $i.out ]; then echo "error when translating $i"; fi
|
/hets/OWL2/java/de/unibremen/informatik/locality/ |
H A D | LocalityChecker.java | 21 private static ToStringRenderer out; field in class:LocalityChecker 25 System.out.println("Usage: LocalityChecker <URI> " 41 System.out.print("Result: "); 43 System.out.println("LOCAL"); 46 System.out.println("NON-LOCAL"); 50 System.out.println("The ontology could not be created: " 58 out = org.semanticweb.owlapi.io.ToStringRenderer.getInstance(); 66 System.out.print("Non-local axiom: "); 67 System.out.println(out [all...] |
/hets/RDF/java/de/unibremen/informatik/ |
H A D | RDFReasoner.java | 15 System.out.println("<rdf_filename> <query_filename>"); 23 System.out.println("File" + inputFile + "not found"); 31 model.write(System.out); 33 System.out.println(e.getMessage()); 55 ResultSetFormatter.out(System.out, results, query); 60 //model.write(System.out); 62 System.out.println(e.getMessage());
|
/hets/OWL2/java/de/unibremen/informatik/Fact/ |
H A D | Fact.java | 15 System.out.println("owl_fact <Ontology>"); 27 System.out.println("consistent"); 30 System.out.println("inconsistent"); 34 System.out.println("The ontology could not be created: " 38 System.out.println("Exception:" + e.getMessage());
|
/hets/OWL2/java/de/unibremen/informatik/ |
H A D | OWL2Parser.java | 120 OWLOutputHandler out = new OWLOutputHandler(); 121 parseArgs(args, out); 143 // reset the manager. clear out imports to avoid duplicates 152 out._open(); 157 // System.out.println("NAME: " + merged_name + "\n"); 159 // System.out.println("MERGED_IRI " + mergedOntologyIRI + "\n"); 169 out.renderUsingOption(merged); 172 exportImports(out); 174 out._close(); 183 System.out 196 parseArgs(String[] args, OWLOutputHandler out) argument 288 exportImports(OWLOutputHandler out) argument [all...] |
/hets/Isabelle/export/ |
H A D | test_parser.sh | 60 TEMP_FILE=`mktemp isaexport.out` 65 TEMP_FILE="/tmp/isaexport.out" 82 File.write (Path.explode \"./test.out\") (Parser.scan s |> PolyML.makestring);
|
H A D | export.sh | 72 TEMP_FILE=`mktemp isaexport.out` 77 TEMP_FILE="/tmp/isaexport.out" 88 val out' = fn (f,i,s') => 94 val out = fn (i,s) => out' (\"$COMM_FILE\",i,s); 95 val v = fn s => out (1,\"Isabelle: \"^s); 96 val e = fn s => (out (0,s); OS.Process.exit OS.Process.failure)
|
/hets/DMU/ |
H A D | OntoDMU.jar | ... lang.String) java.io.InputStream xmlStream
String out
ClassLoader loader
java.io.InputStream xsltStream
int number ... |
/hets/OWL2/java/lib/ |
H A D | trove4j-3.0.3.jar | META-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ... |
H A D | guava-18.0.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ... |
/hets/MMT/ |
H A D | hets-mmt-standalone.jar | main/main.jar .version OneJar.class OneJar.java package public OneJar extends java.lang ... |
/hets/CspCASL/Grammar/ |
H A D | CSP_CASL_Parser.tex | 61 \item All required sources must have been checked out using '{\tt cvs up -Pd}' in the top\\
|
/hets/ |
H A D | var.mk | 137 # for profiling (or a minimal hets) comment out the previous two package lines
|
H A D | Makefile | 19 # uncomment HC_PROF for profiling (and comment out packages in var.mk) 562 $(filter-out Scratch.hs, $(wildcard *.hs)) \ 626 test/*/log */test/temp* ToHaskell/test/*.{out,output} \ 629 doc/UserGuide.{log,aux,bbl,blg,out,fdb_latexmk,fls} doc/hs2isa.ps \
|
/hets/doc/ |
H A D | hs2isa.tex | 82 %of monads is carried out with AWE. 171 Isabelle/HOLCF may turn out to be comparatively hard. After being 609 possible out of the automation currently available in Isabelle, 683 %typing system, could be more easily carried out relying on some form 691 package and Erwin R. Catesbeiana for pointing out an inconsistency. 1104 case, by straightforward simplification). The translation will print out
|
H A D | UserGuideCommonLogic.tex | 232 out in \cite{Habil}. A short overview of \Hets is given in 599 leave out the analysis of basic specifications. This can be used 1325 timed out (indicated by `t') it may help to activate the check box `Include
|
H A D | UserGuide.tex | 228 out in \cite{Habil}. A short overview of \Hets is given in 550 HasCASL2HasCASLNoSubtypes & coding out subtypes \\\hline 704 leave out the analysis of basic specifications. This can be used 1657 timed out (indicated by `t') it may help to activate the check box `Include
|
/hets/HasCASL/doc/ |
H A D | StaticAna.tex | 236 terms may not contain arbitrary formulas must be ruled out later on.
|
/hets/CASL/Termination/ |
H A D | AProVE.jar | ... help/html/in/ aprove/help/html/intro/ aprove/help/html/out/ aprove/help/html/ref/ aprove/help/html/tech/ aprove/help ... |
/hets/CASL_DL/doc/ |
H A D | CASL_DL-Notes.tex | 42 Perhaps you could leave out the ``splitting back'' in a first
|
/hets/debian/ |
H A D | rules | 19 # uncomment HC_PROF for profiling (and comment out packages in var.mk) 562 $(filter-out Scratch.hs, $(wildcard *.hs)) \ 626 test/*/log */test/temp* ToHaskell/test/*.{out,output} \ 629 doc/UserGuide.{log,aux,bbl,blg,out,fdb_latexmk,fls} doc/hs2isa.ps \
|