Коробка

В информатике термины TBox и ABox используются для описания двух разных типов утверждений в базах знаний . Операторы TBox являются «компонентом терминологии» и описывают интересующую область, определяя классы и свойства как словарь предметной области. TBox Операторы ABox — это «компонент утверждения» — факты, связанные с концептуальной моделью или онтологиями . ^[1] Вместе операторы ABox и TBox составляют базу знаний или граф знаний .

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

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

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

Операторы ABox обычно имеют дело с конкретными объектами. Они определяют, к какой категории принадлежит объект или какое отношение имеет один объект к другому объекту.

Элемент A является экземпляром категории C.
Элемент A имеет отношение к элементу B

Примеры:

Нигер - страна.
Чад – страна
Нигер находится рядом с Чадом.
Агадес - город.
Агадес находится в Нигере.

Обычно операторы TBox (или определения категорий домена и подразумеваемых отношений), такие как:

Объектом X может быть страна или город.
- Итак, Дагаманет - это район - это не факт, который можно уточнить, хотя в реальной жизни это факт.
A находится рядом с B, если B находится рядом с A
- Таким образом, «Нигер — рядом с Чадом» подразумевает, что Чад — «рядом с Нигером» .
X — это место, если X — город или X — страна.
- Таким образом, Нигер — это страна , подразумевающая, что Нигер — это место .
Место A содержит место B, если место B находится в A.
- Таким образом, то, что Агадес расположен в Нигере, означает, что Нигер содержит Агадес .

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

См. также

Ссылки

^ Грубер, Томас Р. (июнь 1993 г.). «Подход к переводу спецификаций переносимых онтологий» (PDF) . Приобретение знаний . 5 (2): 199–220. CiteSeerX 10.1.1.101.7493 . дои : 10.1006/knac.1993.1008 .

Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее .

[TRG93-1] Грубер, Томас Р. (июнь 1993 г.). «Подход к переводу спецификаций переносимых онтологий» (PDF) . Приобретение знаний . 5 (2): 199–220. CiteSeerX 10.1.1.101.7493 . дои : 10.1006/knac.1993.1008 .

[1]