fabio-rovai/open-ontologies

Что это?

Ключевые возможности

• 01Планирует изменения онтологии: показывает добавленные и удалённые классы, радиус воздействия и оценку риска до применения изменений.
• 02Показывает новые следствия изменений, которые не видны в текстовом diff.
• 03Создаёт сертификаты доказательств, которые проверяющий компонент на Lean 4 повторно проверяет без движка и подключения к сети.
• 04Отклоняет поддельные выводы и указывает правило, не прошедшее проверку.
• 05Проверяет данные по SHACL и выполняет запросы к RDF с помощью SPARQL 1.1.
• 06Загружает данные из CSV, JSON, XML, YAML, XLSX, Parquet, PostgreSQL и DuckDB в RDF.

Сценарии использования

• Проверка изменений в production-онтологии до их выпуска.
• Передача аудитору сертификата, который он сможет повторно проверить через несколько месяцев без установки программы.
• Подключение AI-ассистента вроде Claude или Cursor к инструментам для работы с онтологиями через MCP.
• Преобразование табличных или реляционных данных в RDF для семантической интеграции.

Быстрый старт

1. 1

   Собрать бинарный файл Rust из репозитория

2. 2

   Собрать проверяющий модуль Lean 4

   cd lean && lake build
3. 3

   Загрузить небольшую онтологию и выполнить RDFS-вывод с сертификатом

   open-ontologies --data-dir /tmp/oo-demo/store reason --profile rdfs --certificate ./cert

Что важно знать

• !В README нет команды установки через менеджер пакетов, поэтому настройка требует ручной сборки.
• !Как указано в самом README, ответы о невыполнимости не гарантируются.
• !Для полноценного использования нужно отдельно запустить проверяющий модуль Lean 4, что требует дополнительной настройки.

Темы

Частые вопросы

Что такое open-ontologies?

Rust-движок для планирования, применения и сертификации изменений OWL/RDF-онтологий с отчётами о радиусе воздействия и проверяемыми доказательствами выводов в Lean 4. Open Ontologies — это консольная утилита на Rust и MCP-сервер для работы с онтологиями OWL и RDFS. Перед выпуском изменений в production инструмент строит семантический план: показывает добавленные и удалённые классы, затронутые триплеты, оценку риска и новые следствия, которые повлечёт изменение. Текстовый diff не отображает такие следствия, поэтому план помогает выявлять изменения, которые выглядят корректно построчно, но приводят к появлению дополнительных фактов.

open-ontologies можно использовать бесплатно? Какая у него лицензия?

open-ontologies распространяется с открытым исходным кодом под лицензией MIT. Перед использованием в коммерческих продуктах проверьте условия лицензии.

open-ontologies всё ещё поддерживается?

Активно поддерживается. Последний коммит в open-ontologies — 17 окт. 2026 г..

Для чего можно использовать open-ontologies?

Проверка изменений в production-онтологии до их выпуска. Передача аудитору сертификата, который он сможет повторно проверить через несколько месяцев без установки программы. Подключение AI-ассистента вроде Claude или Cursor к инструментам для работы с онтологиями через MCP. Преобразование табличных или реляционных данных в RDF для семантической интеграции.

Как установить open-ontologies?

Собрать бинарный файл Rust из репозитория Собрать проверяющий модуль Lean 4: cd lean && lake build Загрузить небольшую онтологию и выполнить RDFS-вывод с сертификатом: open-ontologies --data-dir /tmp/oo-demo/store reason --profile rdfs --certificate ./cert

Где скачать open-ontologies?

Исходный код и инструкции по установке — на GitHub: https://github.com/fabio-rovai/open-ontologies