any more tests?

I have just been chatting with Dave Reynolds, who had a simple bug reported 
on his reasoner to do with an entailment like:

<eg:c> rdf:type owl:Class .
<eg:c> owl:equivalentClass _:r .
_:r rdf:type owl:Restriction .
_:r owl:onProperty <eg:p> .
_:r owl:someValuesFrom <eg:c> .
<eg:p> rdf:type owl:ObjectProperty .
<eg:i> rdf:type <eg:c> .

entails

<eg:i> <eg:p> _:b .
_:b rdf:type <eg:c> .
_:b <eg:p> _:c .
_:c rdf:type <eg:c> .



A test for this potential infinite loop bug was apparantly missing from the 
test suite.

If there are other such simple tests that catch common implementation bugs 
it would be good to add some.

Jeremy