Re: Prov-XML test cases

Thanks.  On my system (working from home) for some reason xmllint runs extremely slowly on prov.xsd (several seconds) so that running it independently on each of the test cases takes a long time.  This may be because of network delays - if I use the --nonet parameter then it complains that it can't find http://www.w3.org/2001/xml.xsd.  I had better luck just doing this:

xmllint --noout --schema ../xml/schema/prov.xsd constraints/*.provx

which still takes a few seconds to load/process the schema but then checks all of the XML files reasonably quickly.

In case it is helpful I attach the list of validation results below.  It looks like a minority of the test cases currently match the schema.  Hopefully this should be easy to fix by fixing the prov-xml generator of prov-toolbox, rather than manually (?).  This in turn would be helpful for my toy constraints implementation since Stephen Cresswell has contributed a parser from prov-xml to prolog terms, which seems to work fine on the valid XML examples.

--James


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

On Jan 30, 2013, at 9:49 PM, Stephan Zednik <zednis@rpi.edu> wrote:

> I added a target to the Makefile to run schema validation on the prov-xml files.
> 
> https://dvcs.w3.org/hg/prov/rev/b1a7f53929cf
> 
> --Stephan
> 
> On Jan 30, 2013, at 2:24 PM, Stephan Zednik <zednis@rpi.edu> wrote:
> 
>> 
>> On Jan 30, 2013, at 1:37 PM, James Cheney <jcheney@inf.ed.ac.uk> wrote:
>> 
>>> Hi,
>>> 
>>> Some of the PROV-XML versions of the test cases (.provx) are not valid with respect to the schema.  For example, in  unification-usage-s8-PASS-c23.provx, the "time" element in the usage record is in the wrong place.
>>> 
>>> I understand that the test cases / prov-xml exporter may have predated the current version of the schema.  Would it be possible to validate them and correct any that are not valid (with respect to the schema)?
>> 
>> Certainly.  I will look into updating the Makefile in the testcases directory with a test that runs xmllint on all entries in the xml-tests.txt file.
>> 
>> --Stephan
>> 
>>> 
>>> --James
>>> -- 
>>> The University of Edinburgh is a charitable body, registered in
>>> Scotland, with registration number SC005336.
>>> 
>>> 
>>> 
>> 
>> 
>> 
> 
> 
>