Языки семантического и объектно-реляционного моделирования и фундаментальные онтологии для бизнеса (А.Колонин)

Языки семантического и объектно-реляционного моделирования и фундаментальные онтологии для бизнеса

Языки семантического и объектно-реляционного моделирования и фундаментальные онтологии для бизнеса - доклад Антона Колонина

Анонс: https://leader-id.ru/event/42678/
Слайды: http://aigents.com/papers/2019/ontologies-language-aigents-2019.pdf
Публикации:
http://aigents.com/papers/2015/Distributed-and-social-evidence-based-Kolonin-KESW-2015.pdf
https://link.springer.com/chapter/10.1007/978-3-319-24543-0_23
http://aigents.com/papers/Agent-Belief-Kolonin-2015.pdf
http://aigents.com/papers/2015/ZONT-2015-Agent-Watching-Kolonin.pdf
http://aigents.com/papers/2015/ZONT-2015-Agent-Language-Kolonin.pdf

Предыстория:

В 1997-1998 годах мы с Леонидом Кузиным (ушедшим ныне от нас, к сожалению), Артемом Осиповым и рядом других коллег вели работы по созданию Языка Объектно-Реляционного Моделирования для Бизнеса для одной из крупнейших в те годы в России фин-тех компаний. В ходе проекта были разработаны спецификация языка ORL (Object Relational Language), движок по его исполнению, включая "проигрывание" экранных форм и формирование отчетов, а также маппинг в реляционную СУБД и исполнение децентрализованных бизнес-приложений (привет блокчейну из прошлого века!) с использованием самого языка как протокола высокого уровня поверх DCOM и TCP/IP.  Проект был закрыт в связи с кризисом и рядом субъективных факторов, но - остались спецификации: http://webstructor.net/docs/orl/rus/index.html
Основные моменты отражены на 7-10 слайдах: http://aigents.com/papers/2019/ontologies-language-aigents-2019.pdf

Созданный язык на основе ORL был "повторно использован" в 1999-2005 годах в нескольких других проектах, включая Webstructor: http://webstructor.net/docs/orl/index.html где язык был использован как для хранения моделей знаний, так и в качестве высоко-уровнего протокола для системы  распределенного управления знаниями (привет блокчейну из "нулевых"!): http://webstructor.net/docs/language.html
Основные выводы - на 11-15 слайдах: http://aigents.com/papers/2019/ontologies-language-aigents-2019.pdf

Эти результаты были доложены на конференции KESW-2015 в Москве: A. Kolonin, "Distributed Knowledge Engineering and Evidence-based Knowledge Representation in Multi-agent Systems", Knowledge Engineering and Semantic Web, 6th International Conference Proceedings, ISSN 1865-0929, Moscow, Russia, 2015, pp.291-300 со слайдами: http://aigents.com/papers/2015/Distributed-and-social-evidence-based-Kolonin-KESW-2015-slides.pdf

На сегодняшний день, у меня есть гипотеза, что на практике, все-таки заставить аналитиков, бизнес-аналитиков и специалистов в роли "product manager" писать спецификации на ORL или D0SL очень трудно, поэтому им нужно давать писать спецификации все таки на естественном языке, но - "контролируемом есесственном языке", с регламентированным словарем и набором грамматических конструкций. Аналог такого языка - ACL (Air Control Language) - диалект английского, который используют авиадиспетчеры и пилоты в своей повседневной работе - где неоднозначность недопустима.

По аналогии, в недавнем разговоре с Артемом Осиповым я предложил использовать аббревиатуру BCL (Business Control Lanuage) для специфицирования формальных и машинно-исполнимых бизнес-требований на языке, "максимально близком к естественному" (привет Коболу, если кто помнит!).

А изначально, подобные идеи возникли в ходе аутсорсинговго проекта для американцев в 1993 году, где методом формального анализа исходников на Коболе и транзакционных логов SQL в системах масштаба предприятия делались попытки (частично успешные) построить вычислительную модель самого бизнес-предприятия, включающую его бизнес логику.

-Антон Колонин

Наши спонсоры: https://aigents.com/ https://ai-cluster.ru/