В информатике , ABox является «утверждение компонента» -a факт , связанный с концептуальной моделью или онтологий в пределах базы знаний .
Термины «ABox» и « TBox » используются для описания двух разных типов утверждений в базах знаний. Операторы TBox описывают интересующую область, определяя классы и свойства как словарь предметной области. ABox - это совместимые с TBox утверждения, в которых используется словарь.
Операторы TBox иногда связаны с объектно-ориентированными классами, а операторы ABox - с экземплярами этих классов.
Вместе утверждения ABox и TBox составляют базу знаний или граф знаний .
Примеры операторов ABox и TBox
Утверждения ABox обычно имеют форму:
A является экземпляром B
или же
Джон - личность
Это должно контрастировать с операторами TBox (или определениями ресурсов домена), такими как:
Все студенты - личности
или же
Есть два типа людей: студенты и учителя.
Операторы TBox, как правило, более постоянны в базе знаний и используются и хранятся в виде схемы или модели данных. Напротив, операторы ABox гораздо более динамичны по своей природе и, как правило, хранятся как данные экземпляра в транзакционных системах в базах данных. С новыми базами данных NoSQL и особенно с базами данных RDF (см. Triplestore ) различие в хранении может больше не применяться. Данные и модели можно хранить, используя один и тот же подход. Однако модели остаются более постоянными, имеют другой жизненный цикл и обычно хранятся в виде отдельных графиков в такой базе данных.