Ontologies
Formal, shared specifications of the concepts in a domain and the relationships between them, written so that machines can use them.
Covers formal specifications of a domain's concepts and relations, in any language or setting. The web-wide framework of linked data that often uses them is under Semantic web.