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

add log:dtlit

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

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

Test files that I have forgotten to add to cvs before now

fixed test system and release system

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

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.

Introduced webAccess.py with  urlopenForRDF which (for now) adds an accept header ofr application/rdf+xml.
This allows cwm to get RDF versions of the W3C web site mail archive search outputs.

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)

List processing improves - see doc/changes.html

Passes regression test. (make release)

Re-engineered in places - See doc changes.html

Passes regression test. (make release)

Passes regression test. (make release)

Seee comments on llyn.py

mmm

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

Add nodeID attribute to rdf/xml parsing

Cascade (tims laptop) lid break pre-mend backup emergency commit

Passes regression test

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

Bug fix -list/double.n3

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

--why works up to reason/t5. GK and SBP's list bugs fixed.

cleanup only

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

mmm

Rearranged proof ontology again...

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

Passes test/retest.sh.  Minumum changes

base can be None in uripath:refTo

minor api changes probably

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

RemoteQuery hooks ready in llyn.py. tests 100%

mm

Automatically generted my Makefile using pydoc from .py