- From: <jos.deroo@agfa.com>
- Date: Sun, 12 Dec 2004 15:59:54 +0100
- To: jjc@hplb.hpl.hp.com
- Cc: SWBPD <public-swbp-wg@w3.org>, public-swbp-wg-request@w3.org
I've done some test work for the examples in http://www.w3.org/2001/sw/BestPractices/XSCH/xsch-sw/ and using euler (after doing some corrections) found that :Jane :age "15"^^xsd:byte. :JaneC :age "15"^^xsd:nonNegativeInteger. :doc :language "en-US"^^xsd:language. :doc2 :language "en-US"^^xsd:string. :Jeremy :ageInYears "40"^^xsd:integer. :JeremyC :ageInYears "40"^^xsd:double. :car :engineSizeInLitres "1.3"^^xsd:decimal. :car2 :engineSizeInLitres "1.3"^^xsd:double. :doc :identifier "http://www.example.org/doc"^^xsd:anyURI. entails :Jane :age "15"^^xsd:decimal. :JaneC :age "15"^^xsd:byte. :doc :language "en-US"^^xsd:string. :doc2 :language "en-US". :doc :language "en-US". :Jeremy :ageInYears "40"^^xsd:float. :JeremyC :ageInYears "40"^^xsd:float. :car :engineSizeInLitres "1.3"^^xsd:float. :car2 :engineSizeInLitres "1.3"^^xsd:float. :doc :identifier "http://www.example.org/doc"^^xsd:string. For Example D I could not prove the non-entailment but got a "no proof found" for the entailment. I was not able to prove entailment of Example M. I also tested that :road :repair "P1Y2M3DT10H30M"^^xsd:duration. :testcase :made "2002-11-16T01:41:00+01:00"^^xsd:dateTime. entails :road :repair "P14M3DT10H30M"^^xsd:duration. :testcase :made "2002-11-16T00:41:00Z"^^xsd:dateTime. and that the empty graph entails "10.1"^^xsd:decimal math:greaterThan "8.4"^^xsd:decimal. "P1Y2M"^^xsd:duration math:notGreaterThan "P14MT10H"^^xsd:duration. "01:41:00+01:00"^^xsd:time math:lessThan "05:41:00Z"^^xsd:time. "1956-01-10"^^xsd:date math:notLessThan "1956-01-10"^^xsd:date. with @prefix math: <http://www.w3.org/2000/10/swap/math#>. @prefix xsd: <http://www.w3.org/2001/XMLSchema#>. For the rest, I don't disagree with the text :) -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ Jeremy Carroll <jjc@hplb.hpl.hp.com> Sent by: public-swbp-wg-request@w3.org 06/12/2004 15:03 To: SWBPD <public-swbp-wg@w3.org> cc: (bcc: Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER) Subject: [XSCH] heads up TF review of note next week Jeff and I are currently hoping to have a first complete editors' draft of the note ready a week today. If we manage it would be very good if we can have other TF participants review that draft before the Thursday 16th telecon, so that hopefully we can assign WG reviewers at that telecon. Then we stand a chance of inviting the X***WGs to review over the christmas break as we were planning. Does any TF participant wish to volunteer? (i.e. a review to start Mon 13th and completed by Thurs 16th). Jeremy
Received on Sunday, 12 December 2004 15:00:52 UTC