CVS log for 2000/10/swap/formula.html

Request diff between arbitrary revisions

created the cwm 1.2 release.

Still need to announce / update documentation

closer to getting release process to run

only problem in tests now is double-proof.n3

The release process succeeded!

proof that release process still works

mm

1.0rc2

a few changes before release

Fix bugs in cwm --patch
diff.py now can generate weak deltas when necessary, when the graphs are not solid.
Offline working hack in webaccess.py
Fixed bug in lllyn.py with interning of datatyped literals giving diff objects for same type  sometimes.

undo what I did last thing Friday. Those changes are nowhere near ready for the trunk

so I have stuff to work on at home

make sure make dist_tarball does not leave around a swap/swap directory to confuse things

An attempt to get setup.py working
Those changes get very annoying and kludgy
Also, string:search is implemented (not tested yet)

Yosi

fixed test system and release system

First implementation of and test for N3QL implementation in cwm.
Not widely tested.

Reification continues

--patch uses delta namespace
-- removed i18n tests
-- numerics canonicalized
see doc/changes.html

(See doc/changes.html)
on xml output, nodeID was incorrectly spelled.
update.py provides cwm's --patch option.
diff.py as independent progrem generates patch files for cwm --patch

See http://www.w3.org/2000/10/swap/doc/changes.html for details
- Regresssion test incorporates the RDF Core Positive Parser Tests except XMLLiteral & reification
- xml:base support was added in the parser.
- Use the --rdf=R flag to allow RDF to be parsed even when there is no enveloping <rdf:RDF> tag
- nodeid generated on RDF output
- Automatically generated terms with no URIs sort after anything which has a URI.
- Namespace prefix smarts on output - default ns used for that most frequently used.
- suppresses namespace prefix declarations which are not actually needed in the output.
- Cwm will also make up prefixes when it needs them for a namespace, and none of the input data uses one.-
- Will not use namespace names for URIs which do not have a "#". Including a "/" in the flags overrides.

Passes tests. notation3.py has utf-8 encoding on output. Non-ascii text is output as such in qnames and strings.

Merged runSmart branh, which now passes tests.
The main change is that query.n3 mapps the rules before executing them,
and then exeutes them in an order which takes account of the
interdependencies between rules.  Cyclic subsystems of rules are
isoplated, and then the rules and those subsystems formed into a DAG
and executed in a topological ordering.  This is not a full rete
system yet.
The regression test file infor and program retest.py have changed
a little, working toward resuse of tests between applications.

Passes regression test. (make release)

Passes regression test. (make release)

Bug fixes (using --think=; adding new data to kb after --think, etc) . passes regression tests.

List processing improves - see doc/changes.html