Migration: v0.12 → v0.13¶

v0.13 is the OntoUI platform + engine hardening release: shared WorkspaceStore with cross-webview focus relay, schema browser, Horned-OWL SQL axiom tables, PR summary diff, configurable diagnostics, and LSP semantic tokens.

Highlights¶

Feature	Notes
WorkspaceStore + focus relay	Explorer, Inspector, Graph, Query panels sync via extension-host relay
Schema browser	Query Workbench sidebar from `ontocore/listSqlSchema`
SQL axiom tables	`restrictions`, `equivalent_class_axioms`, `disjoint_class_axioms`, `domain_axioms`, `range_axioms`
`ontocore diff --pr-summary`	PR-ready Markdown summary
Diagnostics config	`.ontocore/diagnostics.toml` per-rule enable/severity
Semantic tokens	Turtle (`.ttl`) and OBO (`.obo`) in LSP
Docs export	Class hierarchy + property index sections in `ontocore docs`

Rust library users¶

ontocore = "0.13"
ontocore-diagnostics = "0.13"
ontocore-query = "0.13"

New exports:

use ontocore_diagnostics::{DiagnosticConfig, find_config};
use ontocore_query::list_sql_schema;
use ontocore_diff::format_diff_pr_summary;

CLI¶

# PR summary for merge requests
ontocore diff main --pr-summary

# Query new axiom tables
ontocore query ./ontologies "SELECT * FROM domain_axioms"

Diagnostics configuration¶

Create .ontocore/diagnostics.toml at workspace root:

[rules.missing_label]
enabled = false

[rules.broken_import]
severity = "error"

VS Code: ontocode.diagnostics.rules mirrors the same shape (file config takes precedence when present).

LSP¶

ontocore/listSqlSchema — table/column metadata for Query Workbench
ontocore/semanticDiff — optional format: "pr-summary" returns formatted Markdown
textDocument/semanticTokens/full — Turtle and OBO token types: namespace, iri, keyword, comment, string

VS Code / Cursor extension¶

Webviews use HostContext + Zustand WorkspaceStore
Explorer entity clicks broadcast focus to open panels
Design tokens (--oc-*) generated from docs/ui/DESIGN_TOKENS.json

Breaking changes¶

Webview postMessage adds focusState, setFocus, reasoningState — extension and webview-ui ship together
SQL virtual tables added (non-breaking for existing queries)