Discussione:Web semantico: differenze tra le versioni

Versione delle 17:29, 17 gen 2008

Versione delle 14:28, 17 lug 2008

Riga 12:

si parla di relazione inversa. Io ho studiato pochissimo logica (e non la logica predicativa), ma mi sembra che sia la contronominale quella che viene usata. --[[Utente:Wiso|wiso]] 15:01, 30 ott 2007 (CET)

Infatti e' semplicemente quella che va dal codominio al dominio. Poi sta al programmatore affermare che esista anche la relazione inversa. Io credo che si faccia confusione tra rules e axioms.

==Possibili correzioni==