RDFS Reasoner Challenge for our N3 reasoners

This is a challenge from
https://gist.github.com/justin2004/f9d07adf4e7c2c422be3e0ba92f278d2
and it would be nice to see how existing N3 reasoners deal wit it.

For EYE we have have
https://gist.github.com/justin2004/f9d07adf4e7c2c422be3e0ba92f278d2?permalink_comment_id=4123706#gistcomment-4123706

What about
- Cwm
- Jen3
- Gregg's reasoner
- Doerthe's Datalog based reasoner (in progress?)
- any other N3 reasoner that I forgot here

jos

PS After trying hard, there is no way to run it with n3p/scryer/rust
https://github.com/josd/josd.github.io/tree/master/temp/n3p
and it shows that multi-argument indexing and garbage collection
are crucial. So the priority is again shifting to EYE and N3 ;-)

-- https://josd.github.io