mirror of
https://github.com/bpmbpm/doc.git
synced 2026-05-02 21:40:41 +00:00
2.9 KiB
2.9 KiB
theory
ontology TBox+ABox
- Abox wiki
- большинство онтологий определяют индивиды (экземпляры), классы (понятия), атрибуты и отношения
- Строго говоря, онтология состоит из терминологических аксиом (например, перечисленные вами вещи), аксиом утверждений (данные экземпляров, комментарии, описания и т. д.) и аксиом ролей (которые являются терминологическими вещами, имеющими дело со свойствами (например, цепочки ролей)).
Возможно, в наши дни мы чаще видим, что TBox онтологии называют онтологией, и это играет роль схемы для графа знаний. А сам граф знаний играет роль ABox. - ABox: данные и дескрипционная логика
- DL_03_ABox.pdf: Факты об индивидах могут быть двух видов: Отличие баз знаний от БД
- Структура онтологии
- https://github.com/kracr/owl2gen