Editing Modeling language (section)

==== Information and knowledge modeling ====
[[Linked data]] and [[ontology engineering]] require 'host languages' to represent [[Entity–relationship model|entities and the relations between them]], [[Constraint (mathematics)|constraints]] between the properties of entities and relations, and [[metadata]] [[attribute (computing)|attributes]]. [[JSON-LD]] and [[Resource Description Framework|RDF]] are two major (and semantically almost equivalent) languages in this context, primarily because they support [[Resource Description Framework#Statement reification and context|statement reification and contextualisation]] which are essential properties to support the [[higher-order logic]] needed to reason about models. [[Model transformation]] is a common example of such reasoning.