reasoner Interface : http://wiki.geneontology.org/index.php/OBO-Edit:_Reasoner_Overview