Закладки с меткой язык / семантика / логика

Семантическое программирование понимается как универсальный
подход — формализм, настраиваемый на конкретные предметные области

Михаил Захарьящев, Станислав Кикоть. О дескрипционных логиках, их связи с модальными логиками и языком семантической паутины OWL. Система Онтоп. Онтологический доступ к временным (в частности, потоковым) данным и соответствующим фрагментам различных временных логик.

Андрей Манцивода. Системы интеллектуальной информационной поддержки образовательного процесса, включая систему создания баз знаний «Мета-2» и систему управления логическими объектными моделями OntoBox. Язык программирования Libretto как ядро платформы Libretto Cloud, реализующей модель PaaS.