CVS log for 2000/10/swap/notation3.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

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.

fix for decimal. and the release Makefile

This is a test of the release process

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

This commit is for two things (sorry!)
First, a change to the build system to build a tests-included cwm.tar.gz instead of the old cwm.tgz
Second, --n3=a now will cowardly refuse to do so when it will change the semantics of the document

Yosi

The @forAll form is now the primary form used by cwm, not this log:forAll.
Supporess withh  --n3=v
--reify and --dereify introduced, not supported by tests yet.
See doc/changes.html

--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.

A few more i18n tests, and cwm/detailed.tests added

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

Added @keyword support.
(eventually got python+expat to wrok on fink, with patch)
Trig functions are in, thanks to Karl, with some changes, but NOT in regeression.n3
see test/math/test-trigo.n3 for now.

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)

Passes regression test. (make release)

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

Passes regression test. (make release)

Re-engineered in places - See doc changes.html

Seee comments on llyn.py

Minor fixes. log:forSome and log;forAll no longer generated in xml rdf o/p

Numeric typres returned by math builtins. See http://www.w3.org/2003/04/08-cwm.html

Datatypes now used in math and time - see maths and times for old functionality - ordering changed on ntriples output - unicode test now works - some work on unicode in various places - see i18n/hiragana.n3

Improved documentation for Formula in llyn.py

Passes 64 retests with -n -c

Integrate EricP's changes and my minor things

Add some missing tests etc

Fix bug when query involves list with the same variable in  more than once

Works without proof stuff, working on proof stuff....

Simplied the interface to built-in function modules. retest ok

cleanup only

some --flatten tests fail. --why fails. Formulae must be closed to be referenced in a add()

Rearranged proof ontology again...

retest ok, --why seems too work on simple cases

Passes test/retest.sh.  Minumum changes

minor api changes probably

Add two tests for  quick variable ?x syntax. Passes text/retest.sh.

Automatically generted my Makefile using pydoc from .py