Semantic Information Modeling in Formalized LanguagesSemantic modeling in a formalized language provides a route towards the benefits of universal data exchange, data integration and interoperability of systems. Its application will also reduce the need for and cost of data conversions. Using a formal language enables expressing information and knowledge, including also possibilities, requirements and definitions in a system independent, unambiguous, human as well as computer interpretable way. The book