Skip to content

Strixonomy feature tour (current: v0.27)

A visual and structural overview of the Strixonomy VS Code IDE. For hands-on setup, start with First success (~10 min).

Capability truth: What ships today · Known limitations · What's new in v0.26.

Explorer and Entity Inspector

Activity bar and explorer

The Strixonomy activity bar hosts five tree views:

View Purpose
Ontologies Indexed files, formats, parse status
Classes Class hierarchy (asserted, or inferred/combined after reasoner)
Properties Object, data, and annotation properties
Individuals Named individuals
Diagnostics Lint summaries grouped by severity

Typical flow: expand Classes → click an entity name → Entity Inspector opens on the right. With Inspector and Graph panels open, the same entity stays in sync (focus relay).

Protégé-style shell (menus, perspectives, layout)

v0.17+ adds a Protégé-inspired command surface without leaving VS Code:

Feature What you get
Menus & dialogs New Ontology, Prefix Manager, Metrics, About, and related commands
Named perspectives Switch or save panel layouts (Modeling / Reasoning / Review)
Layout persistence Panels reopen with context after reload (v0.18)

Guide: VS Code extension · What's new in v0.17

Entity Inspector (React)

The inspector shows IRI, kind, labels, comments, parents, children, and axioms. For .ttl and .obo files, the Edit section supports labels, parents, delete, and Manchester axioms.

Write-back formats

Turtle (.ttl), OBO (.obo), RDF/XML (.owl/.rdf), and OWL/XML (.owx) support write-back. JSON-LD and line-oriented RDF are read-only. XML is semantic re-serialize — OWL/XML write-back.

Guide: Inspector · Authoring

Query Workbench (React)

Query Workbench

Command Palette → Strixonomy: Open Query Workbench

  • Catalog SQL (subset) — virtual tables (classes, properties, diagnostics, …). Not full SQL — no JOIN / ORDER BY / LIMIT. Prefer SPARQL for graph patterns.
  • SPARQL mode — graph patterns over indexed triples
  • DL mode — Manchester class expressions (Instances / Subclasses / Superclasses / Equivalents); shipped v0.24+ — DL Query honesty
  • Schema browser — browse tables/columns; insert names into the editor
  • Export results to CSV or JSON; history and saved queries; Open as graph for result visualization (v0.26)

Guide: Query Workbench · SQL reference · DL Query

Manchester editor (React)

Opened from the inspector or Command Palette for complex SubClassOf, EquivalentClasses, and DisjointClasses axioms. Validates Manchester syntax, previews Turtle, then applies to the .ttl file.

Guide: Manchester editor

Graph panels (React)

Command / kind Graph
Open Class Graph Subclass neighborhood around a class
Open Property Graph Property domain/range neighborhood
Object / data property graphs Dedicated property graphs (v0.26)
Individual / dependency / query-result / refactor-preview Additional graph kinds (v0.26)
Open Import Graph Ontology import dependencies
Open Neighborhood Graph Mixed entity neighborhood

Click nodes to jump back to the Entity Inspector. Use filters, search dimming, keyboard nav, and Graph|List alternate. Export graph JSON/CSV from the sidebar; Expand refreshes depth for large neighborhoods.

Guide: Graph view

Reasoner and explanation

Reasoner panel

Panel Purpose
Reasoner Profile, consistency, unsatisfiable classes, inferred changes, warnings
Explanation DL-first justification on the DL profile; EL/RL/RDFS alternatives where supported (after reasoner run)

Reasoner actions (v0.18): distinct Start, Synchronize, Classify, and Consistency commands. Stop cancels the in-flight client LSP request (late server results are ignored). Explanations show a stale badge when the catalog fingerprint changes while the panel stays open.

After classification, use Set Hierarchy Mode (asserted / inferred / combined) to update the Classes tree.

Guide: Reasoner · What's new in v0.18

Refactor preview and semantic diff (React)

Semantic Diff

Panel Purpose
Refactor Preview Diff before rename, migrate, move, or extract module
Semantic Diff Compare versions, refs, or workspace snapshots — axiom-level changes and breaking-change flags

Guides: Refactoring · Semantic diff

Manage Imports

Right-click a .ttl file in OntologiesManage Imports to add or remove owl:imports declarations with preview and apply.

Guide: Manage Imports

Plugins and preferences

Installed workspace plugins can contribute inspector cards, UI views, preferences, and context actions (Plugin SDK 1.0). Open plugin views from the Command Palette; preferences appear in the Strixonomy preferences hub. Provider pickers cover reasoner / query / refactor / graph actions.

Guide: Plugins · Plugin policy

Turtle semantic highlighting and diagnostics

In .ttl and .obo editors:

  • Semantic tokens — namespaces, IRIs, keywords, comments
  • Configurable diagnostics.strixonomy/diagnostics.toml or strixonomy.diagnostics.rules

Turtle completion and quick fixes

In .ttl editors:

  • Completion on :, <, @ — prefixes, QNames, catalog IRIs
  • Quick fixes (lightbulb) for undefined prefix, missing label, and broken import diagnostics

Guide: Authoring · LSP API

Editor integration

Open any supported ontology file (.ttl, .owl, .obo, …) for hover, go to definition, outline, workspace symbols, and Problems-panel diagnostics.

Settings worth knowing

Setting Default Notes
strixonomy.lspPath empty Override bundled strixonomy-lsp (trusted workspaces only)
strixonomy.hierarchy.mode asserted Switch after reasoner for inferred tree
strixonomy.reasoner.default el Default profile for Run Reasoner
strixonomy.indexCache false Optional .strixonomy/cache/ disk index
strixonomy.diagnostics.rules {} Per-rule enable/severity

Full list: Install VS Code

Next steps

Goal Document
Complete the tutorial First success
From Protégé Migrating from Protégé
CLI / CI without VS Code Strixonomy overview
Limits Known limitations