Specializzazioni e Generalizzazioni
Il join e la restrizione sono operazioni che riducono la generalità. Un grafo derivato canonicamente (cioé mediante le regole di formazione canonica) da altri è detto specializzazione dei grafi originali.
La relazione di specializzazione definisce un ordine parziale fra i grafi derivati dalla base canonica. Se il grafo g è una specializzazione del grafo f, allora si dice che il grafo f è una generalizzazione del grafo g.
Le gerarchie di generalizzazione giocano un ruolo fondamentale in numerose tecniche di inferenza: sono la base per l'eredià, per il ragionamento basato su senso comune, per alcune tecniche di machine learning (come ad esempio l'explanation based learning
Si noti infine come la relazione di generalizzazione preserva la verità.