Inferences for a class using a standard OWL reasoner. Reasoning example for a genus + differentia pattern for camptothecin catabolism in the GeneOntology. The class is defined by its genus ‘catabolic process’ (GO:0009045) and differentia ‘has_input camptothecin’ (CHEBI:27656). Following that definition, the class is a subclass of catabolic process. Using the additional axioms from ChEBI and the GeneOntology, a standard OWL reasoner can infer the more specific superclass ‘alkaloid catabolic process’ (GO:0009822).