Skip to main content

Module model

strixonomy_core

Module model 

Source

Structs§

Annotation
Axiom
AxiomAnnotation
Annotation attached to an axiom (not an entity annotation assertion).
Diagnostic
Entity
Import
Namespace
OntologyDocument
PropertyCharacteristics
SourceLocation

Enums§

DiagnosticCode
DiagnosticSeverity
EntityKind
OntologyFormat
Wire format (LSP JSON) uses snake_case via serde; SQL CLI uses OntologyFormat::as_str.
ParseStatus

Constants§

AXIOM_KIND_CLASS_ASSERTION
AXIOM_KIND_DATATYPE_DEFINITION
AXIOM_KIND_DATA_PROPERTY_ASSERTION
AXIOM_KIND_DIFFERENT_INDIVIDUALS
AXIOM_KIND_DISJOINT_CLASS
AXIOM_KIND_DISJOINT_DATA_PROPERTIES
AXIOM_KIND_DISJOINT_OBJECT_PROPERTIES
AXIOM_KIND_DISJOINT_UNION
AXIOM_KIND_DOMAIN
AXIOM_KIND_EQUIVALENT_CLASS
AXIOM_KIND_EQUIVALENT_DATA_PROPERTIES
AXIOM_KIND_EQUIVALENT_OBJECT_PROPERTIES
AXIOM_KIND_HAS_KEY
AXIOM_KIND_INVERSE_OBJECT_PROPERTIES
AXIOM_KIND_NEGATIVE_DATA_PROPERTY_ASSERTION
AXIOM_KIND_NEGATIVE_OBJECT_PROPERTY_ASSERTION
AXIOM_KIND_OBJECT_PROPERTY_ASSERTION
AXIOM_KIND_PROPERTY_CHAIN
AXIOM_KIND_RANGE
AXIOM_KIND_SAME_INDIVIDUAL
AXIOM_KIND_SUB_CLASS_OF
Snake_case axiom kind stored in Axiom::axiom_kind and SQL axioms.axiom_kind.
AXIOM_KIND_SUB_DATA_PROPERTY_OF
AXIOM_KIND_SUB_OBJECT_PROPERTY_OF