Seol mar théacs é seo: EL-ifying ontologies