Conceptualization
Set of objects about which knowledge is being expressed
Set of relations and functions on the objects
- Relation
- Set of finite lists of objects
E.g., Parent: {(Richard Earl) (Richard Polly) (Debbie Don) … }
- Mapping: <list of objects> ® <truth value>
- Function
- Relation that has a unique nth element for a given n-1 elements
E.g, +: {(1 3 4) (17 23 40) (2 7 10 12 31) …}
- Referred to as (arg1, arg2, … , argk, value)
- Mapping: <list of objects> ® <object>