Start here¶

Before you start: Read Before you integrate. See Prerequisites for Rust version and tooling. Unfamiliar with OWL terms? See the Glossary and When not to use OntoLogos. 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.

New to OWL?¶

Glossary — classes, profiles, subsumption
When not to use OntoLogos — honest fit check
Python guide or Rust quickstart — five-minute try

Bindings (Node, Java, .NET, C, WASM)¶

Node: npm install ontologos — Node guide
WASM: npm install @ontologos/wasm · Wasmer — WASM guide
Java / .NET / C: source-build from a clone — Bindings overview

Rust and Python are on crates.io/PyPI at v1.1.4.

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.1.4
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 — v1.1.4 published on crates.io and PyPI; see v1.0.x → v1.1.0 if upgrading from 1.0.

Common questions¶

FAQ · Troubleshooting · Protégé axiom counts

Full documentation map¶

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