![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/p.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| proxy.txt | 2023-12-11 05:31 | 1 | |
| pathPrefix.txt | 2023-12-11 05:31 | 3 | |
| userPass.txt | 2023-12-11 05:31 | 4 | |
| avf.query.n3 | 2023-12-11 05:31 | 18 | |
| authen.lemma.pro | 2023-12-11 05:31 | 27 | |
| altT.q.n3 | 2023-12-11 05:31 | 42 | |
| altT.l.n3 | 2023-12-11 05:31 | 52 | |
| is.n3 | 2023-12-11 05:31 | 59 | |
| Param.py | 2023-12-11 05:31 | 72 | |
| exp1.n3 | 2023-12-11 05:31 | 76 | |
| rdf-facts.n3 | 2023-12-11 05:31 | 95 | |
| reg.par | 2023-12-11 05:31 | 101 | |
| notTest.q.n3 | 2023-12-11 05:31 | 105 | |
| project.q1.n3 | 2023-12-11 05:31 | 107 | |
| booleW.q.n3 | 2023-12-11 05:31 | 108 | |
| project.par | 2023-12-11 05:31 | 108 | |
| exp3.n3 | 2023-12-11 05:31 | 109 | |
| exp.n3 | 2023-12-11 05:31 | 110 | |
| project1.par | 2023-12-11 05:31 | 110 | |
| rdfs.par | 2023-12-11 05:31 | 110 | |
| varprop-query.n3 | 2023-12-11 05:31 | 113 | |
| authen.par | 2023-12-11 05:31 | 115 | |
| project.qa.n3 | 2023-12-11 05:31 | 115 | |
| exp2.n3 | 2023-12-11 05:31 | 130 | |
| induction.query.n3 | 2023-12-11 05:31 | 136 | |
| boole.lemma.n3 | 2023-12-11 05:31 | 137 | |
| unif.q.n3 | 2023-12-11 05:31 | 138 | |
| person.n3 | 2023-12-11 05:31 | 143 | |
| authen.axiom.pro | 2023-12-11 05:31 | 146 | |
| tpoint-query.n3 | 2023-12-11 05:31 | 146 | |
| vartest.q.n3 | 2023-12-11 05:31 | 146 | |
| autoexec.bat | 2023-12-11 05:31 | 149 | |
| vogel.q.n3 | 2023-12-11 05:31 | 150 | |
| gedcom.par | 2023-12-11 05:31 | 155 | |
| RDFToHtml.py | 2023-12-11 05:31 | 160 | |
| reg.a.n3 | 2023-12-11 05:31 | 160 | |
| russell.lemma.n3 | 2023-12-11 05:31 | 170 | |
| test.n3.sav1 | 2023-12-11 05:31 | 185 | |
| subclass-query.n3 | 2023-12-11 05:31 | 196 | |
| ooo.q.n3 | 2023-12-11 05:31 | 197 | |
| temp.n3 | 2023-12-11 05:31 | 197 | |
| ziv-query.n3 | 2023-12-11 05:31 | 203 | |
| ontology.query.n3 | 2023-12-11 05:31 | 224 | |
| tpoint-facts.n3 | 2023-12-11 05:31 | 231 | |
| subprop-query.n3 | 2023-12-11 05:31 | 238 | |
| textDisp.py | 2023-12-11 05:31 | 241 | |
| graph.lemma.n3 | 2023-12-11 05:31 | 244 | |
| authen.lemma.n3 | 2023-12-11 05:31 | 246 | |
| song.a.n3 | 2023-12-11 05:31 | 253 | |
| varprop.n3 | 2023-12-11 05:31 | 254 | |
| induction.axiom.n3 | 2023-12-11 05:31 | 277 | |
| unif.n3 | 2023-12-11 05:31 | 281 | |
| subclass.n3 | 2023-12-11 05:31 | 286 | |
| vartest.a.n3 | 2023-12-11 05:31 | 291 | |
| russell.axiom.n3 | 2023-12-11 05:31 | 293 | |
| ontology1.query.n3 | 2023-12-11 05:31 | 297 | |
| danc-query.n3 | 2023-12-11 05:31 | 305 | |
| russell.proof.n3 | 2023-12-11 05:31 | 305 | |
| subprop.n3 | 2023-12-11 05:31 | 305 | |
| hol.q.n3 | 2023-12-11 05:31 | 320 | |
| authen.lemma2.n3 | 2023-12-11 05:31 | 322 | |
| rdf-query.n3 | 2023-12-11 05:31 | 329 | |
| oneOf.q.n3 | 2023-12-11 05:31 | 351 | |
| test-test.n3 | 2023-12-11 05:31 | 367 | |
| VOGEL.N3 | 2023-12-11 05:31 | 369 | |
| vogel.l.n3 | 2023-12-11 05:31 | 375 | |
| BackStep.py | 2023-12-11 05:31 | 385 | |
| reg.q.n3 | 2023-12-11 05:31 | 390 | |
| authen.lemma1.n3 | 2023-12-11 05:31 | 394 | |
| wol-facts.n3 | 2023-12-11 05:31 | 402 | |
| type1.query.n3 | 2023-12-11 05:31 | 404 | |
| owls.query.n3 | 2023-12-11 05:31 | 407 | |
| lists-query.n3 | 2023-12-11 05:31 | 473 | |
| lists.n3 | 2023-12-11 05:31 | 482 | |
| gedcom-qsimple.n3 | 2023-12-11 05:31 | 487 | |
| avf.axiom.n3 | 2023-12-11 05:31 | 489 | |
| oneOf.a.n3 | 2023-12-11 05:31 | 497 | |
| rdfd-facts.n3 | 2023-12-11 05:31 | 502 | |
| builtins.q.n3 | 2023-12-11 05:31 | 515 | |
| rdf-rules.n3 | 2023-12-11 05:31 | 533 | |
| authen.axiom.n3 | 2023-12-11 05:31 | 553 | |
| subprop-result.n3 | 2023-12-11 05:31 | 573 | |
| ontology2.axiom.n3 | 2023-12-11 05:31 | 612 | |
| varprop-result.n3 | 2023-12-11 05:31 | 617 | |
| bat.txt | 2023-12-11 05:31 | 623 | |
| gedcom-simple.n3 | 2023-12-11 05:31 | 634 | |
| rangedom.n3 | 2023-12-11 05:31 | 635 | |
| project.q.n3 | 2023-12-11 05:31 | 639 | |
| subclass-result.n3 | 2023-12-11 05:31 | 643 | |
| notTest.n3 | 2023-12-11 05:31 | 662 | |
| rdfd-query.n3 | 2023-12-11 05:31 | 670 | |
| PVa.py | 2023-12-11 05:31 | 673 | |
| rdf-result.n3 | 2023-12-11 05:31 | 676 | |
| janet-test.n3 | 2023-12-11 05:31 | 679 | |
| project.a1.n3 | 2023-12-11 05:31 | 680 | |
| authen.axiom.n3.pr | 2023-12-11 05:31 | 681 | |
| animal.n3 | 2023-12-11 05:31 | 687 | |
| janet.n3 | 2023-12-11 05:31 | 687 | |
| authen.proof.n3 | 2023-12-11 05:31 | 698 | |
| gedcom-query.n3 | 2023-12-11 05:31 | 701 | |
| animal-simple.n3 | 2023-12-11 05:31 | 711 | |
| danb-query.n3.old | 2023-12-11 05:31 | 711 | |
| ontology1.axiom.n3 | 2023-12-11 05:31 | 744 | |
| danc.n3 | 2023-12-11 05:31 | 746 | |
| wol-query.n3 | 2023-12-11 05:31 | 747 | |
| danb-query.n3 | 2023-12-11 05:31 | 748 | |
| equal.a.n3 | 2023-12-11 05:31 | 752 | |
| equal.q.n3 | 2023-12-11 05:31 | 763 | |
| py.ico | 2023-12-11 05:31 | 766 | |
| pyc.ico | 2023-12-11 05:31 | 766 | |
| pycon.ico | 2023-12-11 05:31 | 766 | |
| allValuesFrom.n3 | 2023-12-11 05:31 | 778 | |
| N3Http | 2023-12-11 05:31 | 781 | |
| owl-query.n3 | 2023-12-11 05:31 | 783 | |
| rdfd-rules.n3 | 2023-12-11 05:31 | 793 | |
| RDFData.py | 2023-12-11 05:31 | 810 | |
| RDFDotNet.txt | 2023-12-11 05:31 | 822 | |
| test-result.n3 | 2023-12-11 05:31 | 822 | |
| etc.n3 | 2023-12-11 05:31 | 845 | |
| ontology.axiom.n3 | 2023-12-11 05:31 | 845 | |
| owl-facts.n3 | 2023-12-11 05:31 | 846 | |
| ziv-result.n3 | 2023-12-11 05:31 | 867 | |
| test.q.n3 | 2023-12-11 05:31 | 875 | |
| rdfd-theory.n3 | 2023-12-11 05:31 | 892 | |
| pv.py | 2023-12-11 05:31 | 924 | |
| graph.axiom.n3 | 2023-12-11 05:31 | 927 | |
| type1.axiom.n3 | 2023-12-11 05:31 | 927 | |
| danc-result.n3 | 2023-12-11 05:31 | 955 | |
| hol.n3 | 2023-12-11 05:31 | 958 | |
| gedcom.query1.n3 | 2023-12-11 05:31 | 1.0K | |
| tlogic.q.n3 | 2023-12-11 05:31 | 1.0K | |
| logic.q.n3 | 2023-12-11 05:31 | 1.2K | |
| EngineManager.py | 2023-12-11 05:31 | 1.2K | |
| song.n3 | 2023-12-11 05:31 | 1.2K | |
| animal-result.n3 | 2023-12-11 05:31 | 1.2K | |
| bat1.htm | 2023-12-11 05:31 | 1.2K | |
| test.n3 | 2023-12-11 05:31 | 1.2K | |
| TripleData.py | 2023-12-11 05:31 | 1.3K | |
| ooo.a.n3 | 2023-12-11 05:31 | 1.3K | |
| RDFDB.py | 2023-12-11 05:31 | 1.3K | |
| rdfr-theory.n3 | 2023-12-11 05:31 | 1.4K | |
| bat.html | 2023-12-11 05:31 | 1.4K | |
| gedcom-facts.n3 | 2023-12-11 05:31 | 1.5K | |
| builtins.n3 | 2023-12-11 05:31 | 1.5K | |
| bat.rtf | 2023-12-11 05:31 | 1.5K | |
| oooOwl.a.n3 | 2023-12-11 05:31 | 1.6K | |
| janet-result.n3 | 2023-12-11 05:31 | 1.6K | |
| danb-result.n3 | 2023-12-11 05:31 | 1.6K | |
| rdfs-rules.n3 | 2023-12-11 05:31 | 1.6K | |
| booleW.a.n3 | 2023-12-11 05:31 | 1.7K | |
| rdfs-rules1.n3 | 2023-12-11 05:31 | 1.7K | |
| ziv.n3 | 2023-12-11 05:31 | 1.7K | |
| wol-rules.n3 | 2023-12-11 05:31 | 1.7K | |
| RDFRDFE.py | 2023-12-11 05:31 | 1.7K | |
| Prelude.py | 2023-12-11 05:31 | 1.7K | |
| N3Http.py | 2023-12-11 05:31 | 1.8K | |
| rdfs-query.n3 | 2023-12-11 05:31 | 1.8K | |
| OWL.py | 2023-12-11 05:31 | 1.8K | |
| boole.axiom.n3 | 2023-12-11 05:31 | 1.9K | |
| danb.n3 | 2023-12-11 05:31 | 2.1K | |
| danb.n3.old | 2023-12-11 05:31 | 2.1K | |
| water.a.n3.txt | 2023-12-11 05:31 | 2.1K | |
| rdfs-result.n3 | 2023-12-11 05:31 | 2.3K | |
| logic.a.n3 | 2023-12-11 05:31 | 2.3K | |
| owls.n3 | 2023-12-11 05:31 | 2.4K | |
| tpoint.n3 | 2023-12-11 05:31 | 2.5K | |
| tlogic.a.n3 | 2023-12-11 05:31 | 2.5K | |
| lists-result.n3 | 2023-12-11 05:31 | 2.6K | |
| graph.check.n3 | 2023-12-11 05:31 | 2.7K | |
| owls.rtf | 2023-12-11 05:31 | 3.4K | |
| N3AppGui.py | 2023-12-11 05:31 | 3.9K | |
| wol-result.n3 | 2023-12-11 05:31 | 4.0K | |
| RDFMath.py | 2023-12-11 05:31 | 4.4K | |
| filgn | 2023-12-11 05:31 | 4.5K | |
| InfData.py | 2023-12-11 05:31 | 4.5K | |
| authen.axiom.n3.dbs | 2023-12-11 05:31 | 4.9K | |
| ontology.axiom.n3.db | 2023-12-11 05:31 | 4.9K | |
| gedcom-relations-tes..> | 2023-12-11 05:31 | 4.9K | |
| Resource.py | 2023-12-11 05:31 | 5.0K | |
| ParamFile.py | 2023-12-11 05:31 | 5.0K | |
| RDFList.py | 2023-12-11 05:31 | 5.0K | |
| Prolog.py | 2023-12-11 05:31 | 5.0K | |
| gedcom-relations-res..> | 2023-12-11 05:31 | 5.1K | |
| gedcom-relations.n3 | 2023-12-11 05:31 | 5.1K | |
| readme.txt | 2023-12-11 05:31 | 5.4K | |
| vogel.l.n3.db | 2023-12-11 05:31 | 5.7K | |
| authen.axiom.n3.db | 2023-12-11 05:31 | 5.9K | |
| calldll.pyd | 2023-12-11 05:31 | 6.0K | |
| solfege.py | 2023-12-11 05:31 | 6.1K | |
| ontology1.axiom.n3.db | 2023-12-11 05:31 | 6.3K | |
| owl-rules.n3 | 2023-12-11 05:31 | 6.6K | |
| RtfParser.py | 2023-12-11 05:31 | 6.9K | |
| testParseTriple.xml | 2023-12-11 05:31 | 7.3K | |
| RDFString.py | 2023-12-11 05:31 | 7.4K | |
| project.a.n3 | 2023-12-11 05:31 | 7.5K | |
| Utils.py | 2023-12-11 05:31 | 7.8K | |
| UtilsN3.py | 2023-12-11 05:31 | 8.0K | |
| bat.htm | 2023-12-11 05:31 | 8.0K | |
| HtmlParser.py | 2023-12-11 05:31 | 8.3K | |
| Owls.n3.pr | 2023-12-11 05:31 | 8.6K | |
| RDFDotNet.gif | 2023-12-11 05:31 | 9.0K | |
| RDFWinsound.py | 2023-12-11 05:31 | 9.1K | |
| etc5.n3 | 2023-12-11 05:31 | 9.2K | |
| RDFEngine.py | 2023-12-11 05:31 | 9.3K | |
| Triple.py | 2023-12-11 05:31 | 10K | |
| tpoint-proof.n3 | 2023-12-11 05:31 | 10K | |
| tpoint-check.n3 | 2023-12-11 05:31 | 10K | |
| rdfc25May.n3 | 2023-12-11 05:31 | 11K | |
| rdfc25May-test.n3 | 2023-12-11 05:31 | 11K | |
| rdfc25May-result.n3 | 2023-12-11 05:31 | 12K | |
| RDFProlog.py | 2023-12-11 05:31 | 12K | |
| owl-result.n3 | 2023-12-11 05:31 | 12K | |
| ITriple.py | 2023-12-11 05:31 | 13K | |
| danc.n3.db | 2023-12-11 05:31 | 14K | |
| RDFUnify.py | 2023-12-11 05:31 | 15K | |
| ITripleX.py | 2023-12-11 05:31 | 15K | |
| gedcom-proof.n3 | 2023-12-11 05:31 | 16K | |
| xml.py | 2023-12-11 05:31 | 18K | |
| RDFFSM.py | 2023-12-11 05:31 | 19K | |
| xmlx.py | 2023-12-11 05:31 | 19K | |
| RDFEngine.html | 2023-12-11 05:31 | 19K | |
| gedcom-relations.n3.pr | 2023-12-11 05:31 | 19K | |
| python.exe | 2023-12-11 05:31 | 20K | |
| pythonw.exe | 2023-12-11 05:31 | 20K | |
| tpoint-all.n3 | 2023-12-11 05:31 | 21K | |
| graph.proof.n3 | 2023-12-11 05:31 | 21K | |
| Proof.py | 2023-12-11 05:31 | 22K | |
| danb.n3.dbs | 2023-12-11 05:31 | 22K | |
| danb.n3.db | 2023-12-11 05:31 | 23K | |
| danc.n3.ld | 2023-12-11 05:31 | 23K | |
| tpoint-result.n3 | 2023-12-11 05:31 | 24K | |
| Proof.old.py | 2023-12-11 05:31 | 25K | |
| rangedom.n3.pr | 2023-12-11 05:31 | 26K | |
| testpro.txt | 2023-12-11 05:31 | 46K | |
| inferencing.htm | 2023-12-11 05:31 | 69K | |
| gedcom-simple.n3.db | 2023-12-11 05:31 | 85K | |
| N3Parser.py | 2023-12-11 05:31 | 93K | |
| N3ParserX.py | 2023-12-11 05:31 | 98K | |
| gedcom-facts.n3.db | 2023-12-11 05:31 | 106K | |
| etc5-proof.n3 | 2023-12-11 05:31 | 193K | |
| tpoint-all.n3.db | 2023-12-11 05:31 | 197K | |