Formele, machinaal leesbare specificaties van een conceptueel model, waarin concepten, eigenschappen, relaties, functies, beperkingen en axioma's expliciet zijn gedefinieerd. Verwijst naar een compilatie die technisch gezien geen gecontroleerd vocabulaire is, maar die een of meerdere gecontroleerde vocabulaires gebruikt voor een gedefinieerd domein...