Abox

insieme di asserzioni di un'ontologia
(Reindirizzamento da 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.[1] 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.

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.

  1. ^ Thomas R. Gruber, A translation approach to portable ontology specifications (PDF), in Knowledge Acquisition, vol. 5, n. 2, giugno 1993, pp. 199–220, DOI:10.1006/knac.1993.1008.

Voci correlate

modifica
  Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica