En informática , los términos TBox y ABox se utilizan para describir dos tipos diferentes de afirmaciones 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 afirmación": hechos asociados con el modelo conceptual u ontologías de TBox . [1] Juntas, las declaraciones ABox y TBox forman una base de conocimientos o un gráfico de conocimientos .
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 declaraciones ABox asociadas con instancias de esas clases.
Las declaraciones ABox normalmente tratan con entidades concretas. Especifican a qué categoría pertenece una entidad o qué relación tiene una entidad con otra entidad.
Las declaraciones 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 declaraciones ABox son de naturaleza mucho más dinámica y tienden a almacenarse como datos de instancia dentro de los sistemas transaccionales dentro de las 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 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.