Partitioned axioms to allow querying by OWLAPI reasoner-style API