- More metainformation, such as
- Transitive property
- Unique, Unambiguous, Cardinality, etc
- Ontology community exists- DL, OIL, SHOE, etc. etc.
- Huge extra usage for extra functionality
- Not Turing complete, tractable.
Wide interoperability & interconversion
