ciao ragazzi! come state preparando il primo compitino di Ontologie?? gli esercizi scarseggiano, voi in rete siete riusciti a trovar qualcosa?? CONDIVIDIAMO!
ah, io ho appena trovato questi dall'uni di Pisa (spero di non parlare da solo) alcuni sono diversi, ma il link mi sembra cmq utile http://gaia.isti.cnr.it/~straccia/T...006/IS2006.html http://gaia.isti.cnr.it/~straccia/T...007/IS2007.html
io ho appena scritto al prof chiedendogli di pubblicare quell'esercizio di cui parlava...
si anche io ho chiesto al prof di pubblicarci qualcosao darci qualche link... se risp in privato pubblichiamo qui
Io domani sono in aula studio alle 15.15. Chi vuole può unirsi così si ripassa assieme alcuni esercizi. ciao!!!
ah qualcuno sa spiegarmi come ha risolto: Book(b) Book SUBSUMPTION EHasAuthor.Person EHasAuthor.T SUBSUMPTION Publication La E è un esiste. E' l'esempio della penultima slide di "Introduzione al ragionamento automatico per DL"