Ontology layer - technology

More metainformation, such as
- Transitive property
- Unique, Unambiguous, Cardinality, etc
Ontology community exists- DL, OIL, SHOE, etc. etc.
Not Turing complete, tractable.
Like UML but different