Arachne: an OWL RL Reasoner Applied to Gene Ontology Causal Activity Models (and Beyond).