Il linguaggio ALN (Attributive Language with Number restrictions) è un formalismo appartenente alla famiglia dei linguaggi attributivi (AL), che è una famiglia di linguaggi derivati dai linguaggi descrittivi. I linguaggi AL sono stati introdotti come linguaggi minimali che sono di interesse pratico.
A cosa serve?
ALN è molto valido per la realizzazione di ontologie.
Quali sono i costrutti di questo linguaggio?
Essendo un linguaggio attributivo, possiede tutti i costrutti degli AL, che sono i seguenti:
|
Concetto Universale (Top Concept) |
|
Concetto Vuoto (Bottom Concept) |
|
Concetto Atomico |
|
Negazione Atomica |
|
Intersezione |
|
Restrizione di Valore su un Ruolo; indica che tutti gli individui che partecipano al ruolo R appartengono a C |
|
Restrizione di Esistenza su un Ruolo; impone l’esistenza di un individuo di C che partecipi alla relazione R |
Per aumentarne l’espressività, un linguaggio AL può essere esteso con ulteriori costrutti, come i seguenti:
|
Restrizioni Numeriche; (≥ n R), (≤ n R) indicano rispettivamente il numero minimo e massimo di volte che le istanze del concetto devono partecipare alla relazione R |
|
Unione |
|
Quantificatore Esistenziale Pieno |
|
Complementazione di un Concetto |
A seconda dei costrutti utilizzati per espandere il set di base, I linguaggi AL possono assumere diverse caratteristiche. La formula AL[N][U][E][C] viene utilizzata per indicare quale variante del linguaggio si sta utilizzando.
ALN è quindi, molto semplicemente, una variante di AL che supporta i costrutti per le Restrizioni Numeriche.
Antonio Cicirelli
Se il post ti è piaciuto, ti ha incuriosito o se non ha soddisfatto appieno la tua voglia di conoscenza lasciaci un commento, ci sarà d'aiuto per andare avanti e migliorare oppure sottoscrivi i feed e ricevi i prossimi articoli nel tuo RSS reader.
Comments
Non c'è ancora nessun commento.
Lascia un commento