この資料をSMS送信: The Evolving Algebra Semantics of Class and Role Hierarchies