SciLib Ontology v1.0

Модульная онтология научного знания. Строго разделяет три уровня описания объекта: интерпретация (что значит), представление (как выражено), ресурс (где хранится). Доменное наполнение — математика (660+ подклассов), материализация — над Mathlib.

SciLib Ontology — формальная онтология научного знания, разработанная в лаборатории. Главный архитектурный принцип — строгое трёхуровневое разделение семантики любого научного объекта:

Интерпретация (Interpretation) — что объект значит, абстрактный смысл, независимый от формы выражения.
Представление (Representation) — в какой форме выражен: формальная (Lean4), текстовая (EN/RU), визуальная (LaTeX, изображение).
Ресурс (Resource) — где и как хранится: файл, запись в БД, узел графа, поле в индексе.

Это разделение реализует принцип инвариантности к адресату: одно и то же знание одинаково доступно человеку и программе, без смешения семантики с техническими деталями реализации. Онтология — модульная: новые предметные области, представления и вычислительные компоненты добавляются без изменения базовых семантических инвариантов.

Доменное наполнение — математика

Описание предметной области получено извлечением таксономии из номенклатуры Mathlib. Интерпретация компонент номенклатуры — автоматизированная (LLM с локальным контекстом и иерархией). Получено 660+ подклассов класса Domain, каждый с аннотацией.

Связь с другими уровнями SciLib

Граф знаний MathLib RDF — материализация TBox-онтологии над корпусом Mathlib (213 000 утверждений, типизированные рёбра).
Векторное пространство SciLibModal — построено как семантический контракт: формальные сущности и их эмбеддинги ссылаются на одни и те же идентификаторы.

Доступ

SPARQL endpoint GraphDB (внутренний); MCP-tools ontology_overview, explore_class, search_ontology, sparql_query — публичные. Полный TTL — по запросу.

Схема онтологии SciLib: три уровня описания и связи между ними.