Module ontology 

Domain ontology contracts for semantic reasoning.

A knowledge graph records instance relationships. An Ontology defines what conceptual relationships mean: whether they are transitive, symmetric, reflexive, acyclic, or have a named inverse. This distinction prevents a decision engine from treating every connected path as the same kind of inference.

Structs

ConceptId

Stable identifier for a domain concept such as framework or laravel.

Ontology

Validated domain ontology with deterministic semantic traversal.

OntologyAxiom

One semantic statement between two registered concepts.

OntologyConcept

A named concept in the domain ontology.

OntologyRelationType

Definition of a semantic relationship used by ontology axioms.

OntologyStats

Counts of definitions held by an Ontology.

RelationSemantics

Formal behavior attached to an ontology relation type.

RelationTypeId

Stable identifier for a semantic relation type such as is_a.

Enums

OntologyError

Validation and consistency errors for ontology operations.

OntologyRecordKind

Ontology record categories used by conflict diagnostics.

OntologyWrite

Result of an idempotent ontology write.