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