Usi Combinati delle Operazioni
Solitamente le operazioni sono usate in modo combinato.
Combinando restrizioni e join si può ottenere l'eredità: con la restrizione si fa in modo che sia possibile poi applicare il join. La sostituzione di marker generici con individui realizza l'eredità di un individuo dal suo tipo. Analogamente la sostituzio
Se nella base canonica per un certo dominio è descritta, mediante numerosi dettagli, una situazione stereotipata, possiamo effettuare assunzioni plausibili su situazioni specifiche. Ciò è ottenuto rappresentando la situazione specifica (tipicamente nota
Il join massimo viene effettuato operando il join fra due grafi (eventualmente 'ristretti'), seguito da restrizioni e semplificazioni, in modo da massimizzzare la corrispondenza di parti di grafi e le possibili riunificazioni mediante join. Il risultato d