Representation Survey
Predicate calculus
- Predicates (relationships) describing properties of ground terms (vocabulary)
Algebraic
- Operations (relationships) and sorts (vocabulary) organized into specs with connecting morphisms
Knowledge representation languages
- Multiple inheritance (relationships) among concepts (vocabulary) with truth maintenance