Abstract. Many projects have investigated the issue of storing XML in traditional database systems and exporting data in traditional databases as XML documents. However, they paid little attention to the formalization of the data models and transformation between them. In this paper, we address this problem by providing a formal framework in which Document Type Definition (DTD) and Semantic Schema of the Semantic Binary ObjectOriented Data Model (Sem-ODM) are formally defined and the conversion from DTD to Semantic Schema is presented. Through this formalization, we achieve preciseness and conciseness in expressing both data models and converting one to the other.