OntoExplorer

Автоматический логический анализ моделей предметных областей представленных на языке веб-онтологий (OWL)

Специалисты Московского государственного университета геодезии и картографии» (МИИГАиК) создали программное обеспечение «OntoExplorer», позволяющее визуализировать и подвергать автоматическому логическому анализу любые модели предметных областей, представленные на языке веб-онтологий (OWL). Программа «OntoExplorer» может помочь специалистам в различных областях знания формализовывать семантические модели, создавать на их основе единую согласованную онтологическую модель знаний и выявлять скрытые (неявные) знания об объектах моделирования. Основными функциями разработанной программы являются логический анализ исходной онтологии с помощью машины умозаключений FaCT++ , визуальное представление иерархий классов, свойств классов и свойств данных, как на основе исходной онтологии, так и на основе результатов логического вывода FaCT++, визуализацию синонимов, а также ограничений, сформированных на основе свойств классов и данных, для любого выбранного класса. Программа «OntoExplorer» может функционировать как самостоятельное программное обеспечение или быть использована в качестве подключаемого модуля к другим программам, использующим онтологии, записанные на языке OWL. Программное обеспечение получило свидетельство о государственной регистрации №2018611287. Разработка программного обеспечения выполнялась при грантовой поддержке Советом по грантам Президента Российской Федерации проекта «Разработка мультифрактального подхода к многомасштабному преставлению картографических моделей в рамках мультиагентной парадигмы».