Skip to content

Migrate from v0.7.x to v0.8.0

v0.8.0 adds incremental reasoning behind ReasonerConfig::incremental (default false).

Bump versions

ontologos-core = "0.8.0"
ontologos-bridge = "0.8.0"
ontologos-parser = "0.8.0"
ontologos-profile = "0.8.0"
ontologos-rdfs = "0.8.0"
ontologos-rl = "0.8.0"
ontologos-el = "0.8.0"
ontologos-query = "0.8.0"
ontologos-explain = "0.8.0"

Python: pip install ontologos==0.8.0

New APIs

API Purpose
Ontology::remove_axiom Tombstone axioms; marks dirty
Ontology::revision / dirty / clear_dirty Edit tracking
Reasoner::session_mut / set_session Profile session state
ReasonerConfig::incremental Enable delta classify/materialize
ontologos-watch (workspace) File reload hook for Ontocode

Behavior

  • incremental: false (default): identical batch behavior to v0.7.
  • incremental: true: first run is full; subsequent add_axiom edits use incremental engines.

CLI

--incremental enables session mode on the in-process reasoner. A single classify/materialize invocation still performs one pass; incremental benefit requires editing the ontology in a library loop (or future CLI --watch in v1.2).

# Flag accepted; use Rust session API for multi-pass incremental workflows today
ontologos classify --incremental --profile el pizza.owl

See also