Why is there such a strong emphasis on formal models? 

A formal model is necessary to provide guarantees on the behavior of a system.
The OKBC model is specified using logical axioms so that there is a clear understanding
on what each concept means.

Next: What are the primitive data types?
Top: OKBC FAQ Table of Contents