W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2009

Re: how to test parsers?

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Thu, 30 Jul 2009 23:38:37 +0200
Cc: "Michael Schneider" <schneid@fzi.de>, Sandro Hawke <sandro@w3.org>, "OWL 1.1" <public-owl-wg@w3.org>, Matthew Horridge <matthew.horridge@cs.man.ac.uk>
Message-Id: <59BBC51A-F77D-49DE-9308-2E778AEB02D0@cs.man.ac.uk>
To: Bijan Parsia <bparsia@cs.man.ac.uk>
On 30 Jul 2009, at 22:51, Bijan Parsia wrote:

> On 30 Jul 2009, at 21:54, Michael Schneider wrote:
> [snip]
[snip]
>
> 1) Manual inspect (not hugely unreasonable, actually)
> 2) Report it as an annoying serialization bug (not becuase it doesnt  
> conform, but because it's uboptimal)
> 3) Do a structural equivalence test.

You *could*, maybe, augment 1 with a mutual entailment check, I guess.  
But it's hard to imagine good tests where that was really necessary  
(except maybe a tough brainbender...) and it's a dangerous habit to  
get into.

Cheers,
Bijan.
Received on Thursday, 30 July 2009 21:39:46 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 30 July 2009 21:39:47 GMT