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 terminológico" y describen un dominio de interés definiendo clases y propiedades como un vocabulario de dominio. Las declaraciones de ABox son el "componente de afirmación": hechos asociados con el modelo conceptual o las ontologías de TBox . [1] Juntas, las declaraciones ABox y TBox forman una base de conocimiento o un gráfico de conocimiento .
Las declaraciones de 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 asociadas con instancias de esas clases.
Las declaraciones ABox suelen tratar con entidades concretas. Especifican a qué categoría pertenece una entidad o qué relación tiene una entidad con otra entidad.
Ejemplos:
Típicamente declaraciones TBox (o definiciones de categorías de dominio y relaciones implícitas) como:
Las declaraciones TBox tienden a ser más permanentes dentro de una base de conocimiento y se utilizan y almacenan como un esquema o modelo de datos. Por el contrario, las declaraciones 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 modelos se pueden almacenar utilizando el mismo enfoque. Sin embargo, los modelos siguen siendo más permanentes, tienen un ciclo de vida diferente y normalmente se almacenan como gráficos separados dentro de dicha base de datos.