Skip to content

Contract test example

Run the public API contract harness without a HermiT Java checkout.

What it tests

ontologos-contract validates semantics through ontologos_facade — the same routing path as CLI and Python.

This is Tier 0 in CI (PR gate). Full HermiT parity uses ontologos-conformance (nightly/release).

Run

git clone https://github.com/eddiethedean/ontologos.git
cd ontologos
./benchmarks/scripts/download.sh   # some cases need Pizza corpus
cargo test -p ontologos-contract --release

Sample catalog

Case IDs: crates/ontologos-contract/data/case_ids.txt

Each case exercises classify, consistency, or entailment through the facade on a small fixture.

Evaluator use

  1. Run contract tests on your machine after installing from your target channel (pip install ontologos==1.0.0 or ontologos-* = "1.0.0").
  2. For HermiT catalog parity, run cargo test -p ontologos-conformance --release (longer; see Conformance).
  3. Compare taxonomy output using Taxonomy tolerance when diffing against HermiT.