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