Estensione per i parser RDF e SPARQL per esprimere senza asserire con le Congetture

Le informazioni, da sempre, sono uno delle principali merci di scambio tra individui. La loro importanza e validità è legata particolarmente al grado di veridicità attribuito ad essi. Questa considerazione viene meno negli ambienti accademici e scientifici, dove le informazioni sono in perenne evoluzione. Proprio per questo motivo, le informazioni non vengono più espresse tramite affermazioni vere o false, ma attraverso constatazioni dibattute, contrastanti e, soprattutto, prive dell’obbligo di essere dichiarate con certezza. In questo lavoro, il comportamento appena descritto viene definito “esprimere senza asserire” (EWA: expressing without asserting). In questo studio vengono esposte ed esaminate le metodologie per implementare EWA in RDF. In aggiunta, viene proposta una nuova soluzione per realizzare tale approccio: Congetture. Più precisamente, questo lavoro si concentra sull’analisi della forma forte delle Congetture e sul confronto di quest’ultima con gli altri metodi. Nel corso dello scritto sono illustrati i processi che hanno permesso di implementare questa forma delle Congetture e, in particolar modo, gli adattamenti attuati per espandere la semantica di RDF. Successivamente, sfruttando dei dataset predisposti, si è proceduti con la comparazione dei diversi metodi atti ad esprimere senza asserire. Nelle parti conclusive di questo studio, sono mostrati i risultati ottenuti, dimostratisi molto positivi nei confronti della forma forte delle Congetture. Infatti, questa ha dato prova di essere in grado di competere con i metodi più all’avanguardia e, in alcuni casi, di ottenere persino le performance migliori. Al termine di questa sperimentazione, si è in grado di considerare le Congetture una valida risposta alla necessità di esprimere senza asserire, in grado di definire un metodo efficace e allo stesso tempo intuitivo per rappresentare informazioni libere da un grado di veridicità.