Why is there such a strong emphasis on formal models?
A formal model is necessary to provide guarantees on the behavior of
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
Top: OKBC FAQ Table of Contents