SGML stands for Standard Generalized Markup Language. It is an ISO-standard technology for defining generalized markup languages for documents. (ISO 8879:1986 SGML)
HyTime stands for Hypermedia/Time-based Structuring Language. It is a markup language, an application of SGML.