ontocore-plugin-shacl

SHACL validator plugin for OntoCore (rudof adapter)


Licenses
MIT/Apache-2.0

Documentation

Strixonomy

Strixonomy lets ontology engineers browse, edit, query, reason on, and validate OWL/RDF/OBO files inside VS Code—with Git-friendly workflows and optional CI automation. It is a Protégé companion for teams that want editing in the editor, not a byte-identical Protégé replacement today.

Install the extension → First success (~10 min) (no Rust, no clone).

Current release: v0.28.1 · What ships today · Known limitations · Changelog · Docs

CLI install: use cargo install strixonomy-clinot strixonomy (library crate only).

CI License Docs VS Code Marketplace Open VSX crates.io

Strixonomy product tour

Start here

I want to… Start here
Edit ontologies in VS Code MarketplaceFirst success (~10 min)
CI / automation only Linux x64: release tarball → CI guide. macOS/Windows: Install CLI (cargo install 15–30+ min — not needed for the IDE)
Decide if it fits Known limitations · What ships today · Evaluate pack · Procurement appendix
Try examples Examples · repo examples/
Embed in Rust Rust library guide
Contribute CONTRIBUTING.md
Support Support

Full documentation: Read the Docs. You do not need to clone this repo to use the extension or installed CLI.

Names in 10 seconds
Name What it is
Strixonomy IDE VS Code / Cursor extension
Strixonomy engine Rust CLI (strixonomy), LSP, crates — install CLI with cargo install strixonomy-cli (not strixonomy)
Ontologos Bundled reasoner (not a separate install)

Details: Product identity. Writable formats and limits: Supported formats · Known limitations.

See it in action

Feature tour · First success (~10 min, no clone)

Explorer and Entity Inspector Query Workbench

Install

Install Command / link
VS Code extension Marketplace, Open VSX (Cursor), or GitHub Releases strixonomy-v0.28.1.vsix
CLI (Linux x64) Release tarball — full steps: CI integration
CLI (macOS/Windows) cargo install strixonomy-cli --locked --version 0.28.1 (Rust 1.88+; 15–30+ min cold) — Install CLI
Crates strixonomy on crates.io

Release CLI tarballs are Linux x64 only. Most IDE users never need the CLI — the extension bundles strixonomy-lsp.

Writable formats: .ttl, .obo, .owl/.rdf, .owx (XML = semantic re-serialize). JSON-LD / N-Triples / TriG are read-only — Supported formats. Evaluators: SHIPPED is capability truth; docs/protege-parity/ is engineering notes only.

Quick start

VS Code: Install Strixonomy → open a folder of .ttl / .obo / .owl / .rdf / .owx (editable) or JSON-LD / TriG / N-Triples (browse/query only) → click the Strixonomy activity bar. Edit in the Entity Inspector. XML write-back is semantic re-serialize — see OWL/XML and RDF/XML write-back and Supported formats.

Workspace Trust: The bundled language server works in Restricted Mode without trusting the folder. Trust the workspace only if you configured strixonomy.lspPath or strixonomy.robotPath.

CI / automation only (not required for the IDE):

  • Linux x64: CI integration — download tarball, verify checksums, run the versioned binary.
  • macOS/Windows or from source: Install CLI. Cold cargo install may take 15–30+ minutes (Rust 1.88+).
cargo install strixonomy-cli --locked --version 0.28.1
strixonomy validate /path/to/ontologies

From a clone (same smoke command everywhere):

git clone https://github.com/eddiethedean/strixonomy.git && cd strixonomy
cargo run -- validate fixtures

Architecture

┌──────────────────────────────────────────────────────────────┐
│  Strixonomy (VS Code) ──strixonomy-lsp──► Strixonomy (Rust engine) │
│  index · query · diagnostics · refactor · diff · CLI · LSP   │
└──────────────┬─────────────────────────────┬───────────────────┘
               ▼                             ▼
        ┌─────────────┐              ┌──────────────────┐
        │  Ontologos  │              │  Oxigraph /      │
        │  reasoning  │              │  Horned-OWL      │
        └─────────────┘              └──────────────────┘

Platform docs: Vision · Architecture · Roadmap hub · Protégé vs Strixonomy

v0.28.1 fixes Ontology Graph blank canvas on first open in VS Code webviews (#442). v0.28.0 removed OntoCore / OntoCode compatibility shims and reserved the official strixonomy PyPI package (Python SDK planned for v0.34). Protégé-aligned oracles, annotation linkification, catalog-v001.xml redirects, and IdPolicy shipped in v0.26.x. Not a Protégé replacement — see Known limitations. Engineering detail: SHIPPED, v0.28.1 migration, v0.28 migration.

Development

See CONTRIBUTING.md. Quick checks:

cargo test --workspace
cargo build -p strixonomy-lsp --bins
cd extension && npm ci && STRIXONOMY_LSP_BIN=../target/debug/strixonomy-lsp npm test
cd extension/webview-ui && npm ci && npm test
cargo fmt --all && cargo clippy --workspace --all-targets --all-features -- -D warnings

Full CI parity: ./scripts/run-ci-local.sh

License

MIT OR Apache-2.0. Third-party licenses: LICENSES. Security: security policy.