Enum horned_owl::model::AxiomKind

pub enum AxiomKind {
    OntologyAnnotation,
    Import,
    DeclareClass,
    DeclareObjectProperty,
    DeclareAnnotationProperty,
    DeclareDataProperty,
    DeclareNamedIndividual,
    DeclareDatatype,
    SubClassOf,
    EquivalentClasses,
    DisjointClasses,
    SubObjectPropertyOf,
    EquivalentObjectProperties,
    DisjointObjectProperties,
    InverseObjectProperties,
    ObjectPropertyDomain,
    ObjectPropertyRange,
    FunctionalObjectProperty,
    InverseFunctionalObjectProperty,
    ReflexiveObjectProperty,
    IrreflexiveObjectProperty,
    SymmetricObjectProperty,
    AsymmetricObjectProperty,
    TransitiveObjectProperty,
    SubDataPropertyOf,
    EquivalentDataProperties,
    DisjointDataProperties,
    DataPropertyDomain,
    DataPropertyRange,
    FunctionalDataProperty,
    DatatypeDefinition,
    HasKey,
    SameIndividual,
    DifferentIndividuals,
    ClassAssertion,
    ObjectPropertyAssertion,
    NegativeObjectPropertyAssertion,
    DataPropertyAssertion,
    NegativeDataPropertyAssertion,
    AnnotationAssertion,
    SubAnnotationPropertyOf,
}

Contains all different kinds of axiom

Variants of this C-style enum represent all of the different axioms that can exist in the ontology. Instances of this enum are returned by all Axiom and other entities as part of the Kinded trait. See also Axiom which is a Enum whose variants take instances of the Axiom

Variants

OntologyAnnotation

Import

DeclareClass

DeclareObjectProperty

DeclareAnnotationProperty

DeclareDataProperty

DeclareNamedIndividual

DeclareDatatype

SubClassOf

EquivalentClasses

DisjointClasses

SubObjectPropertyOf

EquivalentObjectProperties

DisjointObjectProperties

InverseObjectProperties

ObjectPropertyDomain

ObjectPropertyRange

FunctionalObjectProperty

InverseFunctionalObjectProperty

ReflexiveObjectProperty

IrreflexiveObjectProperty

SymmetricObjectProperty

AsymmetricObjectProperty

TransitiveObjectProperty

SubDataPropertyOf

EquivalentDataProperties

DisjointDataProperties

DataPropertyDomain

DataPropertyRange

FunctionalDataProperty

DatatypeDefinition

HasKey

SameIndividual

DifferentIndividuals

ClassAssertion

ObjectPropertyAssertion

NegativeObjectPropertyAssertion

DataPropertyAssertion

NegativeDataPropertyAssertion

AnnotationAssertion

SubAnnotationPropertyOf

Implementations

impl AxiomKind

pub fn all_kinds() -> Vec<AxiomKind>

Trait Implementations

impl Clone for AxiomKind

fn clone(&self) -> AxiomKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AxiomKind

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

Formats the value using the given formatter.

impl Hash for AxiomKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for AxiomKind

fn cmp(&self, other: &AxiomKind) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere
    Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<AxiomKind> for AxiomKind

fn eq(&self, other: &AxiomKind) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<AxiomKind> for AxiomKind

fn partial_cmp(&self, other: &AxiomKind) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for AxiomKind

impl Eq for AxiomKind

impl StructuralEq for AxiomKind

impl StructuralPartialEq for AxiomKind