CVS log for 2000/10/swap/surnia/otter/owlAx.otter

Up to [Public] / 2000 / 10 / swap / surnia / otter

Request diff between arbitrary revisions

Default branch: 1

Revision 1.17 / (download) - annotate - [select for diffs] , Fri Nov 7 06:52:00 2003 UTC (4 years, 9 months ago) by sandro
CVS Tags: yosi-before-setup-py, rel-1-2-0, rel-1-1-perf, rel-1-1-0rc2, rel-1-1-0rc1, rel-1-0-rc1, rel-1-0-0, rel-0-8-set, rel-0-8-0-perf, rel-0-8-0, rel-0-7-3, rel-0-7-2, rel-0-7-1, rel-0-7, pfreport, paw-demo-m1, branch-0-7-3-auto-regfilelist, HEAD
Changes since 1.16: +4 -3 lines
Diff to previous 1.16 (colored)

up to about 70% on RDF Core tests; may have broken OWL stuff

Revision 1.16 / (download) - annotate - [select for diffs] , Fri Aug 8 20:59:32 2003 UTC (5 years ago) by sandro
CVS Tags: runSmart
Changes since 1.15: +8 -1 lines
Diff to previous 1.15 (colored)

76% !

Revision 1.15 / (download) - annotate - [select for diffs] , Fri Aug 1 16:27:35 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.14: +9 -6 lines
Diff to previous 1.14 (colored)

modified to run in swap/surnia instead of swap

Revision 1.14 / (download) - annotate - [select for diffs] , Fri Aug 1 04:24:32 2003 UTC (5 years, 1 month ago) by sandro
CVS Tags: oldLists
Changes since 1.13: +13 -2 lines
Diff to previous 1.13 (colored)

intermediate; about to play with paramodulation

Revision 1.13 / (download) - annotate - [select for diffs] , Thu Jul 31 04:35:07 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.12: +10 -82 lines
Diff to previous 1.12 (colored)

Added a way for certain tests to use subset of the full set of
axioms; I'm starting to hit a wall where adding the details needed
to pass one test makes the others become too slow.   Sometimes we
can subset the axioms to make a test pass quickly, but that wont
work for sufficiently complex expressions, will it?   Still, maybe
we can partition same/different from union/intersection from property
logic, ...

Revision 1.12 / (download) - annotate - [select for diffs] , Wed Jul 30 20:19:19 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.11: +46 -10 lines
Diff to previous 1.11 (colored)

fixed unionOf, and gave it theorem to get test to run < 10 minutes

Revision 1.11 / (download) - annotate - [select for diffs] , Wed Jul 30 18:51:00 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.10: +20 -15 lines
Diff to previous 1.10 (colored)

fixed intersectionOf, removed some leftover comments

Revision 1.10 / (download) - annotate - [select for diffs] , Wed Jul 30 06:46:58 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.9: +38 -4 lines
Diff to previous 1.9 (colored)

supporting several more tests, and coincidentally improving
performance dramatically in our bad cases.
Added some lemmas for subClass
Added differentFrom

Revision 1.9 / (download) - annotate - [select for diffs] , Wed Jul 30 05:53:34 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.8: +21 -2 lines
Diff to previous 1.8 (colored)

added rdf_domain, bidir on InvFuncProp, passing InfFuncProp004

Revision 1.8 / (download) - annotate - [select for diffs] , Wed Jul 30 05:30:07 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.7: +33 -10 lines
Diff to previous 1.7 (colored)

changed directionality of inList recursion
made sameAs transitive and symmetric
-> now passes functionalProperty/Manifest004 (runtime 72 seconds!)

Revision 1.7 / (download) - annotate - [select for diffs] , Wed Jul 30 03:25:18 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.6: +6 -3 lines
Diff to previous 1.6 (colored)

added owl_Thing and a BIDIR to pass 5.24/...004

Revision 1.6 / (download) - annotate - [select for diffs] , Wed Jul 30 03:08:01 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.5: +30 -22 lines
Diff to previous 1.5 (colored)

third try for allDifferent; passes test finally

Revision 1.5 / (download) - annotate - [select for diffs] , Wed Jul 30 03:05:40 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.4: +24 -16 lines
Diff to previous 1.4 (colored)

switched to using equals for allDifferent

Revision 1.4 / (download) - annotate - [select for diffs] , Wed Jul 30 02:43:26 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.3: +43 -2 lines
Diff to previous 1.3 (colored)

added first draft of allDifferent

Revision 1.3 / (download) - annotate - [select for diffs] , Wed Jul 30 02:26:40 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.2: +3 -0 lines
Diff to previous 1.2 (colored)

added Id and Log cvs keywords

Revision 1.2 / (download) - annotate - [select for diffs] , Thu Jul 24 20:17:26 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.1: +129 -11 lines
Diff to previous 1.1 (colored)

random patch bits

Revision 1.1 / (download) - annotate - [select for diffs] , Wed Jul 23 19:41:20 2003 UTC (5 years, 1 month ago) by sandro
Diff

handwritten axioms for OWL

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.

Webmaster