Kr&R - What is an example of knowledge representation?

Frames, ontologies, rules, semantic networks, and systems architecture are all forms of formalization that may be used to describe knowledge. Many types of automated reasoning engines exist, including classifiers, theorem provers, and inference engines.