Trait horned_owl::model::Kinded

pub trait Kinded {
    fn kind(&self) -> AxiomKind;
}

An interface providing access to the AxiomKind

An OWL ontology consists of a set of axioms of one of many different kinds. These axioms all return an variant instance of the AxiomKind enum. This is used in the API mostly to retrieve instances of a certain kind.

Required Methods

fn kind(&self) -> AxiomKind

Implementors

• impl Kinded for AnnotatedAxiom

• impl Kinded for Axiom

• impl Kinded for OntologyAnnotation

• impl Kinded for DeclareClass

• impl Kinded for DeclareObjectProperty

• impl Kinded for DeclareAnnotationProperty

• impl Kinded for SubClass

• impl Kinded for EquivalentClass

• impl Kinded for DisjointClass

• impl Kinded for SubObjectProperty

• impl Kinded for InverseObjectProperty

• impl Kinded for TransitiveObjectProperty

• impl Kinded for AssertAnnotation

• impl Kinded for SubAnnotationProperty