Коробка - Abox

В Информатика, Коробка "компонент утверждения" - факт, связанный с концептуальной моделью или онтологии в пределах база знаний.

Термины "ABox" и "TBox "используются для описания двух разных типов операторов в базах знаний. Операторы TBox описывают интересующую область, определяя классы и свойства как словарь предметной области. ABox - это совместимые с TBox операторы, которые используют словарь.

Операторы TBox иногда связаны с объектно-ориентированными классами, а операторы ABox - с экземплярами этих классов.

Вместе заявления ABox и TBox составляют база знаний или Граф знаний.

Примеры операторов ABox и TBox

Утверждения ABox обычно имеют форму:

 A является экземпляром B

или же

 Джон - личность

Это должно быть противопоставлен с операторами TBox (или определениями ресурсов домена), например:

 Все студенты - личности

или же

 Есть два типа людей: студенты и учителя.

Операторы TBox, как правило, более постоянны в базе знаний и используются и хранятся в виде схемы или модели данных. Напротив, операторы ABox гораздо более динамичны по своей природе и, как правило, хранятся как данные экземпляра в транзакционных системах в базах данных. С более новой, NoSQL баз данных и особенно с базами данных RDF (см. Triplestore ) различие в хранении может больше не применяться. Данные и модели можно хранить с использованием одного и того же подхода. Однако модели остаются более постоянными, имеют другой жизненный цикл и обычно хранятся в виде отдельных графиков в такой базе данных.

Смотрите также