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