Научно-исследовательские и опытно-конструкторские работы
Компания "ТриниДата" выполняет научно-исследовательские (НИР), опытно-конструкторские (НИОКР) работы по темам:- создание онтологических моделей,
- концептуальное моделирование,
- обработка больших данных,
- системы поддержки принятия решений,
- имитационное моделирование,
- искусственный интеллект на основе логических вычислений, и др.
Предлагаем ознакомиться со списком наших публикаций и интеллектуальной собственности по перечисленным темам, а также перечнем некоторых из выполненных нами работ. Большое количество статей по моделированию и использованию моделей можно найти также в нашем блоге.
Обучение концептуальному и онтологическому моделированию
Для обучения наших клиентов и партнеров моделированию и практическому использованию моделей мы разработали методическое пособие "Введение в онтологическое моделирование".
Также нами разработан курс семинаров по обучению концептуальному и информационному моделированию, который мы предлагаем нашим корпоративным заказчикам, заинтересованным в развитии культуры работы с информацией. Программа этого курса представлена ниже (может варьироваться в соответствии с нуждами заказчика).
Программа семинара
"Концептуальное и онтологическое моделирование предметных областей"
I. Предмет и методы концептуального моделирования.
Что такое концептуальное моделирование? Логическое мышление и восприятие. Концептуализация знаний. Как построить правильную модель? Процесс построения простых дескриптивных моделей. Точки зрения. Составление дескриптивных моделей на основе описания предметной области.
II. От концептуальной модели к информационной: представление концептуальных моделей в электронной форме. Онтологии.
Строительные блоки концептуальных моделей. Представление информации в виде графа. Стандарты RDF, RDFS, OWL. Стек ИТ для работы с онтологиями. Идентификаторы сущностей. Классификация сущностей. Проектирование классификаторов и кодификаторов. Простые отношения между классами и индивидами. Наследование и специализация свойств. Простейшая автоматизация получения логических выводов. Особые виды свойств: транзитивные, инверсивные и др. Цепочки свойств.
III. Практикум по проектированию и технической реализации информационной модели (на примере моделирования социальной среды или задач мониторинга безопасности).
IV. Логические вычисления в онтологических информационных моделях.
Аксиомы о классах. Классификация на основе значений свойств. Кванторы существования и всеобщности. Ограничения на обладателей и диапазоны значения свойств. Пустые узлы и сколемизация. Аннотирование элементов онтологии. Правила логического вывода SWRL, SPIN, SHACL.
V. Паттерны концептуального моделирования и их представление в онтологиях.
Логическая парадигма моделирования, отличия от ООП. Принципы выделения сущностей, определения их границ. Исчисляемые и неисчисляемые сущности. Способы выражения отношений: реификация. Моделирование состояний и событий. 4D-моделирование: время в модели. Эволюция моделируемой системы. Моделирование процессов. Моделирование разных точек зрения.
VI. Прикладное использование онтологических моделей.
Моделирование и использование нормативно-справочной информации и мастер-данных. Системы поддержки принятия решений. Системы управления знаниями. Имитационное моделирование, роевой интеллект. Прикладное ПО, управляемое со стороны модели.
VII. Практикум по выполнению логических вычислений на онтологической модели.
Продолжительность семинара - 16 академических часов, два учебных дня.