Enum AxiomKind 

pub enum AxiomKind {
    Declaration,
    SubClassOf,
    EquivalentClasses,
    DisjointClasses,
    DisjointUnion,
    SubObjectPropertyOf,
    FunctionalObjectProperty,
    InverseFunctionalObjectProperty,
    ReflexiveObjectProperty,
    IrreflexiveObjectProperty,
    SymmetricObjectProperty,
    AsymmetricObjectProperty,
    TransitiveObjectProperty,
    EquivalentObjectProperties,
    DisjointObjectProperties,
    InverseObjectProperties,
    ObjectPropertyDomain,
    ObjectPropertyRange,
    SubDataPropertyOf,
    EquivalentDataProperties,
    DisjointDataProperties,
    DataPropertyDomain,
    DataPropertyRange,
    FunctionalDataProperty,
    DatatypeDefinition,
    HasKey,
    SameIndividual,
    DifferentIndividuals,
    ClassAssertion,
    ObjectPropertyAssertion,
    NegativeObjectPropertyAssertion,
    DataPropertyAssertion,
    NegativeDataPropertyAssertion,
    AnnotationAssertion,
    SubAnnotationPropertyOf,
    AnnotationPropertyDomain,
    AnnotationPropertyRange,
}

A standard OWL 2 structural category, without backend-specific policy.

Variants

Declaration

The Declaration category.

SubClassOf

The SubClassOf category.

EquivalentClasses

The EquivalentClasses category.

DisjointClasses

The DisjointClasses category.

DisjointUnion

The DisjointUnion category.

SubObjectPropertyOf

The SubObjectPropertyOf category.

FunctionalObjectProperty

The FunctionalObjectProperty category.

InverseFunctionalObjectProperty

The InverseFunctionalObjectProperty category.

ReflexiveObjectProperty

The ReflexiveObjectProperty category.

IrreflexiveObjectProperty

The IrreflexiveObjectProperty category.

SymmetricObjectProperty

The SymmetricObjectProperty category.

AsymmetricObjectProperty

The AsymmetricObjectProperty category.

TransitiveObjectProperty

The TransitiveObjectProperty category.

EquivalentObjectProperties

The EquivalentObjectProperties category.

DisjointObjectProperties

The DisjointObjectProperties category.

InverseObjectProperties

The InverseObjectProperties category.

ObjectPropertyDomain

The ObjectPropertyDomain category.

ObjectPropertyRange

The ObjectPropertyRange category.

SubDataPropertyOf

The SubDataPropertyOf category.

EquivalentDataProperties

The EquivalentDataProperties category.

DisjointDataProperties

The DisjointDataProperties category.

DataPropertyDomain

The DataPropertyDomain category.

DataPropertyRange

The DataPropertyRange category.

FunctionalDataProperty

The FunctionalDataProperty category.

DatatypeDefinition

The DatatypeDefinition category.

HasKey

The HasKey category.

SameIndividual

The SameIndividual category.

DifferentIndividuals

The DifferentIndividuals category.

ClassAssertion

The ClassAssertion category.

ObjectPropertyAssertion

The ObjectPropertyAssertion category.

NegativeObjectPropertyAssertion

The NegativeObjectPropertyAssertion category.

DataPropertyAssertion

The DataPropertyAssertion category.

NegativeDataPropertyAssertion

The NegativeDataPropertyAssertion category.

AnnotationAssertion

The AnnotationAssertion category.

SubAnnotationPropertyOf

The SubAnnotationPropertyOf category.

AnnotationPropertyDomain

The AnnotationPropertyDomain category.

AnnotationPropertyRange

The AnnotationPropertyRange category.

Trait Implementations

impl Clone for AxiomKind

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AxiomKind

impl Debug for AxiomKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AxiomKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for AxiomKind

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 PartialEq for AxiomKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for AxiomKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for AxiomKind