- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Thu, 30 Jul 2009 23:38:37 +0200
- To: Bijan Parsia <bparsia@cs.man.ac.uk>
- 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>
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 UTC