Declarations are retained as static axioms in OWLAPIRandomWalkIncrementalClassification Test
Both logical and declaration axioms are used in OWLAPIRandomWalkIncrementalClassification Test
slightly improving the fix so that different strategies of splitting the
axioms into static and synamic ones can be used, similarly to how its
done for the ELK API