AI E ONTOLOGIE

Ontologie per rendere la conoscenza verificabile.

Casi dimostrativi che partono da un documento e lo trasformano in un modello formale: concetti e relazioni, dati in RDF e vincoli SHACL che ne controllano la coerenza. Una base solida per farsi interrogare da persone e da sistemi di AI.

ARTEFATTI

Casi dimostrativi

Ogni artefatto è interattivo e si può aprire, esplorare e scaricare con i file da cui è generato.

Caso 1 · Scenario fittizio

Audit ISO 27001: la riunione di chiusura

Un audit di terza parte, tre non conformità e una scadenza che cade prima del termine concesso. Che cosa vede un'ontologia che un verbale non mostra.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
85
elementi nel modello
2.940
triple RDF
0
violazioni SHACL
2
lacune segnalate
Caso 2 · Scenario fittizio

Evento sentinella in reparto: il comitato di rischio clinico

Una fiala scambiata per un'altra, otto minuti di rianimazione e un comitato che cerca le difese cadute, non un colpevole. Come un'ontologia ricostruisce fatti, barriere e cause.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
70
elementi nel modello
2.697
triple RDF
0
violazioni SHACL
5
lacune segnalate
Caso 3 · Scenario fittizio

Richiamo di un lotto: il comitato di crisi qualità

Una guarnizione fuori specifica in tre lotti di valvole di sicurezza. Tracciabilità, decisioni sotto incertezza e un costo che supera il tetto contrattuale: ciò che l'ontologia rende visibile.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
76
elementi nel modello
2.850
triple RDF
0
violazioni SHACL
5
lacune segnalate
Caso 4 · Scenario fittizio

Fermo linea: l'analisi in otto passi

Una pompa si ferma per 62 ore e un ordine consegna in ritardo. Allarme silenziato, manutenzione rinviata, ricambio non critico: ciò che l'ontologia mette in fila.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
60
elementi nel modello
2.148
triple RDF
0
violazioni SHACL
4
lacune segnalate
Caso 5 · Scenario fittizio

Modifica di progetto: il comitato di controllo delle modifiche

Un microcontrollore esce di produzione e tocca distinta, firmware, scorte, ordini, ricambi e certificazioni. Come un'ontologia rende visibile l'impatto di una modifica.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
70
elementi nel modello
2.303
triple RDF
0
violazioni SHACL
3
lacune segnalate
Caso 6 · Scenario fittizio

Rottura di fornitura: la riunione di vendite e operazioni

Il forno del fornitore si ferma e il materiale basta per metà degli ordini. Chi si serve per primo, a quale costo, con quali alternative: come un'ontologia tiene insieme priorità, quantità e penali.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
79
elementi nel modello
2.725
triple RDF
0
violazioni SHACL
4
lacune segnalate
Caso 7 · Scenario fittizio

Promozione di volantino: il comitato post-promozione

Un olio a -35% in prima pagina, 120.000 bottiglie ordinate e scaffali vuoti in 91 negozi su 148. Previsione, ordine, rifornimento e volantino: ciò che l'ontologia rende leggibile.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
71
elementi nel modello
2.404
triple RDF
0
violazioni SHACL
4
lacune segnalate
Caso 8 · Scenario fittizio

Catena del freddo interrotta: il comitato di crisi

Un compressore si ferma di notte, l'allarme non arriva a nessuno e quattro camion sono già partiti. Decisioni per lotto, per camion e per negozio: come un'ontologia le tiene insieme.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
83
elementi nel modello
3.038
triple RDF
0
violazioni SHACL
5
lacune segnalate
Caso 9 · Scenario fittizio

Black Friday omnicanale: l'analisi post-evento

Un sito che vende pezzi che i negozi non hanno più. Sincronizzazione ogni quattro ore, ordini senza prenotazione, ritiri in ritardo: come un'ontologia ricompone ciò che i due sistemi non si dicono.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
76
elementi nel modello
2.628
triple RDF
0
violazioni SHACL
5
lacune segnalate
Caso 10 · Scenario fittizio

Contestazione degli SLA: la verifica con il cliente

Il fornitore dice 99,54%, il cliente 99,32%. Dietro i numeri ci sono clausole, sospensioni, priorità e un conteggio dei mesi: come un'ontologia mette ogni affermazione accanto alla clausola che la regge.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
87
elementi nel modello
3.173
triple RDF
0
violazioni SHACL
9
lacune segnalate
Caso 12 · Scenario fittizio

Underwriting vita: una pratica TCM da 350.000 euro

Dalla proposta alla controproposta, dalla cessione in riassicurazione al Comitato di Sottoscrizione: come ogni decisione di un assuntore si regge su una regola del Manuale, su un accertamento e su una norma di legge.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
120
elementi nel modello
4.057
triple RDF
0
violazioni SHACL
7
lacune segnalate
Caso 13 · Scenario fittizio

Verbale di crisi in OntoUML

Dalla trascrizione di una riunione di crisi dopo un attacco ransomware a un modello OntoUML: interventi, catena causale, decisioni e azioni, con dati RDF e vincoli SHACL.

OntoUMLTontogUFORDF / TurtleSHACL
Apri l'artefatto →
298
individui nel modello RDF
0
errori nel controllo Tonto
0
violazioni SHACL
9
avvisi: lacune del verbale

Gli scenari indicati come fittizi sono interamente sintetici: persone, aziende e cifre sono inventati.

COME SONO FATTI

Dalla fonte alla verifica

01
Fonte

Un documento o una trascrizione: da qui derivano tutte le affermazioni del modello.

02
Modello

Il dominio è modellato in OntoUML con Tonto e controllato formalmente.

03
Conoscenza

Il modello è esportato in gUFO e popolato con gli individui estratti dalla fonte, in RDF/Turtle.

04
Verifica

Vincoli SHACL controllano il risultato e segnalano le lacune della fonte.

Hai un documento da trasformare in conoscenza verificabile?

Raccontaci il tuo caso: valutiamo insieme se un'ontologia è lo strumento giusto.

Parliamone →