Index of thesis
-rw 407552 10 Sep 2003 11:41:27 GMT 1_2_3.doc
-rw 25088 5 Aug 2002 12:13:48 GMT addons.doc
-rw 795 29 Aug 2002 14:49:44 GMT allValuesFrom.n3
-rw 1949 27 Dec 2002 23:26:12 GMT AltsIn.hs
-rw 553 18 Jan 2003 14:22:42 GMT AltsOut.hs
-rw 306688 27 Jan 2003 12:22:15 GMT An_inference_engine_for_RDF.doc
-rw 158964 27 Jan 2003 12:48:00 GMT An_inference_engine_for_RDF.html
drw 0 27 Jan 2003 12:53:04 GMT An_inference_engine_for_RDF_files/
-rw 27136 4 Sep 2002 12:24:22 GMT An_owl_ontology.doc
-rw 1226 1 Dec 2001 00:20:14 GMT animal-result.n3
-rw 725 1 Oct 2001 00:12:34 GMT animal-simple.n3
-rw 677 1 Oct 2001 00:12:34 GMT animal.n3
-rw 3526 14 Jan 2003 14:08:16 GMT animal.n3.eng
-rw 630 23 Apr 2002 00:19:42 GMT animal.n3.ld
-rw 1173 19 Apr 2002 23:43:04 GMT animal.n3.pr
-rw 1275 31 Oct 2002 19:04:18 GMT ArrTest.hs
-rw 573 1 Oct 2001 00:12:34 GMT authen.axiom.n3
-rw 2555 15 Jan 2003 11:33:54 GMT authen.axiom.n3.eng
-rw 3932 10 Jun 2002 17:19:28 GMT authen.axiom.n3.ld
-rw 1611 28 May 2002 23:01:40 GMT authen.axiom.n3.pr
-rw 0 3 May 2002 00:34:02 GMT authen.axiom.n3.tv
-rw 3927 1 Jul 2002 21:09:26 GMT authen.axiom.n3_authen.lemma.n3.db
-rw 17207 30 Jul 2002 10:02:27 GMT authen.axiom.n3_authen.lemma.n3.eng
-rw 151 10 Mar 2003 14:16:54 GMT authen.axiom.pro
-rw 196 21 Oct 2001 12:31:50 GMT authen.lemma.n3
-rw 337 5 Jun 2002 14:37:40 GMT authen.lemma.n3.ld
-rw 241 16 May 2002 21:01:48 GMT authen.lemma.n3.pr
-rw 29 10 Mar 2003 14:17:08 GMT authen.lemma.pro
-rw 699 1 Dec 2001 00:19:28 GMT authen.proof.n3
-rw 111 12 Mar 2002 21:20:32 GMT autoexec.bat
-rw 498 30 Aug 2002 11:52:12 GMT avf.axiom.n3
-rw 18 30 Aug 2002 11:39:30 GMT avf.query.n3
-rw 51200 16 Oct 2002 11:51:32 GMT Bibliography.doc
-rw 1619 30 Mar 2003 20:09:15 GMT boole
-rw 647 7 Feb 2003 16:08:30 GMT boole.a.pro
-rw 3349 10 Feb 2003 12:39:34 GMT boole.axiom.n3
-rw 680 22 Apr 2002 15:21:30 GMT boole.axiom.n3.ld
-rw 1484 28 Feb 2003 22:38:50 GMT boole.axiom.pro
-rw 1729 20 Feb 2003 10:59:00 GMT boole.axiom.sav.txt
-rw 98 15 Feb 2003 23:00:40 GMT boole.lemma.n3
-rw 14 17 Feb 2003 11:52:58 GMT boole.lemma.pro
-rw 1430 5 Jun 2002 22:05:30 GMT boole.n3
-rw 9 7 Feb 2003 15:51:18 GMT boole.q.pro
-rw 303 3 Feb 2003 09:34:08 GMT boole1.axiom.n3
-rw 124 3 Feb 2003 09:34:20 GMT boole1.lemma.n3
-rw 1537 4 Feb 2003 20:33:44 GMT booleth.axiom.n3
-rw 68 4 Feb 2003 20:33:58 GMT booleth.lemma.n3
-rw 1619 18 Feb 2003 14:58:38 GMT booleW.a.n3
-rw 93 15 Mar 2003 20:45:14 GMT booleW.q.n3
-rw 247 22 Apr 2001 15:33:38 GMT cat.kb
-rw 392192 13 Jun 2003 13:19:09 GMT Chapter_5.doc
-rw 152064 18 Jun 2003 12:54:26 GMT Chapter_6.doc
-rw 37888 16 Jun 2003 13:17:40 GMT Chapter_7.doc
-rw 1327104 1 Jul 2003 10:32:19 GMT chaptergraaf.doc
-rw 473 15 Dec 2002 19:18:44 GMT checkRule.hs
-rw 1308 13 Sep 2002 10:42:50 GMT classes.txt
-rw 800 28 Feb 2003 22:15:48 GMT club.a.pro
-rw 108 28 Feb 2003 22:05:52 GMT club.q.pro
-r- 4337 7 Jun 1999 21:53:36 GMT CombParse.hs
-rw 86 1 Aug 2002 14:43:34 GMT complexTest.axiom.n3
-rw 164 30 Jul 2002 14:38:48 GMT complexTest.query.n3
-r- 1077 14 Dec 2001 06:57:48 GMT Credits
-rw 781 16 Jun 2002 14:32:52 GMT danb-q.n3
-rw 770 17 Oct 2002 14:54:38 GMT danb-query.n3
-rw 441 11 Jun 2002 23:49:06 GMT danb-query.n3.ext
-rw 3514 11 Jun 2002 21:17:26 GMT danb-query.n3.ld
-rw 546 8 Dec 2002 15:18:04 GMT danb-query1.n3
-rw 1741 1 Dec 2001 00:19:50 GMT danb-result.n3
-rw 2186 17 Oct 2002 15:00:00 GMT danb.n3
-rw 34 11 Jun 2002 23:49:36 GMT danb.n3.ext
-rw 11273 10 Jun 2002 19:49:00 GMT danb.n3.ld
-rw 5899 19 Apr 2002 23:26:24 GMT danb.n3.pr
-rw 5960 10 Apr 2002 23:19:50 GMT danb.n3.ps
-rw 18298 1 Jul 2002 22:29:22 GMT danb.n3_danb-q.n3.db
-rw 69863 30 Jul 2002 10:02:32 GMT danb.n3_danb-q.n3.eng
-rw 539 3 Aug 2002 23:21:54 GMT danbg-query.n3
-rw 460 3 Aug 2002 23:21:54 GMT danbg.n3
-rw 612 6 Aug 2002 15:41:06 GMT danbg1-query.n3
-rw 595 6 Aug 2002 19:11:28 GMT danbg2-query.n3
-rw 319 15 Oct 2001 22:28:48 GMT danc-query.n3
-rw 956 1 Dec 2001 00:19:44 GMT danc-result.n3
-rw 755 1 Oct 2001 00:12:36 GMT danc.n3
-rw 1288 28 May 2002 00:26:24 GMT danc.n3.ld
-rw 3726 19 Apr 2002 23:18:04 GMT danc.n3.pr
-rw 688 1 Jul 2002 17:06:26 GMT databases.db
-rw 27648 16 Sep 2003 14:16:08 GMT Demo_voor_de_thesis_presentatie.doc
-rw 22528 6 Dec 2001 14:52:35 GMT DEROO.DOC
-rw 167424 21 Oct 2002 12:19:22 GMT Description_of_N3Engine.doc
-rw 589 15 Jan 2003 14:59:50 GMT element.a.n3
-rw 3147 15 Jan 2003 14:59:56 GMT element.a.n3.eng
-rw 326 15 Jan 2003 12:04:46 GMT element.q.n3
-rw 1202 8 Apr 2002 11:31:12 GMT engine.n3
-rw 2188 7 Dec 2002 12:09:50 GMT eq.a.n3
-rw 563 5 Dec 2002 20:50:22 GMT eq.q.n3
-rw 865 26 Nov 2001 07:42:34 GMT etc.n3
-rw 1679 19 Apr 2002 23:45:08 GMT etc.n3.pr
-rw 349 27 Feb 2003 15:03:52 GMT fibo.a.pro
-rw 47 27 Feb 2003 15:04:24 GMT fibo.q.pro
-rw 3240 2 May 2002 18:55:52 GMT filgn
-rw 2227228 8 Aug 2003 15:27:57 GMT finchapter1.html
drw 0 8 Aug 2003 15:27:57 GMT finchapter1_files/
-rw 137216 1 Jul 2003 10:32:19 GMT finpres.ppt
-rw 6942 23 Apr 2001 17:36:42 GMT FirstOrderLogic.hs
-rw 1544 26 Nov 2001 07:42:34 GMT gedcom-facts.n3
-rw 40387 9 Jan 2003 15:10:02 GMT gedcom-facts.n3.eng
-rw 15951 23 Apr 2002 00:23:44 GMT gedcom-facts.n3.ld
-rw 9675 21 Apr 2002 16:43:32 GMT gedcom-facts.n3.pr
-rw 6161 13 Aug 2002 18:55:08 GMT gedcom-merge.n3
-rw 16326 19 Sep 2002 18:28:22 GMT gedcom-proof.n3
-rw 506 1 Dec 2002 17:25:14 GMT gedcom-qsimple.n3
-rw 903 31 Jan 2003 22:11:08 GMT gedcom-query.n3
-rw 5186 1 Dec 2001 00:20:24 GMT gedcom-relations-result.n3
-rw 5100 26 Nov 2001 07:42:34 GMT gedcom-relations-test.n3
-rw 5319 24 Jan 2003 14:54:02 GMT gedcom-relations.n3
-rw 1098 23 Apr 2002 00:24:34 GMT gedcom-relations.n3.ld
-rw 29063 21 Apr 2002 17:14:34 GMT gedcom-relations.n3.pr
-rw 2382 5 Dec 2002 12:04:00 GMT gedcom-relSimple.n3
-rw 502 1 Dec 2002 16:50:18 GMT gedcom-simple.n3
-rw 6472 8 Jan 2003 10:20:16 GMT gedcom-simple.n3.eng
-rw 6439 6 Jun 2002 17:21:29 GMT gedcom-test.n3
-rw 13781 16 Nov 2002 00:22:36 GMT GenerateDB.161102.hs
-rw 16075 27 Dec 2002 23:23:56 GMT GenerateDB.hs
-rw 9 30 Jul 2002 11:53:16 GMT gn.a.n3
-rw 9 30 Jul 2002 11:53:30 GMT gn.q.n3
-rw 16 1 Jul 2002 08:07:48 GMT gn1-q.n3
-rw 16 1 Jul 2002 07:48:46 GMT gn1.n3
-rw 731 1 Jul 2002 17:09:22 GMT gn1.n3_gn1-q.n3.db
-rw 4453 1 Jul 2002 17:54:34 GMT gn1.n3_gn1-q.n3.eng
-rw 13 6 Mar 2002 18:41:54 GMT GO.BAT
-rw 1276 27 Jan 2003 21:58:16 GMT graph.axiom.n3
-rw 1107 27 Jan 2003 21:55:48 GMT graph.axiom1.n3
-rw 270 16 Nov 2002 10:42:30 GMT Graph.hs
-rw 295 27 Jan 2003 21:59:24 GMT graph.lemma.n3
-rw 284 9 Dec 2002 14:27:52 GMT graph.lemma1.n3
-rw 21890 1 Dec 2001 00:19:34 GMT graph.proof.n3
-rw 104 24 Nov 2002 16:03:42 GMT graphTest.a.n3
-rw 51 24 Nov 2002 16:04:00 GMT graphTest.q.n3
-rw 745 26 Feb 2003 22:57:48 GMT group.a.n3
-rw 90 26 Feb 2003 22:58:44 GMT group.q.n3
-rw 546 26 Feb 2003 22:41:54 GMT group1.a.pro
-rw 143 26 Feb 2003 22:40:52 GMT group1.q.pro
-rw 489 26 Feb 2003 21:36:36 GMT group2.a.pro
-rw 124 25 Feb 2003 21:13:46 GMT group2.q.pro
-rw 35536 30 Mar 2003 20:20:56 GMT halfAdder.jpg
-rw 5399 27 Dec 2002 23:24:52 GMT Hash.hs
-rw 920 7 Sep 2002 12:58:32 GMT haskell.n3
-rw 132 6 Sep 2002 23:56:36 GMT haskell.q.n3
-rw 9030 30 Jan 2002 17:52:22 GMT heerlen.rtf
-rw 6698 12 Mar 2003 10:37:54 GMT hosts.a.n3
drw 0 26 Oct 2002 15:47:39 GMT HUGS/
-rw 4787 28 Jun 2002 17:24:28 GMT IaProver.hs
-rw 35276 31 Oct 2003 21:57:01 GMT index.html
-rw 293 18 Aug 2002 11:31:46 GMT induction.axiom.n3
-rw 124 18 Aug 2002 11:35:58 GMT induction.query.n3
-rw 9172 5 Dec 2001 03:11:42 GMT INSTALL
-rw 8314 22 Jun 2001 14:36:32 GMT IO.HS
-rw 564 9 Mar 2002 18:09:40 GMT io.txt
-rw 1622 1 Dec 2001 00:20:12 GMT janet-result.n3
-rw 706 1 Oct 2001 00:12:36 GMT janet-test.n3
-rw 714 1 Oct 2001 00:12:36 GMT janet.n3
-rw 0 23 Apr 2002 00:25:18 GMT janet.n3.ld
-rw 3046 24 Apr 2002 22:40:10 GMT janet.n3.pr
-rw 4258 28 May 2002 00:40:50 GMT jeuring
-rw 6628 20 Jun 2002 12:44:02 GMT KnowledgeBase.hs
-rw 1712 13 Dec 2001 08:16:20 GMT LICENSE
-rw 109 4 Feb 2003 22:18:22 GMT list.a.n3
-rw 729 23 Feb 2003 21:11:44 GMT list.a.pro
-rw 34 23 Feb 2003 15:31:58 GMT list.q.pro
-rw 26624 11 Sep 2003 14:53:25 GMT listdemo.doc
-rw 490 1 Dec 2001 00:21:28 GMT lists-query.n3
-rw 2709 1 Dec 2001 00:19:52 GMT lists-result.n3
-rw 484 1 Oct 2001 00:12:36 GMT lists.n3
-rw 14383 7 Aug 2002 11:37:18 GMT Load.070802.hs
-rw 13945 23 May 2002 21:04:30 GMT Load.100602
-rw 14352 30 Jul 2002 20:21:40 GMT load.121002.hs
-rw 13752 12 May 2002 07:27:00 GMT Load.130502
-rw 14352 30 Jul 2002 20:21:40 GMT Load.hs
-rw 13662 14 Aug 2002 15:25:30 GMT Load1.hs
-rw 28545 8 Dec 2002 12:29:42 GMT LoadTree.081202.hs
-rw 26318 31 Oct 2002 20:33:08 GMT LoadTree.311002.hs
-rw 30691 27 Dec 2002 23:24:10 GMT LoadTree.hs
-rw 26326 31 Oct 2002 21:07:46 GMT LoadTrees.hs
-rw 2393 24 Oct 2002 22:10:28 GMT logic.a.n3
-rw 1232 8 Dec 2002 21:37:44 GMT logic.q.n3
-rw 45056 12 May 2003 20:28:17 GMT Logical_implication.doc
-rw 7374 27 Oct 2002 13:50:53 GMT logictest.n3
-rw 24064 11 Oct 2002 20:55:28 GMT looping.ppt
-rw 2905 20 Jun 2002 09:44:44 GMT Main.hs
-rw 32768 5 Feb 2002 14:22:08 GMT meeting1.doc
-rw 11005 15 Oct 2002 11:04:48 GMT metarules.txt
-rw 55808 2 Dec 2002 12:40:59 GMT Modelling_rdf.doc
-rw 225 31 Jan 2003 16:07:36 GMT mult.a.n3
-rw 131 31 Jan 2003 11:45:14 GMT mult.q.n3
-rw 35189 30 Apr 2002 21:36:04 GMT N32xml.HS
-rw 1936 13 Feb 2002 02:21:18 GMT N3Engine
-rw 22240 1 Feb 2003 21:52:28 GMT N3Engine.020203.hs
-rw 22595 5 Feb 2003 22:03:06 GMT N3Engine.050203.hs
-rw 56681 13 Aug 2002 19:05:24 GMT N3Engine.050802.hs
-rw 54966 4 Oct 2002 20:55:30 GMT N3Engine.121002.hs
-rw 60797 13 Aug 2002 19:01:14 GMT N3Engine.130802.hs
-rw 22962 16 Feb 2003 22:05:14 GMT N3Engine.160203.Hs
-rw 23917 17 Feb 2003 22:38:38 GMT N3Engine.170203.Hs
-rw 54966 4 Oct 2002 20:55:30 GMT N3Engine.231002.hs
-rw 52680 31 Jul 2002 00:15:58 GMT N3Engine.danb.hs
-rw 22647 4 Apr 2003 07:52:54 GMT N3Engine.hs
-rw 2380 1 Apr 2002 12:57:30 GMT N3Engine.sav
-rw 16422 8 Jan 2003 10:19:08 GMT N3Engine.sav.hs
-rw 23142 4 Mar 2003 22:28:50 GMT N3Engine1.hs
-rw 31410 2 May 2002 22:50:14 GMT N3Engine2.030502
-rw 0 27 May 2002 20:19:50 GMT N3Engine2.15.05.02
-rw 16754 15 May 2002 21:55:42 GMT N3Engine2.150502
-rw 41190 17 Jun 2002 05:13:42 GMT N3Engine2.170602
-rw 41945 18 Jun 2002 07:08:46 GMT N3Engine2.180602
-rw 43411 20 Jun 2002 23:51:00 GMT N3Engine2.210602
-rw 28794 6 Jun 2002 00:39:42 GMT N3Engine2.60602
-rw 46403 7 Sep 2002 12:47:26 GMT n3Engine2.hs
-rw 46205 27 Jun 2002 22:03:30 GMT N3Engine2.interact
-rw 22851 7 Mar 2003 13:25:22 GMT N3Engine3.hs
-rw 24518 28 Feb 2003 14:19:24 GMT N3EngineLevel.hs
-rw 22743 2 Mar 2003 20:57:02 GMT N3EngineN.hs
-rw 37708 27 Jun 2002 22:33:18 GMT N3Enginetest.hs
-rw 90792 14 Mar 2003 22:00:58 GMT n3Out.n3
-rw 927 14 Nov 2002 20:47:20 GMT N3Paramod.hs
-rw 38811 29 Aug 2002 22:27:08 GMT N3PArser.121002.hs
-rw 29481 16 Apr 2002 22:39:50 GMT N3Parser.170402
-rw 31412 17 Apr 2002 22:32:58 GMT N3Parser.180402
-rw 31412 18 Apr 2002 07:32:58 GMT N3Parser.190402
-rw 44558 12 Mar 2003 09:52:40 GMT N3Parser.hs
-rw 24828 29 Mar 2002 23:11:22 GMT N3Parser.sav
-rw 20631 12 Mar 2002 14:12:48 GMT N3Parser1203.sav
-rw 10265 15 Feb 2003 18:39:08 GMT N3Prolog.hs
-rw 3952 19 Jun 2002 21:47:36 GMT N3Spec.n3
-rw 8987 28 May 2002 23:03:42 GMT N3Spec.n3.ld
-rw 14733 28 May 2002 23:03:06 GMT N3Spec.n3.pr
-rw 23 27 May 2002 22:38:06 GMT N3Test.ld
-rw 2649 6 Sep 2002 20:41:56 GMT N3Test.n3
-rw 12312 27 May 2002 22:40:10 GMT N3Test.n3.ld
-rw 11210 1 Dec 2002 17:21:20 GMT N3Unify.011202.Hs
-rw 13693 5 Feb 2003 22:08:04 GMT N3Unify.050203.hs
-rw 13820 6 Feb 2003 21:22:24 GMT N3Unify.060203.hs
-rw 15527 10 Mar 2003 13:23:56 GMT N3Unify.100303.hs
-rw 17778 12 Dec 2002 08:32:38 GMT N3Unify.151202.hs
-rw 10352 28 Nov 2002 08:45:38 GMT N3Unify.281102.hs
-rw 15127 4 Apr 2003 07:51:36 GMT N3Unify.hs
-rw 5400 2 Nov 2002 18:47:10 GMT N3Unify.s.hs
-rw 4124 3 Nov 2002 22:26:46 GMT N3Unify1.hs
-rw 13066 26 Jan 2003 00:48:50 GMT N3Unifycop.hs
-rw 18780 14 Dec 2002 16:02:40 GMT N3UnifyN.hs
-rw 900 26 Jul 2002 21:34:06 GMT naudts.hs
-rw 3833 22 Oct 2003 14:31:38 GMT newfinpresE.htm
drw 0 31 Oct 2003 21:17:52 GMT newfinpresE_fichiers/
-rw 11814 22 Apr 2001 12:39:06 GMT NormalForm.hs
-rw 58880 13 May 2002 10:43:08 GMT notas.doc
-rw 771 26 Jan 2003 09:42:10 GMT ontology.axiom.n3
-rw 4357 15 Jan 2003 11:33:14 GMT ontology.axiom.n3.eng
-rw 15014 10 Jan 2003 08:09:04 GMT ontology.axiom.n3.exp
-rw 3505 2 Aug 2002 10:57:14 GMT ontology.axiom.n3_ontology.query.n3.db
-rw 18274 4 Aug 2002 22:16:56 GMT ontology.axiom.n3_ontology.query.n3.eng
-rw 305 23 Dec 2002 19:52:46 GMT ontology.query.n3
-rw 970 26 Jan 2003 09:43:28 GMT ontology1.axiom.n3
-rw 4875 15 Jan 2003 11:33:30 GMT ontology1.axiom.n3.eng
-rw 4453 2 Aug 2002 10:57:14 GMT ontology1.axiom.n3_ontology1.query.n3.db
-rw 37659 4 Aug 2002 22:17:14 GMT ontology1.axiom.n3_ontology1.query.n3.eng
-rw 365 23 Dec 2002 19:51:12 GMT ontology1.query.n3
-rw 795 11 Dec 2002 14:19:40 GMT ontology2.axiom.n3
-rw 828 11 Dec 2002 13:21:14 GMT ontology3.axiom.n3
-rw 727 18 Dec 2002 09:01:00 GMT ontologyM.axiom.n3
-rw 2521 28 Feb 2003 22:20:38 GMT OWLS.N3
-rw 418 21 Sep 2002 20:49:52 GMT owls.query.n3
-rw 116 3 Dec 2002 09:11:36 GMT owns.n3
-rw 73 3 Dec 2002 09:11:52 GMT owns.q.n3
-rw 17 6 Mar 2002 18:19:54 GMT Parser.prj
-rw 935 27 Feb 2003 19:32:56 GMT path.axiom.n3
-rw 257 27 Feb 2003 19:33:56 GMT path.query.n3
-rw 890 28 Jan 2003 14:38:56 GMT plen.a.n3
-rw 181 28 Jan 2003 14:59:14 GMT plen.q.n3
-rw 502623 31 Oct 2003 21:29:29 GMT presentation.pdf
-rw 418304 31 Oct 2003 21:26:58 GMT presentation.ppt
-rw 457122 11 Oct 2003 10:28:01 GMT presentation_nl.pdf
-rw 31 1 Jul 2002 17:01:44 GMT proof.eng
-rw 69764 1 Jul 2002 16:35:18 GMT proof.sav
-rw 64000 1 Mar 2002 12:30:32 GMT proposal.doc
-rw 136326 3 Apr 2002 09:47:31 GMT proposal.pdf
-rw 6793 23 Apr 2001 17:40:54 GMT Prover.hs
drw 0 9 Sep 2002 08:14:22 GMT Python/
-rw 107 1 Oct 2001 00:12:36 GMT rdf-facts.n3
-rw 292 28 May 2002 23:07:24 GMT rdf-facts.n3.ld
-rw 147 28 May 2002 22:50:02 GMT rdf-facts.n3.pr
-rw 346 4 Oct 2001 15:24:36 GMT rdf-query.n3
-rw 677 1 Dec 2001 00:20:02 GMT rdf-result.n3
-rw 556 4 Oct 2001 15:24:36 GMT rdf-rules.n3
-rw 12062 1 Dec 2001 00:20:20 GMT rdfc25May-result.n3
-rw 11268 1 Oct 2001 00:12:36 GMT rdfc25May-test.n3
-rw 11265 25 Apr 2002 20:03:12 GMT rdfc25May.n3
-rw 32328 28 May 2002 23:08:14 GMT rdfc25May.n3.ld
-rw 36602 28 May 2002 23:09:56 GMT rdfc25May.n3.pr
-rw 4476 20 Dec 2002 12:19:28 GMT RDFData.hs
-rw 12464 2 Mar 2003 18:23:28 GMT RDFProlog.hs
-rw 12338 23 Feb 2003 17:34:44 GMT RDFPrologF.hs
-rw 1651 1 Dec 2001 00:21:28 GMT rdfs-query.n3
-rw 2304 1 Dec 2001 00:20:06 GMT rdfs-result.n3
-rw 2381 26 Apr 2002 18:10:18 GMT rdfs-rules.n3
-rw 3058 15 Dec 2001 06:55:30 GMT README
-rw 915 27 Dec 2002 23:28:34 GMT readme.txt
-rw 46080 12 Sep 2002 11:43:40 GMT References.doc
-rw 11612 22 Apr 2001 23:06:06 GMT Resolution.hs
-rw 46080 16 Oct 2002 11:51:24 GMT Resolution_based_inference_engines.doc
-rw 30720 11 Oct 2002 20:55:28 GMT Roadmap_to_the_semantic_web.doc
-rw 449 2 May 2002 23:38:16 GMT rulebnf
-rw 307 1 Oct 2001 00:12:36 GMT russell.axiom.n3
-rw 184 15 Oct 2001 22:22:36 GMT russell.lemma.n3
-rw 306 1 Dec 2001 00:19:42 GMT russell.proof.n3
-rw 5387 12 Mar 2003 10:15:48 GMT schedRDF.a.n3
-rw 139 12 Mar 2003 09:22:42 GMT schedRDF.q.n3
-rw 34816 16 Sep 2003 14:16:08 GMT slidecom.doc
-rw 60928 30 Oct 2002 13:10:28 GMT Specification_of_the_inference_engine_in_Haskell.doc
-rw 244 27 May 2002 23:18:36 GMT spectest.n3
-rw 2850 28 May 2002 16:26:38 GMT Spectest.n3.ld
-rw 1125 28 May 2002 16:29:04 GMT spectest.n3.pr
-rw 732 6 Nov 2002 21:36:36 GMT State.hs
-rw 334 2 Mar 2003 11:30:54 GMT string.a.pro
-rw 1297 3 Feb 2003 23:29:54 GMT SubAnons.hs
-rw 210 1 Oct 2001 00:12:36 GMT subclass-query.n3
-rw 644 1 Dec 2001 00:20:00 GMT subclass-result.n3
-rw 305 1 Oct 2001 00:12:36 GMT subclass.n3
-rw 9212 4 Apr 2003 08:01:34 GMT Subgraphs.hs
-rw 251 1 Dec 2001 00:21:28 GMT subprop-query.n3
-rw 574 1 Dec 2001 00:19:56 GMT subprop-result.n3
-rw 397 9 Dec 2002 15:30:42 GMT subprop.a.n3
-rw 326 1 Dec 2001 00:21:28 GMT subprop.n3
-rw 240 9 Dec 2002 15:48:10 GMT subprop.q.n3
-rw 85 1 Feb 2003 17:44:04 GMT sum.a.pro
-rw 15 21 Feb 2003 20:19:46 GMT sum.q.pro
-rw 19968 4 May 2002 21:06:29 GMT tags.doc
-rw 800 1 Dec 2001 00:20:08 GMT test-result.n3
-rw 391 1 Oct 2001 00:12:36 GMT test-test.n3
-rw 97 1 Aug 2002 12:18:58 GMT test.bat
-rw 446 1 Oct 2001 00:12:36 GMT test.n3
-rw 1134 9 Mar 2002 20:13:34 GMT test.tst
-rw 359 1 May 2002 16:34:52 GMT test1.n3
-rw 1835 1 May 2002 20:37:32 GMT test1.n3.ld
-rw 1900 3 May 2002 00:31:06 GMT test1.n3.tv
-rw 39424 30 Apr 2003 10:05:57 GMT testcases.doc
-rw 743 25 Jul 2002 14:38:58 GMT testExec.hs
-rw 3827 26 May 2002 21:11:38 GMT testGenerateDB.tst
-rw 29686 12 May 2002 20:38:56 GMT testGetAllTags
-rw 1192 31 May 2002 20:36:16 GMT testGetALts.tst
-rw 10318 25 Apr 2002 18:57:40 GMT testgn.n3
-rw 0 25 Apr 2002 20:21:04 GMT testgn.n3.pr
-rw 781 9 Jun 2002 15:53:56 GMT testgn1.n3
-rw 3827 26 May 2002 21:54:48 GMT testMarkAllVariables.tst
-rw 431 26 May 2002 21:55:06 GMT testMarkAllVariablesQ.tst
-rw 3827 15 May 2002 20:37:10 GMT testMarkRules
-rw 3245 10 Jun 2002 19:48:08 GMT testMarkRules.tst
-rw 4339 19 May 2002 22:26:14 GMT testMergeTreeList.tst
-rw 79 7 Sep 2002 00:15:06 GMT testN3.hs
-rw 1944 18 Apr 2002 20:46:12 GMT testParseAnonSet.tst
-rw 1665 19 Apr 2002 20:45:04 GMT testParseNode.tst
-rw 1480 22 Mar 2002 19:53:56 GMT testParseNodeList.tst
-rw 1571 29 Mar 2002 18:01:16 GMT testParsePropertyList.tst
-rw 4910 16 Apr 2002 22:41:42 GMT testParseTripleSet.tst
-rw 306 2 Feb 2003 15:07:24 GMT testPro.n3
-rw 8868 18 Jun 2002 00:05:40 GMT testProof.tst
-rw 795 4 Apr 2003 21:28:29 GMT testSpec.a.n3
-rw 241 4 Apr 2003 21:28:42 GMT testSpec.q.n3
-rw 3245 18 Jun 2002 00:30:24 GMT testTestDB.tst
-rw 431 18 Jun 2002 00:30:28 GMT testTestQueryDB.tst
-rw 5245 19 May 2002 21:30:26 GMT testTripleList
-rw 40448 12 Aug 2002 09:54:18 GMT The_implementation_of_ontological_restraints_by_use_of_a_typed_resolution_engine.doc
-rw 42496 18 Sep 2003 14:14:44 GMT The_resolution_process_as_a_finite_state_machine.doc
-rw 673792 23 Oct 2002 11:22:46 GMT The_semantic_web.doc
-rw 2145137 23 Oct 2002 12:18:25 GMT The_semantic_web.PDF
-rw 23552 7 Apr 2003 11:01:48 GMT The_semantic_web_and_logic.doc
-rw 99840 12 Sep 2002 11:25:24 GMT theorem_provers.doc
-rw 975360 31 Oct 2003 21:44:37 GMT thesis.doc
-rw 812708 1 May 2003 20:41:22 GMT thesis.html
-rw 1241645 31 Oct 2003 21:46:37 GMT thesis.pdf
-rw 55808 9 Jan 2002 14:39:07 GMT THESIS2.DOC
-rw 19456 9 Aug 2002 09:40:42 GMT Thesis_contents.doc
drw 0 1 May 2003 20:44:08 GMT thesis_files/
-rw 61 28 Nov 2002 11:00:28 GMT timeTest.hs
-rw 4360 4 Feb 2003 10:59:20 GMT toN3.hs
-rw 21700 30 Sep 2001 23:29:24 GMT tpoint-all.n3
-rw 244 1 Oct 2001 00:12:36 GMT tpoint-facts.n3
-rw 159 20 Oct 2002 19:28:54 GMT tpoint-query.n3
-rw 24510 1 Dec 2001 00:19:54 GMT tpoint-result.n3
-rw 2596 1 Oct 2001 00:12:36 GMT tpoint.n3
-rw 11193 12 Mar 2003 10:01:06 GMT Transform.hs
-rw 2899 2 Mar 2003 22:07:34 GMT tripleApi.hs
-rw 4602 29 Jan 2003 21:19:20 GMT TripleData.hs
-rw 948 7 Aug 2002 13:06:20 GMT type1.axiom.n3
-rw 414 7 Aug 2002 10:01:02 GMT type1.query.n3
-rw 291 30 Sep 2002 08:50:38 GMT UNIF.N3
-rw 143 30 Sep 2002 11:36:34 GMT unif.q.n3
-rw 1196 5 Feb 2003 22:18:58 GMT UnifIn.hs
-rw 22666 23 Oct 2002 20:18:06 GMT Unify.hs
-rw 7743 28 May 2002 11:02:40 GMT utils.121002.hs
-rw 8511 9 Mar 2003 21:30:54 GMT UTILS.HS
-rw 118 30 Sep 2001 23:29:24 GMT varprop-query.n3
-rw 631 30 Sep 2001 23:29:24 GMT varprop-result.n3
-rw 269 30 Sep 2001 23:29:24 GMT varprop.n3
-rw 393 27 Jan 2002 17:06:44 GMT vogel.l.n3
-rw 1379 15 Jan 2003 11:49:16 GMT vogel.l.n3.eng
-rw 378 1 Nov 2002 17:49:18 GMT VOGEL.N3
-rw 157 30 Jan 2002 21:42:14 GMT vogel.q.n3
-rw 2680 12 Aug 2002 12:31:43 GMT voordracht01.html
-rw 137216 21 Mar 2002 21:03:41 GMT voordracht01.ppt
drw 0 2 Sep 2002 08:48:09 GMT voordracht01_files/
-rw 416 28 Nov 2001 21:51:52 GMT wol-facts.n3
-rw 762 30 Nov 2001 20:00:34 GMT wol-query.n3
-rw 1802 30 Nov 2001 23:54:56 GMT wol-rules.n3
-rw 3631 3 May 2002 22:38:40 GMT XML.040502
-rw 8508 6 May 2002 22:31:22 GMT XML.060502
-rw 16022 6 Aug 2002 09:49:28 GMT xml.121002.hs
-rw 10008 27 Dec 2002 23:23:16 GMT XML.HS
-rw 10350 14 Aug 2002 15:32:32 GMT XML1.hs
-rw 121344 16 Oct 2002 11:47:26 GMT XML_and_namespaces.doc
-rw 273 8 Dec 2002 21:43:04 GMT ziv-query.n3
-rw 868 1 Dec 2001 00:19:46 GMT ziv-result.n3
-rw 1926 8 Dec 2002 21:45:24 GMT ziv.n3
413 files / 16784089 bytes