    # KEHOME/homepage/MKRtheory.html
    # May/23/2003

# MKR Theory

#

## Principles of Knowledge

Axiomatic Propositions
Tabula Rasa
Knowledge Explorer and its attributes and actions
Organizing Knowledge
What is Context?
What is Belief?

## The MKR language

MKR design philosophy
knits & chits
MKR grammar
MKR tokens
MKR keywords
MKR simple examples
Summary of key ideas
Nine definitions of "is"

## MKR and other languages

English & UNIX shell & Variables
Epistemology & Situations & Formal Concepts
OWL & basic MKR
MKR is an "extension" of OWL Full
OWL Nothing
Ontology View Definition Nothing Space Time
CycL & MKR

## Exploring hierarchies & lattices

Exploring the "..." concept
Exploring a concept-hierarchy