Migration: v0.11 → v0.12¶
v0.12 is the Authoring parity release: full Turtle axiom patch coverage, OBO write-back, OWL/XML read-only catalog, DL explanations, and Protégé round-trip golden tests.
Highlights¶
| Feature | Notes |
|---|---|
| Turtle patch ops | Domain, range, characteristics, property chains, individual assertions, generic annotations |
| OBO write-back | ontocore-obo crate; LSP/CLI patch dispatch for .obo files |
| OWL/XML read | .owl RDF/XML and .owx indexed via Horned-OWL; inspector is read-only |
| DL explanations | Unsatisfiability justifications route through DL profile when applicable |
| Inspector UI | PreviewApplyBar on all edit actions; property chain editor |
Rust library users¶
ontocore = "0.12"
ontocore-obo = "0.12"
use ontocore::obo::{apply_patches, OboPatchOp};
use ontocore::owl::{apply_patches as apply_ttl, PatchOp};
CLI¶
# Turtle patches (unchanged JSON format, expanded op set)
ontocore patch ./ontology.ttl patches.json
# OBO patches (ADR-0019 ops)
ontocore patch ./terms.obo obo-patches.json
LSP¶
ontocore/applyAxiomPatchaccepts TurtlePatchOpJSON for.ttlandOboPatchOpJSON for.obo.owl/.owx/.rdfdocuments reject patch apply with a clear read-only errorgetEntityreturnsannotationsandcharacteristicsonEntityDetail
VS Code / Cursor extension¶
- Entity Inspector: domain/range/characteristics for properties, annotations table, OBO edit forms
- Read-only banner for OWL/XML formats with link to edit as Turtle or OBO
Breaking changes¶
- None for existing Turtle patch consumers; new ops are additive
- OBO patch JSON uses
term_id(OBO id) not entity IRI