rustdl

Sound, performant OWL 2 DL (SROIQ) reasoner in Rust, with Python bindings. No JVM, no subprocess — native classification via PyO3.

rustdl beats HermiT on every measured ORE workload and wins outright against Konclude on Horn-fragment ontologies. See the project README for the full benchmark table.

Install

pip install rustdl

Wheels are published for CPython 3.10+ on Linux (x86_64, aarch64), macOS (Apple Silicon), and Windows (AMD64). Other platforms build from the sdist (needs a Rust toolchain).

Quick start

Prefer a guided walkthrough? See Debugging an ontology with rustdl — an end-to-end QA tutorial (classify → debug() → justify/repair → fix → read inferred facts).

import rustdl

# A small OWL 2 DL ontology ships inside the wheel (gzip-compressed) — no
# download needed. `examples.pizza()` returns its file path (decompressed
# into a per-user cache dir on first use); `examples.PIZZA_NS` is its
# namespace, so class IRIs are PIZZA_NS + local name (e.g. + "Pizza").
from rustdl.examples import pizza, PIZZA_NS, SULO_NS

# Classify. Format is auto-detected from the extension:
# .ofn (OWL Functional), .owx (OWL/XML), .rdf / .owl (RDF/XML), .omn (Manchester).
result = rustdl.classify(pizza())

print(f"{len(result.classes)} classes, {len(result.unsatisfiable)} unsatisfiable, "
      f"complete={result.complete}")
# -> 88 classes, 0 unsatisfiable, complete=True

# Query the computed hierarchy
print(result.is_subclass(PIZZA_NS + "BoxedPizza", PIZZA_NS + "Pizza"))
# -> True
print(len(result.subclasses_of(PIZZA_NS + "FoodMaterial")))
# -> 25

# The pizza ontology is aligned to the SULO upper ontology, so reasoning
# spans both — e.g. a pizza-making timestamp is inferred to be a SULO StartTime:
print(result.is_subclass(PIZZA_NS + "BakingStartTime", SULO_NS + "StartTime"))
# -> True

# Other hierarchy queries (all take full class IRIs):
result.superclasses_of(PIZZA_NS + "Cheese")        # -> list[str]
result.equivalent_classes(PIZZA_NS + "Pizza")      # -> list[str]
result.direct_subsumers(PIZZA_NS + "BoxedPizza")   # -> list[str] (Hasse-direct parents)

Bundled examples

Three real ontologies ship inside the wheel, gzip-compressed (~200 KB total). They classify with no network access — each examples.X() decompresses its ontology into a per-user cache dir ($XDG_CACHE_HOME/rustdl/examples or ~/.cache/rustdl/examples) on first use, then reuses it. Each examples.X_NS is the namespace, so a class IRI is the namespace plus the local name.

helper	ontology	classes	notes
`pizza()` / `PIZZA_NS`	ontostart pizza	88	SULO-aligned pizza-making ontology; classifies instantly + complete
`sulo()` / `SULO_NS`	SULO (Simple Upper-Level Ontology)	17	tiny; classifies in milliseconds
`sio()` / `SIO_NS`	SIO (Semanticscience Integrated Ontology)	~1600	realistic larger workload; takes tens of seconds. Class IRIs are numeric codes, e.g. `SIO_NS + "SIO_000006"` ("process")

import rustdl
from rustdl import examples

r = rustdl.classify(examples.sulo())
print(r.is_subclass(examples.SULO_NS + "StartTime", examples.SULO_NS + "Object"))
# -> True

API

Classification

result = rustdl.classify(path, *, per_pair_timeout_ms=1000, saturation_only=False)
result = rustdl.classify_bytes(data, format="ofn", *, per_pair_timeout_ms=1000, saturation_only=False)

per_pair_timeout_ms — bound each subsumption test (default 1000; 0 = unbounded). A pair that exceeds the budget is recorded as "not subsumed": sound (never a false subsumption) but the result may be incomplete. When that happens, an IncompleteClassificationWarning is emitted and result.complete is False. Pass 0 for the complete, unbounded classification. The default bounds pathological SROIQ inputs so classification can't hang silently. Conversely, on nominal-heavy ontologies (e.g. the W3C wine ontology) the engines never terminate on the hard pairs and only burn the full budget, so a low value like per_pair_timeout_ms=25 is much faster with no completeness loss (wine: 7.5× faster, identical hierarchy, MISSED=0 vs HermiT).
saturation_only — skip the tableau entirely; EL-closure-only under-approximation. Dramatically faster on mostly-EL ontologies, and always complete (no tableau ⇒ no timeout).

classify / classify_bytes return a Classification:

member	type	meaning
`.classes`	`list[str]`	all declared class IRIs
`.unsatisfiable`	`list[str]`	classes proved `⊑ ⊥`
`.inconsistent`	`bool`	whole ontology unsatisfiable
`.complete`	`bool`	`False` if any pair hit the timeout (result may miss edges)
`.timed_out_pairs`	`int`	how many pairs hit the timeout
`.is_subclass(sub, sup)`	`bool`	is `sub ⊑ sup` entailed?
`.subclasses_of(cls)`	`list[str]`	every `D` with `D ⊑ cls`
`.superclasses_of(cls)`	`list[str]`	every `D` with `cls ⊑ D`
`.equivalent_classes(cls)`	`list[str]`	classes equivalent to `cls`
`.direct_subsumers(cls)`	`list[str]`	Hasse-direct parents of `cls`

One-shot queries

Each parses the file, answers one question, and returns:

rustdl.is_consistent(path)                        # -> bool
rustdl.is_class_satisfiable(path, class_iri)      # -> bool
rustdl.is_subclass_of(path, sub_iri, sup_iri)     # -> bool
rustdl.is_instance_of(path, class_iri, indiv_iri) # -> bool
rustdl.instances_of(path, class_iri)              # -> list[str]
rustdl.realize(path)                              # -> dict[str, list[str]]

realize returns each individual IRI mapped to its most-specific entailed class IRIs.

For repeated queries over the same ontology, prefer classify(path) once and query the returned Classification — each top-level function re-parses.

Inference materialization

rustdl.materialize_inferred_subclass_axioms(path)   # -> list[tuple[str, str]]
rustdl.materialize_inferred_class_assertions(path)  # -> list[tuple[str, str]]

materialize_inferred_subclass_axioms yields (sub, sup) pairs for every entailed subsumption (excluding reflexive, owl:Thing/owl:Nothing, and unsatisfiable classes). materialize_inferred_class_assertions yields (class, individual) pairs. Useful for writing an inferred ontology back to disk.

Errors

rustdl.RustdlError            # base — catches everything from the library
rustdl.ParseError             # the OWL file couldn't be parsed
rustdl.UnsupportedAxiomError  # HasKey, role chains > length 2, etc.
rustdl.UnknownClassError      # an IRI argument isn't a declared class

try:
    result = rustdl.classify("ontology.ofn")
except rustdl.ParseError as e:
    print(f"bad input: {e}")
except rustdl.RustdlError as e:
    print(f"reasoning failed: {e}")

Soundness & coverage

rustdl is sound: every reported subsumption is a genuine entailment (FP=0 against Konclude on the validation corpus). Completeness is partial — the default classifier is empirically near-complete across the measured corpus but not provably complete on all of SROIQ. saturation_only and per_pair_timeout_ms are sound-but-incomplete by construction.

Data-property and datatype axioms outside the recognized preprocessing patterns are silently dropped (a sound under-approximation). HasKey and role chains longer than length 2 raise UnsupportedAxiomError. SWRL rules are skipped.

See the project documentation for the full coverage matrix, soundness contract, and architecture notes.

License

Apache-2.0 OR MIT.

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

rustdl-0.3.40.tar.gz (1.2 MB view details)

Uploaded Jul 23, 2026 Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

rustdl-0.3.40-cp310-abi3-win_amd64.whl (2.6 MB view details)

Uploaded Jul 23, 2026 CPython 3.10+Windows x86-64

rustdl-0.3.40-cp310-abi3-musllinux_1_2_x86_64.whl (2.5 MB view details)

Uploaded Jul 23, 2026 CPython 3.10+musllinux: musl 1.2+ x86-64

rustdl-0.3.40-cp310-abi3-musllinux_1_2_aarch64.whl (2.3 MB view details)

Uploaded Jul 23, 2026 CPython 3.10+musllinux: musl 1.2+ ARM64

rustdl-0.3.40-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.4 MB view details)

Uploaded Jul 23, 2026 CPython 3.10+manylinux: glibc 2.17+ x86-64

rustdl-0.3.40-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (2.2 MB view details)

Uploaded Jul 23, 2026 CPython 3.10+manylinux: glibc 2.17+ ARM64

rustdl-0.3.40-cp310-abi3-macosx_11_0_arm64.whl (2.2 MB view details)

Uploaded Jul 23, 2026 CPython 3.10+macOS 11.0+ ARM64

File details

Details for the file rustdl-0.3.40.tar.gz.

File metadata

Download URL: rustdl-0.3.40.tar.gz
Upload date: Jul 23, 2026
Size: 1.2 MB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for rustdl-0.3.40.tar.gz
Algorithm	Hash digest
SHA256	`93d47c59d645f3654565e09939d72e2677435acdb3cce36f531b22de7d1289a2`
MD5	`aa3fed34baa1c2adef3dd9409cb4a704`
BLAKE2b-256	`a8475782c7a607e59ee0a989cc93a1baeb126b25450d8c243559223c54c1392d`

See more details on using hashes here.

Provenance

The following attestation bundles were made for rustdl-0.3.40.tar.gz:

Publisher: release-python.yml on MaastrichtU-IDS/rustdl

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: rustdl-0.3.40.tar.gz
- Subject digest: 93d47c59d645f3654565e09939d72e2677435acdb3cce36f531b22de7d1289a2
- Sigstore transparency entry: 2228397749
- Sigstore integration time: Jul 23, 2026
Source repository:
- Permalink: MaastrichtU-IDS/rustdl@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Branch / Tag: refs/tags/v0.3.40
- Owner: https://github.com/MaastrichtU-IDS
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-python.yml@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Trigger Event: push

File details

Details for the file rustdl-0.3.40-cp310-abi3-win_amd64.whl.

File metadata

Download URL: rustdl-0.3.40-cp310-abi3-win_amd64.whl
Upload date: Jul 23, 2026
Size: 2.6 MB
Tags: CPython 3.10+, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for rustdl-0.3.40-cp310-abi3-win_amd64.whl
Algorithm	Hash digest
SHA256	`496df979d30427288f11f7da0b1059ebc68aa7ead80237914ebeaf5bdd59f0eb`
MD5	`51f8fd7a398feae4e9d9ff5a78191d74`
BLAKE2b-256	`ebe28df536c1ad3fce4f13843dd535807f0517f2f540b19048cb0a516ec844bd`

See more details on using hashes here.

Provenance

The following attestation bundles were made for rustdl-0.3.40-cp310-abi3-win_amd64.whl:

Publisher: release-python.yml on MaastrichtU-IDS/rustdl

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: rustdl-0.3.40-cp310-abi3-win_amd64.whl
- Subject digest: 496df979d30427288f11f7da0b1059ebc68aa7ead80237914ebeaf5bdd59f0eb
- Sigstore transparency entry: 2228398519
- Sigstore integration time: Jul 23, 2026
Source repository:
- Permalink: MaastrichtU-IDS/rustdl@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Branch / Tag: refs/tags/v0.3.40
- Owner: https://github.com/MaastrichtU-IDS
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-python.yml@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Trigger Event: push

File details

Details for the file rustdl-0.3.40-cp310-abi3-musllinux_1_2_x86_64.whl.

File metadata

Download URL: rustdl-0.3.40-cp310-abi3-musllinux_1_2_x86_64.whl
Upload date: Jul 23, 2026
Size: 2.5 MB
Tags: CPython 3.10+, musllinux: musl 1.2+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for rustdl-0.3.40-cp310-abi3-musllinux_1_2_x86_64.whl
Algorithm	Hash digest
SHA256	`df517e9df5f57c1613ff361129f7571ae10d87035cc9694116d41ca66521c42d`
MD5	`3881bdf302ad0f6f051eec3febca4be1`
BLAKE2b-256	`c416cd23d10b6fca4e114272fb9a341a7899d342e5198c463423cdb806b60987`

See more details on using hashes here.

Provenance

The following attestation bundles were made for rustdl-0.3.40-cp310-abi3-musllinux_1_2_x86_64.whl:

Publisher: release-python.yml on MaastrichtU-IDS/rustdl

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: rustdl-0.3.40-cp310-abi3-musllinux_1_2_x86_64.whl
- Subject digest: df517e9df5f57c1613ff361129f7571ae10d87035cc9694116d41ca66521c42d
- Sigstore transparency entry: 2228398040
- Sigstore integration time: Jul 23, 2026
Source repository:
- Permalink: MaastrichtU-IDS/rustdl@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Branch / Tag: refs/tags/v0.3.40
- Owner: https://github.com/MaastrichtU-IDS
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-python.yml@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Trigger Event: push

File details

Details for the file rustdl-0.3.40-cp310-abi3-musllinux_1_2_aarch64.whl.

File metadata

Download URL: rustdl-0.3.40-cp310-abi3-musllinux_1_2_aarch64.whl
Upload date: Jul 23, 2026
Size: 2.3 MB
Tags: CPython 3.10+, musllinux: musl 1.2+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for rustdl-0.3.40-cp310-abi3-musllinux_1_2_aarch64.whl
Algorithm	Hash digest
SHA256	`f86e37638698946fd12bcd84a6013e9ddf3797808c8d93654f30cf39734ac85d`
MD5	`b169eedc0ed5ef5f6fda44cf5bf27aee`
BLAKE2b-256	`ad53b29b207c9674e5a859766db5915a455eb97de3670a3615bde1100647aaa8`

See more details on using hashes here.

Provenance

The following attestation bundles were made for rustdl-0.3.40-cp310-abi3-musllinux_1_2_aarch64.whl:

Publisher: release-python.yml on MaastrichtU-IDS/rustdl

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: rustdl-0.3.40-cp310-abi3-musllinux_1_2_aarch64.whl
- Subject digest: f86e37638698946fd12bcd84a6013e9ddf3797808c8d93654f30cf39734ac85d
- Sigstore transparency entry: 2228398765
- Sigstore integration time: Jul 23, 2026
Source repository:
- Permalink: MaastrichtU-IDS/rustdl@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Branch / Tag: refs/tags/v0.3.40
- Owner: https://github.com/MaastrichtU-IDS
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-python.yml@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Trigger Event: push

File details

Details for the file rustdl-0.3.40-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: rustdl-0.3.40-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Jul 23, 2026
Size: 2.4 MB
Tags: CPython 3.10+, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for rustdl-0.3.40-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`43ee59bd97ab33f84df57313359c98e3ca92d80107cdf3620c1a57870da857c2`
MD5	`54b1e5280c1f6c5e9be851f16ea8ce43`
BLAKE2b-256	`44199e1853e39a0335d9d658c05e2c4abe507e0c28794a27f12c363ed48d4e29`

See more details on using hashes here.

Provenance

The following attestation bundles were made for rustdl-0.3.40-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: release-python.yml on MaastrichtU-IDS/rustdl

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: rustdl-0.3.40-cp310-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Subject digest: 43ee59bd97ab33f84df57313359c98e3ca92d80107cdf3620c1a57870da857c2
- Sigstore transparency entry: 2228399433
- Sigstore integration time: Jul 23, 2026
Source repository:
- Permalink: MaastrichtU-IDS/rustdl@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Branch / Tag: refs/tags/v0.3.40
- Owner: https://github.com/MaastrichtU-IDS
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-python.yml@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Trigger Event: push

File details

Details for the file rustdl-0.3.40-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: rustdl-0.3.40-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Jul 23, 2026
Size: 2.2 MB
Tags: CPython 3.10+, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for rustdl-0.3.40-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`f7482250a83037cd222620063380a26eb8c1d920871060aa4d8acc0c51b5c87f`
MD5	`25c039f361a6d5f4abe75ea17a18c574`
BLAKE2b-256	`7694a618dee7c9ce1a9f5915ddc20eb3733d13e2219146bb87059a0442e034a0`

See more details on using hashes here.

Provenance

The following attestation bundles were made for rustdl-0.3.40-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl:

Publisher: release-python.yml on MaastrichtU-IDS/rustdl

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: rustdl-0.3.40-cp310-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Subject digest: f7482250a83037cd222620063380a26eb8c1d920871060aa4d8acc0c51b5c87f
- Sigstore transparency entry: 2228398266
- Sigstore integration time: Jul 23, 2026
Source repository:
- Permalink: MaastrichtU-IDS/rustdl@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Branch / Tag: refs/tags/v0.3.40
- Owner: https://github.com/MaastrichtU-IDS
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-python.yml@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Trigger Event: push

File details

Details for the file rustdl-0.3.40-cp310-abi3-macosx_11_0_arm64.whl.

File metadata

Download URL: rustdl-0.3.40-cp310-abi3-macosx_11_0_arm64.whl
Upload date: Jul 23, 2026
Size: 2.2 MB
Tags: CPython 3.10+, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for rustdl-0.3.40-cp310-abi3-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`7e6c660c0e573dbbf600d31c32191ecdd2541b00165fcef03f75702a8d7bbd4d`
MD5	`a5cb1895974ef8eb685e9b631c5dd828`
BLAKE2b-256	`0fcfa16b4f14cbc1cfb3650e26cc1d81e3450796b28155994feeb1ecee9ef7c1`

See more details on using hashes here.

Provenance

The following attestation bundles were made for rustdl-0.3.40-cp310-abi3-macosx_11_0_arm64.whl:

Publisher: release-python.yml on MaastrichtU-IDS/rustdl

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: rustdl-0.3.40-cp310-abi3-macosx_11_0_arm64.whl
- Subject digest: 7e6c660c0e573dbbf600d31c32191ecdd2541b00165fcef03f75702a8d7bbd4d
- Sigstore transparency entry: 2228399044
- Sigstore integration time: Jul 23, 2026
Source repository:
- Permalink: MaastrichtU-IDS/rustdl@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Branch / Tag: refs/tags/v0.3.40
- Owner: https://github.com/MaastrichtU-IDS
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-python.yml@5917b4a33a33b49dd30683fb9903714db5dfc85e
- Trigger Event: push