Outsourcing score calculation for OWL axioms.