The book draws ideas and transferrable approaches from the plethora of types of models and the methods, techniques, tools, procedures, and methodologies to create them in computer science.This book covers five principal declarative modelling approaches to model information and knowledge for different, yet related, purposes.