counting inferences
adding an example of requesting proofs via the OWL API to
elk-distribution