W3C home > Mailing lists > Public > public-rif-wg@w3.org > August 2008

test cases

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Thu, 21 Aug 2008 17:53:44 +0200
Message-ID: <48AD8F88.7050404@inf.unibz.it>
To: RIF WG <public-rif-wg@w3.org>
I wrote a bunch of test cases.
Two negative entailment tests concerned with local constants:

Then two positive tests concerned with inconsistencies:

Finally, I made one particularly nasty test case that probably no one
will implement correctly, and so we might decide not to include it:

I will stop for now, because I'm getting all kinds of proxy errors when
trying to access the wiki.

Best, Jos
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
  - Donald Foster

Received on Thursday, 21 August 2008 15:53:31 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:52 UTC