KR Language Components
A knowledge representation language consists of:
- A logical formalism
- An ontology
- Set of non-logical symbols defined or restricted
- Definitions of non-primitive non-logical symbols
- Axioms restricting the interpretation of primitive non-logical symbols
- A proof theory
Ontologies are distinguished –
- Not by their form, but
- By the role they play in representing knowledge