Skip to content

Migration: v0.22.0 → v0.23.0

Status: Applies when upgrading from v0.22.0 to tagged v0.23.0.

Summary

v0.23.0 ships reasoning parity + SWRL (EPIC-004 / EPIC-005; PAR-RSN-002, PAR-RSN-003, PAR-SWRL-001): ABox realization and instance checking, richer consistency, native DL explanations, engine-level cancel, and a SWRL authoring/validation path with DLSafe execution via Ontologos.

What changed for editors

  • Reasoner panel shows ABox clashes and individual realization when present on the snapshot
  • Explanation panel prefers DL-native steps for DL profile unsatisfiability
  • Stop Reasoner requests engine cancel (Ontologos cancel flag), not only client discard
  • New Rule Browser / Rule Editor commands for SWRL rules stored as ontocore:swrlRule JSON on the ontology
  • Classify may materialize SWRL rules before DL/Auto taxonomy when rules are present

New CLI / LSP

Surface Detail
CLI ontocore realize, ontocore check-instance
LSP ontocore/checkInstance, ontocore/listSwrlRules, ontocore/validateSwrlRule, ontocore/parseSwrlRule
Patch add_swrl_rule / remove_swrl_rule / replace_swrl_rule

What did not change

  • JSON-LD / TriG / N-Triples remain read-only
  • DL Query and SWRL-aware refactor shipped in v0.24 — see Migration v0.24
  • XML remains semantic re-serialize (ADR-0021)

Upgrade steps

  1. Bump OntoCode extension and ontocore CLI to 0.23.0
  2. Re-index open workspaces after upgrade
  3. Review Known limitations for SWRL built-in / DLSafe coverage