W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2003

Re: New tests in editors draft

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
Message-ID: <OF6DE01230.E641036C-ONC1256DA6.008309FE-C1256DA7.00006F6D@agfa.be>


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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT