- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Sat, 13 Apr 2002 15:38:22 +0100 (BST)
- To: RDFCore Working Group <w3c-rdfcore-wg@w3.org>
This is a fairly long message, and a call for volunteers. Topics covered: outstanding tests that need approving; entailment tests; manifest files. -- Outstanding tests that need approving. Basically, I could do with some spare pairs of eyes to check that I've not missed anything - I've been back over the minutes a couple of times, and failed to find resolutions that approve the following files; some of these have no issue attached to them. If anyone _does_ find any of these, please let me know directly. Otherwise, they need reviewing and approving or dropping. There may well be some in here that were approved at the recent F2F that I've missed. entailment/* - Jos to describe using manifest format (see below) rdfms-abouteach/error001.rdf rdfms-abouteach/error002.rdf rdfms-difference-between-ID-and-about/test2.nt rdfms-difference-between-ID-and-about/test2.rdf rdfms-rdf-names-use/error001.rdf rdfms-rdf-names-use/error002.rdf rdfms-rdf-names-use/error003.rdf rdfms-rdf-names-use/test001.nt rdfms-rdf-names-use/test001.rdf rdfms-rdf-names-use/test002.nt rdfms-rdf-names-use/test002.rdf rdfms-rdf-names-use/test003.nt rdfms-rdf-names-use/test003.rdf rdfms-rdf-names-use/warn001.nt rdfms-rdf-names-use/warn001.rdf rdfms-rdf-names-use/warn002.nt rdfms-rdf-names-use/warn002.rdf rdfms-rdf-names-use/warn003.nt rdfms-rdf-names-use/warn003.rdf rdfms-reification-required/test001.nt rdfms-reification-required/test001.rdf rdfms-uri-substructure/error001.nt rdfms-uri-substructure/test001.nt rdfms-uri-substructure/test001.rdf rdfms-xmllang/test001.nt rdfms-xmllang/test001.rdf rdfms-xmllang/test002.nt rdfms-xmllang/test002.rdf rdfms-xmllang/test003.nt rdfms-xmllang/test003.rdf rdfms-xmllang/test004.nt rdfms-xmllang/test004.rdf rdfms-xmllang/test005.nt rdfms-xmllang/test005.rdf rdfms-xmllang/test006.nt rdfms-xmllang/test006.rdf rdfs-subPropertyOf-semantics/test001.nt rdfs-subPropertyOf-semantics/test001.rdf rdfs-subPropertyOf-semantics/test002.nt rdfs-subPropertyOf-semantics/test002.rdf rdfs-transitive-subSubProperty/test001.nt rdfs-transitive-subSubProperty/test001.rdf xmlbase/error001.rdf rdfms-literal-is-xml-structure/test001.rdf rdfms-literal-is-xml-structure/test002.rdf rdfms-literal-is-xml-structure/test003.rdf rdfms-literal-is-xml-structure/test004.rdf rdfms-literal-is-xml-structure/test005.rdf rdfms-parseType/error001.rdf rdfms-parseType/error002.rdf rdfms-parseType/error003.rdf rdfs-domain-and-range/axioms.n3 rdfs-domain-and-range/readme.txt rdfs-domain-and-range/test003.nt rdfs-domain-and-range/test003.rdf rdfs-domain-and-range/test004.nt rdfs-domain-and-range/test004.rdf - entailment tests and manifest files. I'm currently populating each subdirectory with Manifest.rdf files that describe the tests in that directory. They're currently minimal. As issues are decided by the WG, these files should be updated (as of now, pretty much, I'm going to be using these to drive the test case document). They're all in a straightforward format suitable for parsing without the aid of an RDF parser; however, they're also all legal RDF (I hope!) See http://www.w3.org/2000/10/rdf-tests/rdfcore/skeleton/ for the cheesy hack to stick these together and the sample files. Most of the current directory contents are based around parser tests - that's what populate.pl expects to build a manifest file for. As per the action/decision in http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0010.html I've added the following tests (without a related issue): statement-entailment/test001a.nt NOT_ISSUE PENDING http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html statement-entailment/test001b.nt NOT_ISSUE PENDING http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html statement-entailment/test002a.nt NOT_ISSUE PENDING http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html statement-entailment/test002b.nt NOT_ISSUE PENDING http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html That the entailments in each case should not be drawn is detailed in http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf (similar file in the skeleton/ directory). I'd like Jos to have a final rundown of this, to ensure that it meets his needs. Basically, an entailment test is either positive (if the entailment should hold) or negative. Included in the test description are one or more <test:entailmentRules> properties that indicate if the rules for RDF-entailment, RDFS-entailment (or, in the future, OWL-entailment) should be used. Again, the format is pretty much fixed. Cheers, jan PS. Incidentally, IMHO the WG is to be congratulated on the consistently high standard of the minutes. I stand ready to retract this when it turns out that there _were_ decisions on all of the above that I've missed :-) -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk "My army boots contain everything not in them." - Russell's pair o' Docs.
Received on Saturday, 13 April 2002 10:40:25 UTC