CVS log for 2000/10/swap/notation3.py

Request diff between arbitrary revisions

fix output bug

closer to getting release process to run

only problem in tests now is double-proof.n3

fix for http://lists.w3.org/Archives/Public/public-cwm-bugs/2007Oct/0011.html

Add @base <relative uri>.

A month of changes

fix tabs

for timbl, slightly better support for xml literals

untested. seems to work xml literal in each combination parse & gen in n3 and rdf.

@@@ BEWARE UNTESTED PARTIAL VERSION -- Introducing XML Literals as DOM objects

subformulae get different reasons

really fix variable bug

typo in variable declaration fixed

we seem to have (mostly) stabilized

boolean literals, and fixes for --why

*** empty log message ***

grouping of statements by reason; Various bugs out, duplicate checking always in runLaborious. Passed regression.n3 and reason/details.tests

--n3=B flag introduced. --why improved but not perfect.

Revive --why proof generation and check.py. Recode unification a bit

added sparql Makefile

a better way of dealing with high unicode

rename decimal.py

add log:semanticsWithImportsClosure

remove support for {$,$}, fix trivial --why

set tests

a little fix to triple_maker

set builtins and log:filter . Tests will follow

a first step in supporting n3 sets

merge in the performance branch. From here on out, cwm uses sets.

Fixed space encoding in <URI> output but not rigourously thought though

added a test to hexify

preformance --- change variables to sets

list ops

remove fake llyn from notation3

stuff I have been doing at home

weird n3 work

fixed weird nested list bug Tim found

fixed where fragment has a colon

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

Added --solve option
Made it so the default is not to escape unicode characters in literals in n3 files

Yosi

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

a huge performance improvement. Doing lists in n3 right

a profiler, and the results of running it on a particularly bad file

new buglist, and preliminary support for decimal
Note that, per discussion with danC, the default for numbers is still float

Yosi

fixed test system and release system

the scope of bNodes is now the formula

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.

Passes regression test but regression test still ocntains /devel/WWW.  Minor fix to ToXML.py o in encoding area

regression.n3#t1005e            djb noticed a:b was parsed as rdf:type token

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.

Checking in for safety, list/append.n3 still loops, don't use for real work

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

Changed llyn mostly, so that the forAll and forSome pseudo-statements
are no longer stored in the formulae. Instead, each formula has a simple
list of universal vars and a list of existentials.
This means that the query engin can no longer query for forAll x. Thisis no great loss.
Also, started separating the inference engine from the store, making it
use the stores (or arther Formul's in mostcases) API instead of knowledge of internals.
Not finished, but an improvement.
Aiming to separate the pretty printer too soon.

Added caommand line flaf --closure=flags  to make a run crawl the web for more
info as it finds references to new documents.
s p o flags allow it to crawl by looking up URIs in those positions.
i should do imports and r rules but testing is minimal.
test case is test/ferrell/myDingo.n3
enjoy

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

fixing previously unused parse.loadStream() function

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

Datatypes now include RDF/XML output, which also extended to allow literal subjects using rdf:is as pseudoproperty to link bnode subject and its actual value

Datatypes added. N3 has special syntax for int and double, suppressed with --n3=n . RDF/XML input and N3 in and out done, but NOT XML output.

Improved documentation for Formula in llyn.py

Passes 64 retests with -n -c

Integrate EricP's changes and my minor things

Fix bug when . is last character in file - see test/syntax/no-last-nl.n3

Passes python -n -f regression.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

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

--why does NOT work

base can be None in uripath:refTo

minor api changes probably

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

Path parsing now tested too, simply.

N3 parser does all the old things and has paths but not tests at all

Just altered skipSpace to use regexps and fixed error msg bug

uripath changes. passes 51 general tests and 25 loopback tests

cleanup: diagnostic interface, relative/absolute uri handling

some changes to RDFSink mainly, a few bugs out

add new* to RDFSink.py - changing parser-store interface

Fixed (I hope) slowdown in parsing, also slight module shuffle

Bits here and there

lstring.n3

minor changes. Added string:containsIgnoringCase

Passed test/retest.sh

Fixed CRs in files, added -revision to cwm

remove use of slow MoveContext  and improve cannonicalization of output

Add test/norm/fix.rdf tests for namespaces on attributes

Merged lisfix branch with main - passed retest.sh

works, no crs

don't try to use triple-quotes when
a string ends with a "

All over the floor. Second half of llyn rewritten largely. Does NOT pass test

fixed some bugs introduced by proper unicode string handling

rewrote string escape handling

--string added, list output bugs fixed, quotation choices changed on output, log:includes hudes handles quantified variables better

alreadyDictionary introduced to check for previous bindings already found

Split store (llyn) from programs (cwm and converter-cgi)

added a bit of URI syntax checking

Fix bug outputting localnames with periods in

bugfix -- n3 output of file with statments with () as subject gave error -- partial fix

Name change resolvesTo to semantics, hasContent to content. Some schema cleanup to validate under check.n3

Error handling now notes URI of inaccessible document

factored RDFSink.py out of notation3.py

introduced SYMBOL to replace notation3.RESOURCE
introduced forSomeSym, forAllSym to replace N3_forSome_URI, N3_forAll_URI

fix string.concatenate and CRLFs

- log:resolvesTo can parse RDF/xml as well as RDF/n3,
	and it can survive 404 errors, syntax errors

- sax2rdf follows #_formula kludge better

- ?foo parsing: varPrefix reference eliminated
  (not really sure what this code does, though)

unprefixed names are evil. removed.

BEWARE - not very tested, 5 failures in retest. New compact internal repn of lists.

allow underscore in name

added optimization for = as first predicate in []; see test/excerpt.n3

fixed some bugs in def relativeURI(base, uri):

oops; forgot to get rid of a debug print

in order to deal with french labels in the RDF schema for RDF schema, cut over to sax-based RDF parser; groks entities now, as well as full unicode; seems to pass retest.sh, modulo prefix ordering and file:/ junk

fixed bug in n3=t output

Now has undocumented s,p,a,r,t flags on n3 output

Fix RDF bug test/jos/ziv-query.n3, order xml namespace decls. passes retest.sh

passes test/retest.sh

various improvements, -flat and -reify fixed, ...

BEWARE - LOGIC NAMESPACE NO LONGER HAS .n3 IN IT AS PER REQUEST

Now runs tests most of tests 1-8 in test/includes. Literals allowed as subjects

re-fixed string stuff

Fix bug: base was not used on output.

Remove dan's crs

fixed string parsing, updated DAML+OIL namespace; added tests for string parsing and bits of N3 syntax that depend on the choice of DAML namespace

should be cr-free now

fixed newlines

fixed: BUG: need to escape markup chars in v

Merged mods from Tim and Dan, inc unicode disable - tux has old python and PythonWin debugger can't handle it

took out special case for writing rdf:type triple; my xslt stuff does not grok

fixed a bug or two in handling of \\ in strings.
fixed a bug in handling URIs ending in #.

writing rdf:resource rather than resource; same for about, parseType; changed my mind about this issue

fixed relative URI bug reported in mid:B6F57823.8A0F%aswartz@upclink.com

Line number counting for error messages. Some detabification of source.

Ooops revert to 1.58 I mean

Revert to 1.57 as I screwed up the tabs irrevokably

mmm

expanded list parser to grok objects (including strings)
rather than just nodes.

updated #! line for cgi...

updated cgi interface

Biopathways example.  RDF generation bug fixed.

Alpha version of quotation in RDF