Metalanguage for ontologies, specifications, and models, possibly formalized in heterogeneous logics.
OMG standard