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

Re: TEST: harder DL tests (3 SAT)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 28 Feb 2003 07:05:55 -0500 (EST)
Message-Id: <20030228.070555.52166812.pfps@research.bell-labs.com>
To: jjc@hplb.hpl.hp.com
Cc: www-webont-wg@w3.org

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Subject: Re: TEST: harder DL tests (3 SAT)
Date: Fri, 28 Feb 2003 12:00:25 +0000

> 
> 
> Peter F. Patel-Schneider wrote:
> 
> > I expect that this may be difficult to achieve, at least if you want the
> > test to fit into the document.  Small tests are likely to be either easy
> > (the reasoner can actually do this sort of thing) or impossible (the
> > reasoner gets completely lost or does the wrong thing).
> > 
> > If you are, however, looking for larger tests that exhibit this behaviour,
> > you are likely to find them in the Tableaux'98 modal logic tests
> > 
> > 
> >>Jeremy
> 
> I am happy to have larger tests that are out-of-line.
> We already have the Guide examples out-of-line and I should move the 3-SAT 
> ones out too. I probably need to add a flag to the test manifest to support 
> out-of-line behaviour.
> 
> Some of Sean's tests are a bit big for the doc too - but I don't want to 
> move too much out.
> 
> A difficulty with larger tests is verifying them.
> 
> Jeremy

Machine-translation of the Tableaux'98 tests should produce tests with
known results.  (Of course this requires a translator from modal logic to
OWL.) 

peter
Received on Friday, 28 February 2003 07:06:07 GMT

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