Formal Model: Definitions
1. There is a set called Nodes
- 2. There is a subset of Nodes called PropertyTypes
3. There is a set of 3-tuples called Triples
- {p,r,v}Ý where p is a member of PropertyTypes, r is a member of Nodes, and v (called value) is either a member of Nodes or an atomic value
- ìv is the value of p for rî
- ìr has a property p with a value vî
- ìthe p of r is vî