Migrate from v0.4.x to v0.5.0

Breaking: CLI classify semantics

v0.4	v0.5
ontologos classify always ran RDFS materialization	ontologos classify routes by --profile (default auto)
No --profile flag	--profile el\|rl\|rdfs\|auto

Migration:

• For RDFS only: use ontologos materialize or ontologos classify --profile rdfs.
• For OWL EL taxonomy: ontologos classify --profile el.
• For OWL RL saturation: ontologos classify --profile rl or ontologos classify --profile auto on RL corpora.

JSON output for EL classification uses subsumptions / equivalences / unsatisfiable instead of inferred_by_rule.

New crates

• ontologos-el — EL completion classifier (ElClassifier, Taxonomy)
• ontologos-query — query API over classified taxonomies

Add to Cargo.toml:

ontologos-el = "0.5.0"
ontologos-query = "0.5.0"

Python

• profile="el" and profile="auto" are implemented (no longer raise NotImplemented).
• classify() returns a taxonomy dict for EL or a materialization summary for RDFS/RL.
• Reasoner.taxonomy property holds the last EL taxonomy.

Parser

SubClassOf(C, ObjectIntersectionOf(...)) is decomposed into multiple SubClassOf / SubClassOfExistential axioms for EL input.

Unchanged

• ontologos materialize — explicit RDFS path
• ontologos_rdfs::RdfsEngine and ontologos_rl::RlEngine library APIs
• Core Reasoner::classify() still returns delegate hints; use ontologos_el::classify_with_profile or engine-specific classify_reasoner helpers