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