Java API Reference¶

Java bindings via ontologos-jni (Maven dev.ontologos:ontologos). Source-build only — see Bindings overview.

Install¶

cargo build -p ontologos-jni --release
cd crates/ontologos-java/java && mvn test

Requires Java 17+, Maven 3.9+, Rust toolchain.

Same strings as Python: "auto", "rdfs", "rl", "el", "dl", "swrl", "alc", "dl-preview". See Profile stability.

Implements AutoCloseable — use try-with-resources.

Method	Description
`Reasoner.fromPath(path, profile)`	Load file (lenient)
`Reasoner.loadIn(base, path, profile)`	Sandboxed load
`new Reasoner(ontology, profile)`	In-memory ontology
`Reasoner(ontology, profile, incremental, budgetSecs)`	Full config

Method	Returns	Description
`classify()`	`String` (JSON)	Taxonomy or materialization report
`checkConsistency()`	`String` (JSON)	`{ consistent, complete }`
`isConsistent()`	`boolean`	Incomplete → exception
`isEntailed(...)`	`boolean`	Subsumption, class, or property assertion
`query(String query)`	`String` (JSON)	OWL QL results
`explain()`	`String` (JSON)	Proof graph
`addSubclassOf(sub, sup)`	`void`	Incremental mutation
`removeSubclassOf(sub, sup)`	`void`	Incremental mutation
`close()`	`void`	Release native handle

Parse JSON responses with your preferred library (Jackson, Gson, etc.).

Method	Description
`addClass(String iri)`	Declare class
`subclassOf(String sub, String sup)`	Add `SubClassOf`
`build()`	Returns `Ontology`

Method	Description
`load(String path)`	Lenient file load
`loadIn(String base, String path)`	Sandboxed file load
`fromJson(String json)`	JSON snapshot
`fromJsonWithLimits(String json, long maxBytes)`	Capped JSON load
`getAxiomCount()`	Mapped axiom count

Tests load from target/release/libontologos_jni.so (platform-dependent). Override:

mvn test -Dontologos.native.path=/absolute/path/to/libontologos_jni.dylib

Or set ONTOLOGOS_REPO_ROOT when running from an IDE.