more work .org files for focus, add owl2-rl-axioms.org