KM define Knowledge Model or Knowledge
Representation for a specific domain knowledge
- KA define Knowledge Atom that describe the simplest
and smallest form of knowledge, such as axiom and
concept
- R define relation between KM (inter KM) or between
KA (intra KM)
- Rule define rule that explicitly store formula for
inference