∇ Model · scilib-onto · v1.0
SciLib Ontology
Modular ontology of scientific knowledge. Strictly separates three levels of object description: interpretation (what it means), representation (how it is expressed), resource (where it is stored). Domain instantiation — mathematics (660+ subclasses), materialised over Mathlib.
SciLib Ontology is the lab's formal ontology of scientific knowledge. Its core principle is the strict three-level separation of any object's semantics:
- Interpretation — what the object means; abstract meaning independent of expression.
- Representation — the form: formal (Lean4), textual (EN/RU), visual (LaTeX, image).
- Resource — where and how it is stored: a file, a row, a graph node, an index entry.
This separation realizes addressee-invariance and modularity: new domains, representations and computational components can be added without changing the basic semantic invariants.
Mathematics domain
The domain description was extracted from the Mathlib nomenclature; interpretation of nomenclature components is LLM-assisted with local context. 660+ subclasses of Domain with annotations.
Connections inside SciLib
- MathLib RDF — TBox materialisation over the Mathlib corpus (213 000 statements, typed edges).
- SciLibModal vector space — a semantic contract: formal entities and their embeddings share identifiers.
Access
SPARQL endpoint on GraphDB (internal); MCP tools ontology_overview, explore_class, search_ontology, sparql_query are public. Full TTL available on request.
