Reasoner Performance on Ontologies for Operations