Inferenze Situate - Un'Implementazione per GraphDB

La dissertazione discute le problematiche principali relative alle inferenze su dataset situazionali espressi in RDF. Presentiamo il paradosso di Superman e la sua rilevanza alle inferenze su affermazioni riportate. Proponiamo alcune assunzioni che permettono di ottenere inferenze prive di istanze del paradosso di superman Proponiamo un'estensione per il triple-store GraphDB che, basandosi su tali assunzioni, permette di effettuare inferenze locali nei contesti di un dataset RDF. Le inferenze effettuate in questo modo non dimostrano istanze di problematiche riconducibili al problema dell'opacità referenziale. Discutiamo i pregi e i difetti della soluzione proposta e elenchiamo i futuri miglioramenti che intendiamo apportare.