mirror of
https://github.com/bpmbpm/doc.git
synced 2026-04-28 03:20:38 +00:00
3 KiB
3 KiB
theory
ontology TBox+ABox
- Abox wiki
- большинство онтологий определяют индивиды (экземпляры), классы (понятия), атрибуты и отношения
- Строго говоря, онтология состоит из терминологических аксиом (например, перечисленные вами вещи), аксиом утверждений (данные экземпляров, комментарии, описания и т. д.) и аксиом ролей (которые являются терминологическими вещами, имеющими дело со свойствами (например, цепочки ролей)).
Возможно, в наши дни мы чаще видим, что TBox онтологии называют онтологией, и это играет роль схемы для графа знаний. А сам граф знаний играет роль ABox. - ABox: данные и дескрипционная логика
- DL_03_ABox.pdf: Факты об индивидах могут быть двух видов: Отличие баз знаний от БД
- Структура онтологии
- https://github.com/kracr/owl2gen
easy
trinidata
2
Manchester syntax
- https://www.iprosoft.ru/docs/?nd=493701322 ГОСТ Р 56272-2014/ISO/TS 15926-8:2011