Both logical and declaration axioms are used in OWLAPIRandomWalkIncrementalClassification Test