Anfonwch hwn fel neges destun: The Evolving Algebra Semantics of Class and Role Hierarchies