Use of a formal, accessible, shared, and broadly applicable language for knowledge representation.
The unambiguous communication of knowledge and meaning (what symbols are, and how they relate to one another) necessitates the use of languages that are capable of representing these concepts in a machine-readable manner.
- The language must have a BNF (or other specification language)
- The URL resolves (accessible)
- The document has an IANA media-type (i.e. it is sufficiently widely-accepted and shared that it has been registered)
- The language can be arbitrarily extended (e.g. PDBml can be used to represent knowledge, but only about proteins)