Skip to content

Known limitations

Latest tagged release: v0.27.0. Pin CI to a tagged version from GitHub Releases or crates.io — see What ships today and Versions & channels. Not a full Protégé replacement today — coexistence and pilot workflows are the supported path until 1.0.

Honest limits for evaluators and new users.

Editable formats

Can edit (write-back) Index / browse / query only
Turtle (.ttl) JSON-LD, N-Triples, N-Quads, TriG
OBO (.obo)
RDF/XML (.rdf, .owl)
OWL/XML (.owx)

Entity Inspector and patch write-back apply to .ttl, .obo, .owl/.rdf, and .owx. XML write-back is semantic re-serialize (ADR-0021), not byte-identical to Protégé. See Supported formats and OWL/XML workflow.

Axiom annotations on XML match named entities (axiom_op + subject_iri + optional related_iri); complex class-expression identity is not fully covered. See patch-reference.

Catalog SQL (subset)

strixonomy query and Query Workbench SQL mode are not full SQL. Supported: single-table SELECT, limited WHERE (=, !=, AND, OR, booleans). No JOIN, GROUP BY, ORDER BY, or LIMIT. Prefer SPARQL for graph patterns. Details: SQL reference.

CLI binaries

Platform Prebuilt CLI tarball Recommended install
Linux x64 Yes (GitHub Releases) Tarball or cargo install strixonomy-cli --locked
macOS No cargo install strixonomy-cli --locked (Rust 1.88+; first build 15–30+ min)
Windows No cargo install strixonomy-cli --locked

Interactive editing does not need the CLI — use the VS Code / Cursor extension (bundled language server on all platforms).

Plugins and owlmake

Plugin SDK 1.0 freezes the TOML + subprocess JSON wire (api_version = "1") — safe to author against today. A curated marketplace, commercial support, and production owlmake workflow integration remain product 1.0 goals. See Plugin authoring and Plugin policy.

API stability (pre-1.0)

Published crates are 0.27.x. Library APIs, LSP JSON, and SQL table columns may change between minor releases until v1.0. Pin in CI: cargo install strixonomy-cli --locked --version 0.27.0.

Reasoning

EL / RL / RDFS / DL classification ships via Ontologos 1.x (crates pinned in the workspace). Explanations are DL-first for the DL profile (with EL/RL/RDFS alternatives). Realization and instance checking ship in v0.23. DL Query (Workbench DL mode, strixonomy dl-query, LSP strixonomy/dlQuery) ships in v0.24. Stop sets an engine cancel flag and ignores late results. See Reasoner guide and DL Query.

Refactoring

Rename / merge / replace apply to Turtle, RDF/XML (.owl/.rdf), OWL/XML (.owx), and OBO (semantic re-serialize for XML — ADR-0021; OBO id/reference rewrite). Move entity/axioms, module extract, and ontology merge / flatten / cleanup imports remain Turtle-first (non-Turtle files skipped with warnings). See What ships today and v0.24 migration.

Layout persistence

Webview tabs survive VS Code reload. Restored tabs offer Reopen panel using the last saved command + context. Full Protégé-style dock/layout serialization remains a v1.0 IDE-shell item. Named perspectives open a fixed panel set.

Large ontologies

Graphs may be truncated (badge in the Graph panel). Prefer narrower search, lower neighborhood depth, or asserted-only mode. See workspace limits.

When not to use Strixonomy today

  • You need byte-identical OWL/XML or RDF/XML that matches Protégé layout — Strixonomy re-serializes for semantic fidelity (ADR-0021); use Protégé when layout identity matters.
  • You need JSON-LD / TriG / N-Triples write-back — still read-only; use Turtle or convert.
  • You need move / extract / ontology-merge refactor on non-Turtle files — those operations stay Turtle-first (rename/merge/replace already multi-format). See v0.24 migration.
  • You need full SQL analytics — use SPARQL or an external store.
  • You need a curated plugin marketplace or production owlmake without accepting the subprocess SDK — wait for product 1.0 or keep Protégé plugins — Plugin policy (wire contract is already frozen as SDK 1.0).
  • You need WebProtégé collaboration — out of scope until post-1.0.
  • You need HermiT-identical DL explanations or certified Protégé+HermiT equivalence — dual-tool checks remain recommended for critical audits.

More: First success (~10 min) · Protégé migration · Protégé decision · FAQ