2. Give a translation in Description Logic of both the TBOX and the ABOX above.
TBox: