This book describes a methodology for enabling interoperability of systems by modeling information such that it can be queried, stored and exchanged between systems in a system independent way. It is based on the use of formalized natural languages and provides guidance on the modeling of definitions, knowledge and requirements as well as modeling of individual products and processes.