Abox
# Abox

Nell'informatica, i termini TBox e ABox descrivono due diversi tipi di istruzioni nelle basi di conoscenza. Le istruzioni TBox sono la "componente terminologica" che descrive un dominio di interesse, definendone classi e proprietà come un vocabolario di quel dato dominio. Le dichiarazioni di ABox sono la "componente assertiva", intese come fatti associati al modello concettuale o alle ontologie di TBox. Unitamente, le istruzioni ABox e TBox costituiscono una base di conoscenza o un grafico della conoscenza.

Le istruzioni ABox devono essere conformi a quelle TBox poiché sono asserzioni che utilizzano il vocabolario definito dalla istruzione TBox.

Le istruzioni TBox sono talvolta associate a classi orientate agli oggetti, mentre le istruzioni ABox sono associate a istanze di tali classi.

## Esempi

Le istruzioni ABox in genere trattano entità concrete. Specificano a quale categoria appartiene un'entità o quale relazione ha un'entità con un'altra entità. Esempi in astratto:

* L'elemento A è un'istanza della categoria C
* L'elemento A ha questa relazione con l'elemento B

Esempi concreti:

* La Nigeria è un paese.
* Il Ciad è un paese
* La Nigeria è accanto al Ciad.
* Agadez è una città.
* Agadez si trova in Nigeria.

Ordinariamente, le istruzioni TBox (o definizioni di categorie di dominio e relazioni implicite) sono del tipo:

* Un'entità X può essere un paese o una città
* A è accanto a B se B è accanto ad A
   * Quindi la Nigeria è accanto al Ciad implica che il Ciad è accanto alla Nigeria.
* X è un luogo se X è una città o X è una nazione.
   * Quindi, la Nigeria è un paese implica che la Nigeria è un luogo.
* il luogo A contiene il luogo B se il luogo B si trova in A.
   * Quindi, Agadez si trova in Nigeria implica che la Nigeria contenga Agadez.

Le istruzioni TBox tendono ad essere meno variabili nel tempo all'interno di una base di conoscenza e vengono utilizzate e archiviate come schema o modello dei dati. Al contrario, le istruzioni ABox sono di natura molto più dinamica e tendono ad essere archiviate come dati di un'istanza di una transazione del database.

Con i più recenti database NoSQL e in particolare con i database RDF (vedi Triplestore) questa distinzione sotto il profilo archivistico potrebbe non essere più applicabile. Dati e modelli possono essere archiviati utilizzando lo stesso approccio. Tuttavia, i modelli continuano a essere più permanenti, hanno un ciclo di vita diverso e sono generalmente archiviati come grafi separati all'interno dei database.

