Constraining ontology mappings using metaphysical choices

Immagina di cercare di tradurre una storia da una lingua all'altra, ma le due lingue non usano solo parole diverse; esse vedono il mondo in modo differente. Una lingua potrebbe descrivere un "albero" come una cosa singola, solida e immobile, mentre l'altra lo descrive come un fiume scorrevole di crescita, cambiamento e storia. Questo è il cuore di un campo chiamato ontologia, che è fondamentalmente lo studio di come organizziamo e definiamo ciò che esiste. Nel mondo dei computer e dei dati, questo è molto importante. Quando due diversi sistemi informatici cercano di comunicare tra loro, devono concordare su cosa significhi realmente il loro dato. Se un sistema pensa che un "libro" sia solo una collezione di pagine, e l'altro pensa che un "libro" sia un oggetto magico che esiste anche senza pagine, la loro conversazione sarà un disastro. La grande domanda che i ricercatori si pongono è: come possiamo assicurarci che queste traduzioni siano accurate quando le regole sottostanti della realtà sono diverse?

Questo articolo di Giacomo De Colle, Helena Blackmore e Chris Partridge affronta esattamente questo problema. Propongono un modo intelligente per verificare se le traduzioni dei dati sono corrette guardando alle "scelte metafisiche" che i sistemi informatici hanno compiuto. Immagina un viaggio in salita su una montagna. All'estrema base, c'è una visione super-unificata dove tutto è solo un unico grande ammasso di spazio e tempo mescolati insieme. Mentre sali, inizi a compiere delle scelte per dividere quell'ammasso in pezzi separati: tempo vs spazio, oggetti vs eventi, o una persona vs la sua storia personale. Gli autori suggeriscono che, se sai dove si trovano due diversi sistemi informatici su questa montagna, puoi prevedere esattamente quanti pezzi di dati devi creare durante la traduzione da uno all'altro. Per esempio, se il Sistema A vede un'auto come una cosa singola, ma il Sistema B vede l'auto come due cose (l'auto stessa e la storia dell'auto), una buona traduzione deve trasformare un elemento in due. Il documento non si limita a parlarne; ha effettivamente costruito un test informatico utilizzando lo "Standard di Scambio delle Informazioni" (IES) e la "Ontologia Formale di Base" (BFO) per dimostrare che queste regole funzionano. Scrivendo controlli informatici speciali (chiamati query SPARQL), hanno dimostrato che è possibile segnalare automaticamente le traduzioni che sbagliano i calcoli, garantendo che il dato rimanga fedele al suo significato originale anche quando le regole della realtà cambiano.

Il Grande Gioco della Traduzione dei Dati

Immagina di avere una scatola magica che può trasformare un singolo mattoncino Lego in un intero castello, o un intero castello di nuovo in un singolo mattoncino. È approssimativamente quello che accade quando cerchiamo di mappare i dati tra diversi sistemi informatici. Ma ecco il punto: la magia non è casuale. Segue regole rigide basate su come ciascun sistema crede che sia costruito l'universo.

Gli autori di questo articolo chiamano il loro metodo un "viaggio di stratificazione". Immagina un enorme albero decisionale, come un libro di "scegli la tua avventura" per la realtà. All'estremo vertice (o alla base, a seconda di come lo si guarda), c'è la visione più unificata possibile: un "oggetto supersostanziale". In questa visione, non c'è differenza tra te, lo spazio che occupi e il tempo che passi a esistere. Tu, la tua vita e la tua stanza siete tutti un unico, gigantesco ammasso fuso di materia e spazio-tempo.

Ora, immagina di iniziare a fare delle scelte per dividere questo ammasso.

• La Prima Divisione: Decidi di separare il "tempo" dallo "spazio". Improvvisamente, hai due cose invece di una: la cosa stessa (un oggetto perdurante) e l'evento del suo accadere nel tempo (un oggetto perdurante/processuale).
• La Seconda Divisione: Potresti decidere di separare la "sedia" dalla "stanza" in cui si trova.
• La Terza Divisione: Potresti separare il "processo" di sedersi dal "confine" dove l'atto di sedersi inizia e finisce.

Ogni volta che effettui una divisione, moltiplichi il numero di cose nel tuo mondo. Un'ontologia (una parola sofisticata per il manuale di regole di un sistema su ciò che esiste) che smette di dividere precocemente è "unificante": vede meno cose. Un'ontologia che continua a dividere è "divisiva": vede molte più cose.

La Statua e l'Argilla

Per capire perché questo è importante, pensa a una statua fatta di argilla.

• Un sistema unificante guarda la statua e dice: "Quella è solo una cosa: la statua". Non gli importa dell'argilla sottostante; è tutto un unico elemento.
• Un sistema divisivo guarda la stessa statua e dice: "Aspetta, ci sono due cose qui: l'argilla (la materia) e la forma (lo stampo)".

Se provi a tradurre una voce di un database da un sistema unificante a un sistema divisivo, non puoi semplicemente fare copia-incolla. Devi prendere quella singola voce "statua" e magicamente dividerla in due voci: "argilla" e "forma". Se non lo fai, la traduzione è rotta. L'articolo sostiene che queste "scelte metafisiche" creano vincoli di cardinalità rigorosi. Questo è un modo elegante per dire: "Se il Sistema A ha 1 elemento, il Sistema B deve avere 2 elementi (o 3, o 4) per essere corretto".

Il Test di Churchill

Gli autori non si sono limitati a teorizzare; hanno messo alla prova questa teoria. Hanno scelto due sistemi reali da mappare:

1. IES (Information Exchange Standard): Questo sistema è un "unificatore". Tratta cose come un'auto o una persona come un unico blocco quadridimensionale di spazio-tempo che include sia l'oggetto che la sua storia.
2. BFO (Basic Formal Ontology): Questo sistema è un "divisore". Ama scomporre le cose. Vede un'auto come l'oggetto fisico e la sua storia come cose separate. Vede una persona come il corpo e i suoi eventi vitali come cose separate.

Hanno deciso di testare questo con un esempio molto famoso: la nascita di Winston Churchill.

Nel sistema IES, la nascita di Churchill è un unico grande evento unificato. È un unico blocco di realtà.
Nel sistema BFO, quella stessa nascita deve essere scomposta. Per essere accurato, il sistema deve generare almeno cinque cose distinte:

1. Il corpo materiale di Churchill.
2. Il luogo specifico (sito) dove è nato.
3. Il processo stesso della nascita.
4. Il momento esatto in cui il processo è iniziato.
5. Le regioni di tempo e spazio occupate da quella nascita.

Il Controllo Informatico

Ecco dove il documento diventa davvero interessante. Gli autori hanno scritto un programma informatico per agire come arbitro. Hanno preso i dati dal sistema IES (l'unificatore) e hanno cercato di tradurli nel sistema BFO (il divisore).

Hanno stabilito una regola: "Se vedi un oggetto IES, devi vedere almeno due oggetti BFO".
Hanno poi eseguito la traduzione e usato un linguaggio informatico speciale (SPARQL) per scansionare i risultati. Il computer cercava qualsiasi traduzione che violasse le regole. Ad esempio, se il computer vedeva una voce di Churchill in IES ma trovava solo una singola voce in BFO, segnalava un errore: "Ehi! Hai dimenticato la parte storica! Devi moltiplicare i dati!".

Nella loro simulazione, questo metodo ha funzionato. Hanno dimostrato con successo che, comprendendo il "viaggio metafisico" che ogni sistema compie, potevano creare controlli automatici per garantire che i dati non andassero persi nella traduzione.

Cosa Significa Questo (E Cosa Non Significa)

L'articolo suggerisce che possiamo usare queste profonde regole filosofiche per costruire traduzioni di dati migliori e più affidabili. Non è una bacchetta magica che risolve ogni problema del mondo, ma offre un nuovo modo per individuare gli errori. Se sai che un sistema vede il mondo come "uno" e l'altro come "molti", puoi scrivere una regola che dice: "Assicurati che il lato 'molti' abbia abbastanza pezzi".

Gli autori precisano con cautela che questo è un framework che propongono e testano. Hanno dimostrato il concetto con un esempio specifico (Churchill) e con una coppia specifica di sistemi (IES e BFO). Non hanno sostenuto di aver risolto ogni problema di mappatura esistente, ma hanno dimostrato che questo "viaggio di stratificazione" è uno strumento potente per validare se una traduzione ha senso. Trasforma la domanda astratta "Cos'è la realtà?" in una checklist pratica per gli informatici: "Hai moltiplicato i dati abbastanza?".