.NET API Reference¶

.NET bindings via ontologos-dotnet (namespace Ontologos). Source-build only — see Bindings overview.

Install¶

cargo build -p ontologos-dotnet --release
cd crates/ontologos-dotnet && dotnet test

Requires .NET 8+ and Rust toolchain.

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

Implements IDisposable.

Constructor	Description
`Reasoner.FromPath(path, profile)`	Load file (lenient)
`Reasoner.LoadIn(base, path, profile)`	Sandboxed load
`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()`	`bool`	Incomplete → exception
`IsEntailed(...)`	`bool`	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
`Dispose()`	`void`	Release native handle

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 load
`FromJson(string json)`	JSON snapshot
`FromJsonWithLimits(string json, ulong maxBytes)`	Capped JSON load
`AxiomCount`	Mapped axiom count (property)

P/Invoke loads libontologos_dotnet from target/release. DllImportResolver searches next to the managed assembly and target/release.