Disciplina che studia metodi e strumenti per la rappresentazione della realtà attraverso l'individuazione di concetti rilevanti di dominio che specificano le proprietà degli oggetti e degli individui che occorrono nel dominio stesso