CVS log for 2000/10/swap/surnia/OwlAxiomReasoner.py

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

Request diff between arbitrary revisions

Default branch: 1

Revision 1.8 / (download) - annotate - [select for diffs] , Fri Nov 7 06:52:00 2003 UTC (4 years, 10 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.7: +6 -3 lines
Diff to previous 1.7 (colored)

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

Revision 1.7 / (download) - annotate - [select for diffs] , Thu Sep 4 03:16:10 2003 UTC (5 years ago) by sandro
CVS Tags: runSmart
Changes since 1.6: +9 -4 lines
Diff to previous 1.6 (colored)

getting results to be recorded better

Revision 1.6 / (download) - annotate - [select for diffs] , Wed Aug 27 20:01:22 2003 UTC (5 years ago) by sandro
Changes since 1.5: +28 -5 lines
Diff to previous 1.5 (colored)

change to matched change LX parser API

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

modified to run in swap/surnia instead of swap

Revision 1.4 / (download) - annotate - [select for diffs] , Fri Aug 1 16:16:28 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.3: +25 -22 lines
Diff to previous 1.3 (colored)

hid LX more from surnia

Revision 1.3 / (download) - annotate - [select for diffs] , Thu Jul 31 04:35:09 2003 UTC (5 years, 1 month ago) by sandro
CVS Tags: oldLists
Changes since 1.2: +4 -3 lines
Diff to previous 1.2 (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.2 / (download) - annotate - [select for diffs] , Wed Jul 23 19:42:26 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.1: +28 -14 lines
Diff to previous 1.1 (colored)

random improvements; seems to work (for its part)

Revision 1.1 / (download) - annotate - [select for diffs] , Fri Jul 18 20:59:20 2003 UTC (5 years, 1 month ago) by sandro
Diff

intermediate, getting close to first test case

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