Seol mar théacs é seo: The Evolving Algebra Semantics of Class and Role Hierarchies