- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Sat, 20 Sep 2003 02:04:37 +0200
- To: "Jeremy Carroll <jjc" <jjc@hpl.hp.com>
- Cc: www-webont-wg@w3.org
Jeremy: > I've added some more tests, following actions from yesterday. > I haven't updated the change log adequately. > > imports-011 is supposedly fixed. OK, thanks > Would value implementor feedback particularly Sean and Peter on syntax > checker, since mine is currently broke. :-( > Note I5.8-013 and I5.8-014 are intended to be uncontroversial, but simply to > validate the syntax checker agsinst S&AS CR on the undisputed part of user > defined datatype URI, then I5.8-015 and I5.9-016 illustrate the issue > discussed. > > Fixed > imports-011 OK, is now working > proposed again > cardinality-005 (contradicting cardinality-007) I'm fine with that (can run it now) > New > I5.8-013, I5.8-014, I5.8-015, I5.8-016 > SymmetricProperty-002 a dual creator ;-) I can also run that one (had to add some owl-rules (and we used a :reflexive predicate) > SymmetricProperty-003 can run that too > TransitiveProperty-002 idem > Class-001 > Class-002 > Class-003 can run those too (all proofs in http://www.agfa.com/w3c/temp/owl-proof.n3 and results in http://www.agfa.com/w3c/temp/owl-result.rdf) > Note I5.8-016 has a syntax error in the draft and the zip which is fixed in > the CVS copy, and on the direct web copy -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ PS I'm wondering where you get all your energy...
Received on Friday, 19 September 2003 20:04:42 UTC