АрхиГраф becomes ArchiGraph

[serge_gorshkov]

Мы запустили международный сайт платформы АрхиГраф: https://archigraph.pro
На сайте доступна документация на наши продукты на английском языке, английская версия брошюры "Корпоративные автоматизированные системы на основе онтологических моделей: книга рецептов", а также демо-версия платформы.

Comments

[neevklid]

Сергей, добрый день.
Можно задать вам здесь практико-теоретический вопрос насчёт онтологического моделирования?

[serge_gorshkov]

Добрый день, думаю можно.

[neevklid]

Спасибо.
Есть ли общий подход, каким образом в онтологию добавляются индивиды, необходимость существования которых логически выводится?
Например, есть предмет класса "коробка". Есть факт, что она тяжёлая. Очевидно, могут быть сформулированы правила, по которым в коробке с необходимостью содержится какой-то пока неизвестный предмет, имеющий некоторые известные свойства (как минимум масса и размер), надо его добавить в онтологию.
Или другой пример, есть человек, который в момент Т1 был в Америке, в более поздний момент Т2 был в Европе; следовательно, с необходимостью имеется определённый процесс перемещения, в котором также с необходимостью задействован какой-то определённый самолёт, и то и другое также надо автоматически добавить в онтологию.
Где должны храниться и какими средствами формулироваться правила такого рода?

[serge_gorshkov]

Для добавления в онтологию выведенных фактов используются правила логического вывода. Есть несколько синтаксисов и соответствующих им движков исполнения правил (reasoner'ов). Раньше использовались SWRL и SPIN, последняя по времени спецификация - SHACL. Там в разделе Advanced Features описаны SHACL Rules, это правила нужного типа.

SHACL-правила хранятся в самой онтологии, т.е. представляют собой индивиды классов, определенных в спецификации SHACL. По содержанию они представляют собой SPARQL-запрос вида CONSTRUCT { ... } WHERE { ... }, т.е. достраивают часть графа, когда "видят" определенный паттерн в нем. Правила привязываются к определенным классам онтологии и применяются, когда какой-либо объект этих классов изменяется.

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