Semantic Information Modeling in Formalized Languages