| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| dbork/ | 16-Jan-2003 02:46 | - | ||
| animal-1.rdf | 06-Mar-2004 20:39 | 531 | ||
| animal-ntriples.n3 | 26-Oct-2004 14:19 | 730 | ||
| animal.n3 | 06-Mar-2004 20:39 | 341 | ||
| anon-prop-1.n3 | 25-Jun-2004 01:27 | 129 | ||
| anonymous_loop.ref | 31-Dec-2004 19:12 | 101 | ||
| append-out.n3 | 06-Mar-2004 20:39 | 527 | ||
| argv-1.n3 | 16-Aug-2005 13:49 | 1.2K | ||
| argv-2.n3 | 16-Aug-2005 13:49 | 1.1K | ||
| bad-preds.n3 | 16-Jun-2005 21:39 | 66 | ||
| base64.n3 | 15-Aug-2005 18:55 | 153 | ||
| bi-concat.n3 | 06-Mar-2004 20:39 | 667 | ||
| bi-quant-imp.n3 | 25-Jun-2004 01:27 | 445 | ||
| bi-quant.n3 | 25-Jan-2006 03:16 | 445 | ||
| bi-t1.n3 | 06-Mar-2004 20:39 | 747 | ||
| bi-t2.n3 | 06-Mar-2004 20:39 | 693 | ||
| bi-t3.n3 | 06-Mar-2004 20:39 | 542 | ||
| bi-t4.n3 | 25-Jun-2004 01:27 | 381 | ||
| bi-t5.n3 | 26-May-2001 17:32 | 837 | ||
| bi-t6.n3 | 06-Mar-2004 20:39 | 382 | ||
| bi-t7.n3 | 25-Jun-2004 01:27 | 1.6K | ||
| bi-t8.n3 | 08-Mar-2002 02:39 | 2.2K | ||
| bi-t9.n3 | 25-Jun-2004 01:27 | 584 | ||
| bi-t10.n3 | 07-Jul-2006 03:30 | 1.0K | ||
| bi-t11.n3 | 07-Jul-2006 03:30 | 3.4K | ||
| bi-uri-startswith.n3 | 25-Jun-2004 01:27 | 630 | ||
| bnode.n3 | 06-Mar-2004 20:39 | 348 | ||
| bnode.rdf | 09-Jun-2004 22:14 | 554 | ||
| bnode_in_list_in_list.ref | 03-Dec-2004 03:19 | 109 | ||
| colon-in-uri.n3 | 10-Jan-2005 19:15 | 826 | ||
| colon-no-qname.n3 | 16-Jun-2005 20:08 | 60 | ||
| conclusion.n3 | 23-Aug-2007 16:28 | 7.6K | ||
| conjunction.n3 | 25-Jun-2004 01:27 | 522 | ||
| contexts-1.n3 | 07-Sep-2001 02:08 | 280 | ||
| daml-ex.n3 | 12-May-2004 01:27 | 2.4K | ||
| daml-ont-piped.n3 | 06-Mar-2004 20:39 | 8.6K | ||
| daml-ont.n3 | 06-Mar-2004 20:39 | 8.9K | ||
| data-ugly.n3 | 10-Jan-2005 19:15 | 3.6K | ||
| dbork-OrderTracking0.n3 | 25-Jun-2004 01:27 | 2.6K | ||
| dbork-OrderTracking1-noExtKeys.n3 | 25-Jun-2004 01:27 | 3.7K | ||
| dbork-OrderTracking1-sameFragName.n3 | 25-Jun-2004 01:27 | 4.2K | ||
| dbork-OrderTracking1.n3 | 25-Jun-2004 01:27 | 3.6K | ||
| dbork-OrderTracking6.n3 | 25-Jun-2004 01:27 | 3.2K | ||
| dec-div.ref.n3 | 07-Jul-2006 03:30 | 1.9K | ||
| defdoc1-out.n3 | 25-Jun-2004 01:27 | 779 | ||
| defdoc2-out.n3 | 25-Jun-2004 01:27 | 6.6K | ||
| djb1a-out.n3 | 04-Dec-2003 21:20 | 74 | ||
| dot-dash.n3 | 29-Jul-2003 02:57 | 239 | ||
| double-proof.n3 | 18-Nov-2007 03:40 | 4.1K | ||
| dtlit1.n3 | 20-Jun-2005 00:46 | 370 | ||
| endsWith-out.n3 | 25-Jun-2004 01:27 | 1.6K | ||
| environ.n3 | 25-Jun-2004 01:27 | 476 | ||
| equiv-syntax.n3 | 06-Mar-2004 20:39 | 547 | ||
| filter-bnode.n3 | 15-Oct-2007 14:55 | 195 | ||
| flatten-1e.n3 | 29-Aug-2002 21:45 | 474 | ||
| flatten-1e2.n3 | 29-Aug-2002 21:45 | 440 | ||
| flatten-1g.n3 | 08-Aug-2004 01:44 | 69 | ||
| flatten-1u.n3 | 29-Aug-2002 21:45 | 474 | ||
| flatten-2g.n3 | 08-Aug-2004 01:44 | 109 | ||
| flatten-Falsehood.n3 | 02-Oct-2002 20:40 | 525 | ||
| flatten-means.n3 | 02-Oct-2002 20:40 | 825 | ||
| flatten-rule1.n3 | 29-Aug-2002 21:45 | 821 | ||
| flatten-rules12.n3 | 29-Aug-2002 21:45 | 3.0K | ||
| flatten-rules13.n3 | 29-Aug-2002 21:45 | 5.6K | ||
| flatten-terse-1e.n3 | 29-Aug-2002 21:45 | 390 | ||
| flatten-terse-1e2.n3 | 29-Aug-2002 21:45 | 356 | ||
| flatten-terse-rule1.n3 | 29-Aug-2002 21:45 | 637 | ||
| flatten-terse-rules12.n3 | 29-Aug-2002 21:45 | 2.5K | ||
| flatten-terse-rules13.n3 | 29-Aug-2002 21:45 | 4.7K | ||
| flatten-terse-Truth.n3 | 29-Aug-2002 21:45 | 390 | ||
| flatten-Truth.n3 | 29-Aug-2002 21:45 | 474 | ||
| genBnodeInNestedFormula-out.n3 | 07-Jul-2006 03:30 | 347 | ||
| hiragana.n3 | 06-Mar-2004 20:39 | 375 | ||
| in-xml-t.n3 | 06-Mar-2004 20:39 | 134 | ||
| in-xml.n3 | 06-Mar-2004 20:39 | 5 | ||
| includes-builtins.n3 | 22-Aug-2005 21:12 | 158 | ||
| itemType.n3 | 16-Apr-2004 20:43 | 234 | ||
| keywords1.n3 | 25-Jun-2004 01:27 | 185 | ||
| keywords2.n3 | 07-Jul-2007 14:02 | 181 | ||
| lbase-to-otter | 14-Feb-2003 19:49 | 4.0K | ||
| li-double.n3 | 25-Jun-2004 01:27 | 473 | ||
| li-gk3.n3 | 10-Jan-2003 17:05 | 2.0K | ||
| li-r1.n3 | 25-Jun-2004 01:27 | 498 | ||
| list-bug1.n3 | 25-Jun-2004 01:27 | 348 | ||
| list-bug2.n3 | 25-Jun-2004 01:27 | 421 | ||
| list-builtin_generated_match.n3 | 26-May-2005 02:04 | 136 | ||
| list-construct.n3 | 06-Mar-2004 20:39 | 324 | ||
| list-last.n3 | 20-Jun-2005 22:09 | 693 | ||
| list-unify1.n3 | 06-Mar-2004 20:39 | 90 | ||
| list-unify2.n3 | 06-Mar-2004 20:39 | 90 | ||
| list-unify3.n3 | 06-Mar-2004 20:39 | 90 | ||
| list-unify4.n3 | 06-Mar-2004 20:39 | 378 | ||
| list-unify5.n3 | 22-Aug-2005 21:12 | 378 | ||
| lists-simple-1.rdf | 03-Dec-2004 20:17 | 4.8K | ||
| lists-simple.n3 | 06-Mar-2004 20:39 | 762 | ||
| lists.n3 | 06-Mar-2004 20:39 | 762 | ||
| lstring-out.n3 | 15-May-2002 00:38 | 932 | ||
| math1.n3 | 13-Jan-2006 14:48 | 3.3K | ||
| n-rules12.n3 | 07-Sep-2001 02:12 | 956 | ||
| n3ExprFor-out.n3 | 25-Jun-2004 01:27 | 400 | ||
| n3string.n3 | 31-May-2005 19:47 | 273 | ||
| nn-rules12.n3 | 07-Sep-2001 02:12 | 956 | ||
| no-last-nl.n3 | 29-Jan-2003 21:15 | 32 | ||
| norm-av1.n3 | 26-Oct-2004 14:19 | 3.9K | ||
| norm-av2.n3 | 26-Oct-2004 14:19 | 3.9K | ||
| numbers-n.n3 | 13-Jan-2006 14:48 | 1.3K | ||
| numbers.n3 | 13-Jan-2006 14:48 | 564 | ||
| numbers.rdf | 26-Oct-2004 14:19 | 1.4K | ||
| path1.n3 | 31-Dec-2002 05:50 | 243 | ||
| path2.n3 | 25-Jun-2004 01:27 | 951 | ||
| paw-t01check.n3 | 03-Jul-2006 21:33 | 371 | ||
| paw-t02check.n3 | 31-Jul-2006 21:37 | 219 | ||
| piped-t016-out.n3 | 25-Jan-2007 22:53 | 15K | ||
| prefix1.rdf | 03-Jan-2007 16:17 | 1.6K | ||
| prefix2.rdf | 25-Jan-2007 22:53 | 1.8K | ||
| prefix3.rdf | 25-Jan-2007 22:53 | 1.6K | ||
| quotient_string.ref.n3 | 10-Jan-2006 13:58 | 335 | ||
| qvars1.n3 | 25-Jun-2004 01:27 | 251 | ||
| qvars2.n3 | 25-Jun-2004 01:27 | 247 | ||
| rdf-redefine.rdf | 25-Jul-2005 19:01 | 233 | ||
| reason-e.n3 | 29-Jan-2003 21:15 | 727 | ||
| reason-poor-urop.n3 | 06-Aug-2007 16:13 | 799 | ||
| reason-rename-loop.n3 | 07-Jul-2006 03:30 | 575 | ||
| reason-single-gen.n3 | 06-Aug-2007 16:13 | 374 | ||
| reason-t01check.n3 | 22-Aug-2005 21:12 | 141 | ||
| reason-t01proof.n3 | 24-Oct-2005 15:38 | 640 | ||
| reason-t02check.n3 | 24-Oct-2005 15:38 | 279 | ||
| reason-t02proof.n3 | 24-Oct-2005 15:38 | 876 | ||
| reason-t03check.n3 | 24-Oct-2005 15:38 | 271 | ||
| reason-t03proof.n3 | 24-Oct-2005 15:38 | 1.9K | ||
| reason-t04check.n3 | 24-Oct-2005 15:38 | 288 | ||
| reason-t04proof.n3 | 24-Oct-2005 15:38 | 2.3K | ||
| reason-t05check.n3 | 24-Oct-2005 15:38 | 384 | ||
| reason-t05proof.n3 | 02-Nov-2005 00:06 | 2.7K | ||
| reason-t06check.n3 | 24-Oct-2005 15:38 | 472 | ||
| reason-t06proof.n3 | 02-Nov-2005 00:06 | 3.6K | ||
| reason-t08check.n3 | 24-Oct-2005 15:38 | 628 | ||
| reason-t08proof.n3 | 24-Oct-2005 15:38 | 2.6K | ||
| reason-t09check.n3 | 02-Nov-2005 00:06 | 600 | ||
| reason-t09filter.n3 | 24-Oct-2005 15:38 | 3.2K | ||
| reason-t09filtercheck.n3 | 24-Oct-2005 15:38 | 116 | ||
| reason-t09proof.n3 | 24-Oct-2005 15:38 | 2.5K | ||
| reason-t1.n3 | 16-Jan-2003 05:05 | 455 | ||
| reason-t2.n3 | 25-Jun-2004 01:27 | 2.1K | ||
| reason-t3.n3 | 16-Jan-2003 05:05 | 2.1K | ||
| reason-t4.n3 | 16-Jan-2003 05:05 | 2.2K | ||
| reason-t5.n3 | 25-Jun-2004 01:27 | 2.1K | ||
| reason-t90check.n3 | 23-Aug-2007 16:28 | 8.1K | ||
| regression.n3_t1005e.out | 29-Jan-2004 18:03 | 74 | ||
| reluri-1.rdf | 06-Mar-2004 20:39 | 678 | ||
| resolves-rdf.n3 | 25-Jun-2004 01:27 | 418 | ||
| roadmap-test.dot | 02-Dec-2001 22:38 | 543 | ||
| roughly-out.n3 | 25-Jun-2004 01:27 | 2.1K | ||
| rules-flag-a.n3 | 25-Jun-2004 01:27 | 587 | ||
| rules-flag-ntriples.n3 | 13-Jan-2003 04:21 | 746 | ||
| rules-flag-t.n3 | 25-Jun-2004 01:27 | 693 | ||
| rules12-1.n3 | 07-Jul-2006 03:30 | 801 | ||
| rules12-n.n3 | 07-Jul-2006 03:30 | 824 | ||
| rules13-1.n3 | 25-Jun-2004 01:27 | 2.1K | ||
| rules13-n.n3 | 06-Mar-2004 20:39 | 235 | ||
| sameDan.n3 | 07-Jul-2006 03:30 | 3.1K | ||
| schema1.n3 | 23-Aug-2007 16:28 | 6.4K | ||
| schema2.n3 | 06-Mar-2004 20:39 | 173 | ||
| semErr.n3 | 25-Jun-2004 01:27 | 259 | ||
| smush.rdf | 06-Mar-2004 20:39 | 396 | ||
| smush6.n3 | 21-Mar-2004 04:24 | 701 | ||
| socrates.n3 | 27-Jun-2007 17:58 | 394 | ||
| strquot.n3 | 06-Mar-2004 20:39 | 612 | ||
| strquot_a.n3 | 18-Oct-2004 20:18 | 608 | ||
| supports.ref | 15-Feb-2006 17:02 | 545 | ||
| supports_proof.ref | 15-Feb-2006 17:02 | 3.3K | ||
| timet1.n3 | 13-Jan-2006 14:48 | 1.6K | ||
| timet1s.n3 | 25-Jun-2004 01:27 | 1.9K | ||
| two-route.n3 | 25-Jun-2004 01:27 | 531 | ||
| underbarscope-out.n3 | 30-Jun-2004 20:27 | 316 | ||
| uriEncode.n3 | 13-Jan-2006 14:48 | 3.5K | ||
| vblsNotURIs-out.n3 | 07-Jul-2006 03:30 | 1.2K | ||
| xml-base3.n3 | 22-Jul-2005 15:14 | 275 | ||
| xml-redefine.rdf | 25-Jul-2005 19:01 | 576 | ||
| xml-redefine2.rdf | 25-Jul-2005 19:01 | 745 | ||
| xml-syntax-basic-serialization.rdf | 21-Jun-2005 17:36 | 290 | ||
| xmllit.nt | 26-Jun-2007 15:30 | 376 | ||