Una caja

En informática , los términos TBox y ABox se utilizan para describir dos tipos diferentes de declaraciones en bases de conocimiento . Las declaraciones TBox son el "componente de terminología" y describen un dominio de interés definiendo clases y propiedades como un vocabulario de dominio. Las declaraciones ABox son el "componente de aserción": hechos asociados con el modelo conceptual o las ontologías de TBox . ^[1] Juntas, las declaraciones ABox y TBox conforman una base de conocimiento o un gráfico de conocimiento .

Las declaraciones ABox deben ser compatibles con TBox: son afirmaciones que utilizan el vocabulario definido por TBox.

Las declaraciones TBox a veces se asocian con clases orientadas a objetos y las declaraciones ABox se asocian con instancias de esas clases.

Las instrucciones ABox suelen tratar con entidades concretas. Especifican a qué categoría pertenece una entidad o qué relación tiene una entidad con otra.

• El elemento A es una instancia de la categoría C
• El elemento A tiene esta relación con el elemento B

Ejemplos:

• Níger es un país.
• Chad es un país
• Níger está al lado de Chad.
• Agadez es una ciudad.
• Agadez está situada en Níger.

Las declaraciones TBox suelen ser (o definiciones de categorías de dominio y relaciones implícitas) como:

• Una entidad X puede ser un país o una ciudad
  • Por lo tanto, Dagamanet es un barrio que no es un hecho que se pueda especificar, aunque es un hecho en la vida real.
• A es-al-lado-de-B si B es-al-lado-de-A
  • Por lo tanto, que Níger esté al lado de Chad implica que Chad está al lado de Níger .
• X es un lugar si X es una ciudad o X es un país.
  • Entonces, Níger es un país, lo que implica que Níger es un lugar .
• el lugar A contiene el lugar B si el lugar B está ubicado en A.
  • Entonces, que Agadez esté ubicada en Níger implica que Níger contiene a Agadez .

Las sentencias TBox tienden a ser más permanentes dentro de una base de conocimiento y se utilizan y almacenan como un esquema o un modelo de datos. Por el contrario, las sentencias ABox son de naturaleza mucho más dinámica y tienden a almacenarse como datos de instancia dentro de sistemas transaccionales dentro de bases de datos. Con las bases de datos NoSQL más nuevas y, especialmente, con las bases de datos RDF (consulte Triplestore ), es posible que la distinción de almacenamiento ya no se aplique. Los datos y los modelos se pueden almacenar utilizando el mismo enfoque. Sin embargo, los modelos continúan siendo más permanentes, tienen un ciclo de vida diferente y, por lo general, se almacenan como gráficos separados dentro de dicha base de datos.

• Lógica descriptiva § Modelado
• Metadatos
• Lenguaje de ontología web