Knowledge Representation Language

A Knowledge Representation Language is a formal language designed to represent a knowledge base.

• AKA: KR Language.
• Context:
  • It can range from being an Informal Knowledge Representation Language to being a Formal Knowledge Representation Language.
• Example(s):
  • an Ontology Representation Language.
  • a DATR Lexical KR Language.
• See: Semantic Network, First-Order Logic.

---

---