Trait horned_owl::model::Kinded

source ·

pub trait Kinded {
    // Required method
    fn kind(&self) -> ComponentKind;
}

Expand description

An interface providing access to the ComponentKind

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

Required Methods§

source

fn kind(&self) -> ComponentKind

Implementors§

source §

Trait horned_owl::model::KindedCopy item path

Required Methods§

fn kind(&self) -> ComponentKind

Implementors§

impl<A: ForIRI> Kinded for Component<A>

impl<A: ForIRI> Kinded for AnnotatedComponent<A>

impl<A: ForIRI> Kinded for AnnotationAssertion<A>

impl<A: ForIRI> Kinded for AnnotationPropertyDomain<A>

impl<A: ForIRI> Kinded for AnnotationPropertyRange<A>

impl<A: ForIRI> Kinded for AsymmetricObjectProperty<A>

impl<A: ForIRI> Kinded for ClassAssertion<A>

impl<A: ForIRI> Kinded for DataPropertyAssertion<A>

impl<A: ForIRI> Kinded for DataPropertyDomain<A>

impl<A: ForIRI> Kinded for DataPropertyRange<A>

impl<A: ForIRI> Kinded for DatatypeDefinition<A>

impl<A: ForIRI> Kinded for DeclareAnnotationProperty<A>

impl<A: ForIRI> Kinded for DeclareClass<A>

impl<A: ForIRI> Kinded for DeclareDataProperty<A>

impl<A: ForIRI> Kinded for DeclareDatatype<A>

impl<A: ForIRI> Kinded for DeclareNamedIndividual<A>

impl<A: ForIRI> Kinded for DeclareObjectProperty<A>

impl<A: ForIRI> Kinded for DifferentIndividuals<A>

impl<A: ForIRI> Kinded for DisjointClasses<A>

impl<A: ForIRI> Kinded for DisjointDataProperties<A>

impl<A: ForIRI> Kinded for DisjointObjectProperties<A>

impl<A: ForIRI> Kinded for DisjointUnion<A>

impl<A: ForIRI> Kinded for DocIRI<A>

impl<A: ForIRI> Kinded for EquivalentClasses<A>

impl<A: ForIRI> Kinded for EquivalentDataProperties<A>

impl<A: ForIRI> Kinded for EquivalentObjectProperties<A>

impl<A: ForIRI> Kinded for FunctionalDataProperty<A>

impl<A: ForIRI> Kinded for FunctionalObjectProperty<A>

impl<A: ForIRI> Kinded for HasKey<A>

impl<A: ForIRI> Kinded for Import<A>

impl<A: ForIRI> Kinded for InverseFunctionalObjectProperty<A>

impl<A: ForIRI> Kinded for InverseObjectProperties<A>

impl<A: ForIRI> Kinded for IrreflexiveObjectProperty<A>

impl<A: ForIRI> Kinded for NegativeDataPropertyAssertion<A>

impl<A: ForIRI> Kinded for NegativeObjectPropertyAssertion<A>

impl<A: ForIRI> Kinded for ObjectPropertyAssertion<A>

impl<A: ForIRI> Kinded for ObjectPropertyDomain<A>

impl<A: ForIRI> Kinded for ObjectPropertyRange<A>

impl<A: ForIRI> Kinded for OntologyAnnotation<A>

impl<A: ForIRI> Kinded for OntologyID<A>

impl<A: ForIRI> Kinded for ReflexiveObjectProperty<A>

impl<A: ForIRI> Kinded for Rule<A>

impl<A: ForIRI> Kinded for SameIndividual<A>

impl<A: ForIRI> Kinded for SubAnnotationPropertyOf<A>

impl<A: ForIRI> Kinded for SubClassOf<A>

impl<A: ForIRI> Kinded for SubDataPropertyOf<A>

impl<A: ForIRI> Kinded for SubObjectPropertyOf<A>

impl<A: ForIRI> Kinded for SymmetricObjectProperty<A>

impl<A: ForIRI> Kinded for TransitiveObjectProperty<A>

Trait horned_owl::model::Kinded