- From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Date: Wed, 21 May 2008 15:06:13 +0100
- To: Bijan Parsia <bparsia@cs.man.ac.uk>
- Cc: Sandro Hawke <sandro@w3.org>, public-owl-wg@w3.org
On 19 May 2008, at 16:34, Bijan Parsia wrote: > > Ok, I tried to take a look. > > First, I'm not on the RIF wiki, so I can't get at the wiki code. > > Second, it seems fairly complicated. Right now, I'd just like to > convert my extant table about anonymous individuals into test cases: > > http://www.w3.org/2007/OWL/wiki/Anonymous_Individuals > > They are entailment tests with a couple of non-entailments. > > In the interest of moving forward, I decided to just grab the last > thing that made sense to me: > http://www.w3.org/2007/OWL/wiki/index.php?title=Template:TestCase > http://www.w3.org/2007/OWL/wiki/index.php?title=Test_Case_Experiment > > There's a lot of YANGI[1] in this (e.g., multiple inputs syntaxes). > So I just ignored that for the moment. > > Here's a test case: > http://www.w3.org/2007/OWL/wiki/BnodeTest1_1 > I linked to it from this page: > http://www.w3.org/2007/OWL/wiki/Anonymous_Individuals Thanks for the useful test case. > > Which seems a tad nice, I guess. > > Writing test cases really really sucks, by the by. Can you say a little more about what the problems are and how you think they might be addressed? > I strongly request of the chairs that we do something to move this > forward. Test cases written in a crunch at the end are going to be > painful to do and hard to validate. I suggest that we actually put > some people in charge of doing this. We are on to it. > > I am not one of those people! Agreed. Ian > > Cheers, > Bijan. > > [1] http://en.wikipedia.org/wiki/You_Ain't_Gonna_Need_It >
Received on Wednesday, 21 May 2008 14:07:05 UTC