Start here¶

Before you start: See Prerequisites for Rust version and tooling. Unfamiliar with OWL terms? See the Glossary. You do not need to clone this repository to try OntoLogos — pip install ontologos or crates.io dependencies are enough for most workflows. Install channels: Install and channels.

Pick the path that matches how you work. Each link is a single next step—not the full documentation map.

Try it in five minutes (no clone)¶

Getting started — crates.io only — download family.owl, add ontologos-core, ontologos-parser, and ontologos-rl, run RDFS materialization.

Python instead: pip install ontologos → Python guide.

I want to load an OWL file and classify it¶

Classify quick start — ontologos-facade::classify in five minutes (no clone)
Load an OWL file — formats, ParseMeta, imports limitation
Choosing an API — which crate and entry point
Profile stability matrix — production vs pre-release profiles

CLI shortcut (not on crates.io):

See CLI installation — then:

ontologos classify --profile auto family.owl

I am building ontologies in Rust¶

First ontology — OntologyBuilder, subclass axioms, taxonomy queries.

I need RDFS or OWL RL only¶

Goal	Guide
RDFS TBox materialization	RDFS materialization
OWL RL forward-chaining	OWL RL saturation

Prefer CLI materialize for explicit RDFS (same engine as classify --profile rdfs).

I need OWL EL taxonomy¶

OWL EL classification — in-house completion engine in ontologos-el.

I need SWRL rules¶

SWRL quick start — DLSafe rules + DL on v1.0.0.

I am evaluating vs HermiT / ELK / reasonable¶

Evaluator scope · Evaluator playbook · When not to use OntoLogos · Comparison

Evaluate with Python only (no Rust, no clone):

pip install ontologos==1.0.0
curl -L -o family.owl \
  https://raw.githubusercontent.com/eddiethedean/ontologos/main/benchmarks/data/family.owl
python -c "from ontologos import Reasoner; r=Reasoner(path='family.owl',profile='rl').classify(); print(r)"

Production OWL DL: Stable on PyPI/crates.io 1.0.0 (profile="dl"). HermiT catalog parity applies to 889 gated in-scope cases — validate on your corpus.

I am integrating in a service¶

Production integration · Deployment · Security · Rust integration contract

I want to contribute¶

Contributing on this site · GitHub CONTRIBUTING · Architecture

I am upgrading an existing integration¶

Upgrade to latest — published v1.0.0 on crates.io and PyPI.

Common questions¶

FAQ · Troubleshooting · Protégé axiom counts

Full documentation map¶

Return to the documentation home for the complete table of contents.