Extraction of Genic Interactions with the Recursive Logical Theory of an Ontology