![]() | 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 | |