fabio-rovai/open-ontologies
Developer toolsЭта страница переведена автоматически. Технические детали смотрите в оригинале. Открыть оригинал
Онтологический движок, нативный для ИИ: сервер Rust MCP с инструментами для построения, валидации, запросов и рассуждений по онтологиям RDF/OWL.
Обзор
Terraforming MCP для графов знаний Валидируют, классифицируют и управляют онтологиями, сгенерированными ИИ. Написано на Rust. Отправляется как единый бинарный файл. Быстрый старт · Студия · Бенчмарки · IES · Инструменты · Расширение · Архитектура · Документация Open Ontologies — это и для инженерии онтологий, нативных на основе искусственного интеллекта. Она позволяет Claude создавать, проверять, запрашивать, различать, линтировать, версий, рассуждать, выравнивать, планировать, сертифицировать и управлять онтологиями RDF/OWL с помощью встроенного в памяти тройного хранилища Oxigraph — с полным трёхслойным архитектурой Dynamics → Causal → Planner, рынком из 33 стандартных онтологий, клиническими переходами, семантическими вложениями и полным аудитом линии родословной. Движок охватывает визуальную рабочую среду: виртуализированное дерево онтологий с иерархическими линиями, навигацией по хлебным крахам и исследователем соединений; панель чата ИИ с командами /build (уровень IES) и /sketch (быстрый прототип); инспектор свойств в стиле протеже; и просмотрщик родословных. Полный стек плюс 13 новых примитивов.
Обзор (машинный перевод)
Открытые онтологии
Планируйте изменение в производственной онтологии. Смотрите все последствия перед применением.
Затем дайте рецензенту доказательство, что он может проверить вас без доверия.
Open Ontologies написана на Rust. Она выпускается как один бинарный файл.
Английский · 简体中文
Введите одну таблицу. Получите одну онтологию с доказательствами по каждой строке. Потом измените одну Ячейка, и посмотри форму, найди ошибку. Страница запускает освобождённый бинарный файл.
Искать корпоративную поддержку? tesseractsemantics.com Движок — это MIT, и он остаётся MIT. Платформа — это хостированная версия движка.
426 заявлено, 259 сертифицировано, 1 отклонено. Локомотив получил зелёные края. Lean 4 Затем Checker подтвердил их. Один сертификат содержит все 259, и один пробег checker его принимает. Красное край — это ковая линия. Та же шашка отказалась от этой линии, указала выход 1 и назвала правило. Пробег показывает каждый счёт. Никто не записывает счёт в подпись.
Одна и та же техника, на файле из другой группы, два раза. HQDM отправляется в виде двух файлов.
hqdmTop/hqdmFramework публикует RDFS-файл.
Эта страница переведена автоматически. Технические детали смотрите в оригинале.
README
Показан фрагмент оригинального README. Открыть оригинал.
Open Ontologies
Plan a change to a production ontology. See every consequence before you apply it. Then give the reviewer a proof that they can check without trust in you. Open Ontologies is written in Rust. It ships as one binary.
English · 简体中文
Put in one spreadsheet. Get one ontology, with the evidence for each line. Then change one cell, and see the shape find the error. The page runs the released binary.
Look for enterprise support? tesseractsemantics.com The engine is MIT, and it stays MIT. The platform is the hosted version of the engine.
Установка
This server does not publish a one-line install command.
Open the repository installation guide Новичок в MCP? Начните с руководства на mcpskill.org →Конфигурация
{
"mcpServers": {
"open-ontologies": {
"command": "/path/to/open-ontologies",
"args": ["serve"]
}
}
}