test cases

I wrote a bunch of test cases.
Two negative entailment tests concerned with local constants:
http://www.w3.org/2005/rules/wiki/Test_Case_Local_Constant
http://www.w3.org/2005/rules/wiki/Test_Case_Local_Predicate

Then two positive tests concerned with inconsistencies:
http://www.w3.org/2005/rules/wiki/Test_Case_Arbitrary_Entailment
http://www.w3.org/2005/rules/wiki/Test_Case_Inconsistent_Entailment

Finally, I made one particularly nasty test case that probably no one
will implement correctly, and so we might decide not to include it:
http://www.w3.org/2005/rules/wiki/Test_Case_Disjunctive_Information

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
scholar.
  - Donald Foster