OWLReasoner change lists need generifying

This change makes a minor break in the OWLReasoner interface.
However, a few reasoners compatible with 3.5 use methods that have
changed already, so they will need minor changes to work with 4.0
anyway.
warnings removed
add filters for TBox + RBox and its complement, fix #118