Struct Ontology 

pub struct Ontology { /* private fields */ }

Validated domain ontology with deterministic semantic traversal.

The default ontology contains standard relation definitions but no domain concepts or axioms. Callers explicitly register their product vocabulary.

Examples

use termivar_core::{ConceptId, Ontology, OntologyAxiom, OntologyConcept};

let mut ontology = Ontology::new();
let framework = ConceptId::new("framework")?;
let technology = ConceptId::new("technology")?;
let laravel = ConceptId::new("laravel")?;
ontology.add_concept(OntologyConcept::new(framework.clone(), "Framework")?)?;
ontology.add_concept(OntologyConcept::new(technology.clone(), "Technology")?)?;
ontology.add_concept(OntologyConcept::new(laravel.clone(), "Laravel")?)?;
ontology.add_axiom(OntologyAxiom::new(
    laravel.clone(),
    Ontology::relation_id(Ontology::IS_A)?,
    framework.clone(),
))?;
ontology.add_axiom(OntologyAxiom::new(
    framework,
    Ontology::relation_id(Ontology::IS_A)?,
    technology.clone(),
))?;

assert!(ontology.is_a(&laravel, &technology)?);

Implementations

impl Ontology

pub const IS_A: &'static str = "is_a"

Canonical transitive type hierarchy relation.

pub const PART_OF: &'static str = "part_of"

Canonical transitive containment relation.

pub const HAS_PART: &'static str = "has_part"

Inverse of Self::PART_OF.

pub const DEPENDS_ON: &'static str = "depends_on"

Directional dependency relation.

pub const REQUIRED_BY: &'static str = "required_by"

Inverse of Self::DEPENDS_ON.

pub const IMPLIES: &'static str = "implies"

Logical implication relation.

pub const ASSOCIATED_WITH: &'static str = "associated_with"

Symmetric non-hierarchical association.

pub const IMPLEMENTED_IN: &'static str = "implemented_in"

Implementation-language relation.

pub const PROVIDES: &'static str = "provides"

Capability or category provision relation.

pub fn new() -> Self

Creates an empty domain vocabulary with standard relation definitions.

pub fn relation_id( value: impl Into<String>, ) -> Result<RelationTypeId, OntologyError>

Builds a validated relation-type ID for a canonical or custom name.

pub fn add_concept( &mut self, concept: OntologyConcept, ) -> Result<OntologyWrite, OntologyError>

Registers a concept idempotently.

pub fn add_relation_type( &mut self, relation_type: OntologyRelationType, ) -> Result<OntologyWrite, OntologyError>

Registers a semantic relation type idempotently.

pub fn add_axiom( &mut self, axiom: OntologyAxiom, ) -> Result<OntologyWrite, OntologyError>

Registers a validated semantic axiom idempotently.

pub fn concept(&self, id: &ConceptId) -> Option<&OntologyConcept>

Returns a concept definition by ID.

pub fn relation_type( &self, id: &RelationTypeId, ) -> Option<&OntologyRelationType>

Returns a semantic relation definition by ID.

pub fn concepts(&self) -> Vec<OntologyConcept>

Returns all concepts in stable ID order.

pub fn relation_types(&self) -> Vec<OntologyRelationType>

Returns all relation types in stable ID order.

pub fn axioms(&self) -> Vec<OntologyAxiom>

Returns all axioms in stable tuple order.

pub fn is_related( &self, subject: &ConceptId, relation: &RelationTypeId, object: &ConceptId, ) -> Result<bool, OntologyError>

Evaluates a relationship using its declared semantic behavior.

pub fn is_a( &self, child: &ConceptId, ancestor: &ConceptId, ) -> Result<bool, OntologyError>

Evaluates the canonical transitive is_a hierarchy.

pub fn axioms_from( &self, subject: &ConceptId, ) -> Result<Vec<OntologyAxiom>, OntologyError>

Returns axioms whose subject matches a concept, in stable order.

pub fn stats(&self) -> OntologyStats

Returns a count snapshot.

Trait Implementations

impl Clone for Ontology

fn clone(&self) -> Ontology

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Ontology

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Ontology

fn default() -> Self

Returns the “default value” for a type.