Examples gallery¶

Copy-paste workflows for Rust and Python. Install pins use published v1.0.0 unless noted.

Workflow pages: DL evaluation · Contract tests

Download a sample ontology¶

curl -L -o family.owl \
  https://raw.githubusercontent.com/eddiethedean/ontologos/main/benchmarks/data/family.owl

Rust¶

RDFS materialization¶

See Getting started — crates.io only. Crates: ontologos-parser, ontologos-rl (ontologos_rl::rdfs).

Classify (facade)¶

Classify quick start — ontologos-facade::classify with Profile::Auto.

OWL EL taxonomy (in-memory — no Pizza download)¶

Family.owl is an RL corpus — do not use it for EL demos.

use ontologos_core::Ontology;
use ontologos_el::ElClassifier;

let ontology = Ontology::builder()
    .class("http://example.org/Food")?
    .class("http://example.org/Pizza")?
    .subclass_of("http://example.org/Pizza", "http://example.org/Food")?
    .build()?;
let taxonomy = ElClassifier::new().classify(&ontology)?;
println!("subsumptions: {}", taxonomy.subsumption_count());

For Pizza EL golden tests, clone the repo and run ./benchmarks/scripts/download.sh. See OWL EL classification.

JSON snapshot round-trip¶

use ontologos_core::Ontology;

let ontology = Ontology::builder()
    .class("http://example.org/A")?
    .build()?;
let json = ontology.to_json()?;
let restored = Ontology::from_json(&json)?;

See JSON snapshot v3 (writers emit v3; v2 still readable).

Repository examples (clone required)¶

Example	Command
Builder API	`cargo run -p ontologos-core --example pizza_builder`
Load + profile	`cargo run -p ontologos-parser --example load_and_profile`
RL saturation	`cargo run -p ontologos-rl --example rl_saturation`
Facade auto classify	`cargo run -p ontologos-facade --example facade_auto -- benchmarks/data/family.owl`

Python¶

Classify from file¶

pip install ontologos
curl -L -o family.owl \
  https://raw.githubusercontent.com/eddiethedean/ontologos/main/benchmarks/data/family.owl

from ontologos import Reasoner

report = Reasoner(path="family.owl", profile="rl").classify()
print(report)

In-memory builder + incremental¶

from ontologos import OntologyBuilder, Reasoner

b = OntologyBuilder()
b.add_class("http://example.org/Food")
b.add_class("http://example.org/Pizza")
b.subclass_of("http://example.org/Pizza", "http://example.org/Food")
r = Reasoner(ontology=b.build(), profile="el", incremental=True)
r.classify()
r.add_subclass_of("http://example.org/VeggiePizza", "http://example.org/Pizza")
r.classify()

Explain¶

# EL explain works best on EL corpora (e.g. pizza.owl after download.sh)
graph = Reasoner(path="family.owl", profile="rl").explain()
print(graph["node_count"])

Pandas export (optional)¶

pip install 'ontologos[pandas]'

Download Pizza first (not bundled in pip installs):

from ontologos import Reasoner, subsumptions_to_pandas

report = Reasoner(path="pizza.owl", profile="el").classify()
df = subsumptions_to_pandas(report)

CLI¶

See CLI installation.

ontologos classify --profile auto family.owl
ontologos materialize family.owl
ontologos explain --profile el pizza.owl

OWL DL evaluation (v1.0.0)¶

Available on PyPI and crates.io 1.0.0.

pip install ontologos==1.0.0
ontologos classify --profile dl --budget-secs 30 pizza.owl

from ontologos import Reasoner

reasoner = Reasoner(path="pizza.owl", profile="dl", budget_secs=30)
consistency = reasoner.check_consistency()
assert consistency["complete"] and consistency["consistent"]
report = reasoner.classify()

Full workflow: Evaluator playbook · DL API reference.

Contract tests (contributors)¶

See Contract tests in the Reference section.

Install pins¶

Goal	Install
All production profiles (EL, RL, RDFS, DL, SWRL)	`pip install ontologos==1.0.0` or `ontologos-* = "1.0.0"`
CLI	`cargo install --git https://github.com/eddiethedean/ontologos --tag v1.0.0 ontologos-cli`

See Install channels.