generalized OWL API-based low-level incremental test; now also testing
role axioms; dealing more gracefully with changes in non-buffering mode
making all public methods of the reasoner synchronized to avoid
concurrency issues, e.g., in Protege