Иду по упражнениям блока руководства основ онтологической работы дальше.

Много упражнений, мозг пухнет 😐

Хочу поделиться переживанием с вами :)

Если вы читали последний пост, то помните что онтологическая работа – это такая инженерная работа по моделированию предметной области, выхватыванию объектов полезных для работы по методам какой-то роли.

Короче, объекты устанавливаются двух ‘типов’ – индивиды и категории (их же называют абстрактными объектами, но это потом.)

Индивиды – конкретная штука с каким то уникальным ID, у них есть четкая функция, полезная активность. Очень важно – индивид это физический объект по которому можно или постучать руками, или как-то ощупать, даже хотя бы глазами (через телескоп.)

Категория – это такой объект который указывает на другие объекты, устанавливает общность / связь. Категория не имеет функции, ее нельзя физически «ощупать».

Например, «Клавиатура» - это категория.

А «Клавиатура Keychron Q1 Pro Serial Number: 474827кококопыщпыщ» – это индивид.

Там же еще про то что категории могут быть в категориях, и индивиды можно одновременно относиться к разным категориями… но это все будет потом чуть подробнее в лонгриде.

Меня сейчас больше всего сбило с ног вот что.

Объекты – связаны с ролью, и с методом работы. Вот прям конкретно.

То что индивиды связаны с методом — вроде сразу интуитивно понятно – есть функция, значит и метод есть, работа есть!

Но вот категории тоже всегда должны быть связаны с методом! И функцию их, пусть не в физическом мире, тоже надо как то подразумевать-выражать! 🧐

Разрыв между тем как «обычно» проводится работа по категоризации (никак, наивно, на основании субъективных представлений, пусть даже основанных на вычитанном не из самых плохих книжек - все равно оторвано от реальности на 99%), и как ее «заставляет», научает выполнять онтологическая инженерия – просто невыразим.

Особенно интересно. когда пытаешься смоделировать не какую то предметную область в которой много прямых индивидов – есть что потрогать, а какую нибудь разработку программного обеспечения 👋

Одни категории категории категорий в категории категорий.

Тут где то будет, как я уже говорил – абстрактный объект, но пока он не вводится. Возможно с ним будет повыразительнее получаться.