PPT Slide
0. A set LV and a mapping XL from <qLiteral> to LV
1. A nonempty set IR of resources, called the domain or universe of I.
2. A non-empty subset IP of IR called Properties
3. A mapping IEXT from IP into the powerset of IRx(IR union LV)
4. A mapping IS: vocab(I) -> IR
5. A nonempty set IC of IR called Classes
6. A mapping ICEXT from IC to the power set of IR union LV
The set of things in the Class