Wyślij emailem: Enumerating consistent sub-graphs of directed acyclic graphs: an insight into biomedical ontologies