A subcategory of Data Dictionary and Schema that's conceptual in orientation i.e., focused on the semantics of entity relationships -- represented by a series of assertions (in a variety of notations) that cover the nature of entity and relation types. (en)