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 | ||