Enum horned_owl::model::Axiom

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

An axiom

This enum has variants representing the various kinds of Axiom that can be found in an OWL Ontology. An OWL axiom maps to three different entities in Horned-OWL. First is a struct (for example, SubClassOf) which contains the data which defines the axiom (i.e. super and sub class for SubClassOf). Second, is a variant of the AxiomKind, which is used to identify all instances of a particular kind of axiom (i.e. any SubClassOf axiom will return an instance of AxiomKind::SubClassOf). Finally, we have a variant of this enum, which contains one of the structs (i.e. Axiom::SubClassOf(SubClassOf)), which is used as a union type for all structs. The struct and enum variants all share identical names.

Variants

OntologyAnnotation(OntologyAnnotation)

Import(Import)

DeclareClass(DeclareClass)

DeclareObjectProperty(DeclareObjectProperty)

DeclareAnnotationProperty(DeclareAnnotationProperty)

DeclareDataProperty(DeclareDataProperty)

DeclareNamedIndividual(DeclareNamedIndividual)

DeclareDatatype(DeclareDatatype)

SubClassOf(SubClassOf)

EquivalentClasses(EquivalentClasses)

DisjointClasses(DisjointClasses)

SubObjectPropertyOf(SubObjectPropertyOf)

EquivalentObjectProperties(EquivalentObjectProperties)

DisjointObjectProperties(DisjointObjectProperties)

InverseObjectProperties(InverseObjectProperties)

ObjectPropertyDomain(ObjectPropertyDomain)

ObjectPropertyRange(ObjectPropertyRange)

FunctionalObjectProperty(FunctionalObjectProperty)

InverseFunctionalObjectProperty(InverseFunctionalObjectProperty)

ReflexiveObjectProperty(ReflexiveObjectProperty)

IrreflexiveObjectProperty(IrreflexiveObjectProperty)

SymmetricObjectProperty(SymmetricObjectProperty)

AsymmetricObjectProperty(AsymmetricObjectProperty)

TransitiveObjectProperty(TransitiveObjectProperty)

SubDataPropertyOf(SubDataPropertyOf)

EquivalentDataProperties(EquivalentDataProperties)

DisjointDataProperties(DisjointDataProperties)

DataPropertyDomain(DataPropertyDomain)

DataPropertyRange(DataPropertyRange)

FunctionalDataProperty(FunctionalDataProperty)

DatatypeDefinition(DatatypeDefinition)

HasKey(HasKey)

SameIndividual(SameIndividual)

DifferentIndividuals(DifferentIndividuals)

ClassAssertion(ClassAssertion)

ObjectPropertyAssertion(ObjectPropertyAssertion)

NegativeObjectPropertyAssertion(NegativeObjectPropertyAssertion)

DataPropertyAssertion(DataPropertyAssertion)

NegativeDataPropertyAssertion(NegativeDataPropertyAssertion)

AnnotationAssertion(AnnotationAssertion)

SubAnnotationPropertyOf(SubAnnotationPropertyOf)

Trait Implementations

impl Clone for Axiom

fn clone(&self) -> Axiom

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Axiom

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

Formats the value using the given formatter.

impl From<AnnotationAssertion> for Axiom

fn from(ax: AnnotationAssertion) -> Axiom

Converts to this type from the input type.

impl From<AsymmetricObjectProperty> for Axiom

fn from(ax: AsymmetricObjectProperty) -> Axiom

Converts to this type from the input type.

impl From<Axiom> for AnnotatedAxiom

fn from(axiom: Axiom) -> AnnotatedAxiom

Converts to this type from the input type.

impl From<ClassAssertion> for Axiom

fn from(ax: ClassAssertion) -> Axiom

Converts to this type from the input type.

impl From<DataPropertyAssertion> for Axiom

fn from(ax: DataPropertyAssertion) -> Axiom

Converts to this type from the input type.

impl From<DataPropertyDomain> for Axiom

fn from(ax: DataPropertyDomain) -> Axiom

Converts to this type from the input type.

impl From<DataPropertyRange> for Axiom

fn from(ax: DataPropertyRange) -> Axiom

Converts to this type from the input type.

impl From<DatatypeDefinition> for Axiom

fn from(ax: DatatypeDefinition) -> Axiom

Converts to this type from the input type.

impl From<DeclareAnnotationProperty> for Axiom

fn from(ax: DeclareAnnotationProperty) -> Axiom

Converts to this type from the input type.

impl From<DeclareClass> for Axiom

fn from(ax: DeclareClass) -> Axiom

Converts to this type from the input type.

impl From<DeclareDataProperty> for Axiom

fn from(ax: DeclareDataProperty) -> Axiom

Converts to this type from the input type.

impl From<DeclareDatatype> for Axiom

fn from(ax: DeclareDatatype) -> Axiom

Converts to this type from the input type.

impl From<DeclareNamedIndividual> for Axiom

fn from(ax: DeclareNamedIndividual) -> Axiom

Converts to this type from the input type.

impl From<DeclareObjectProperty> for Axiom

fn from(ax: DeclareObjectProperty) -> Axiom

Converts to this type from the input type.

impl From<DifferentIndividuals> for Axiom

fn from(ax: DifferentIndividuals) -> Axiom

Converts to this type from the input type.

impl From<DisjointClasses> for Axiom

fn from(ax: DisjointClasses) -> Axiom

Converts to this type from the input type.

impl From<DisjointDataProperties> for Axiom

fn from(ax: DisjointDataProperties) -> Axiom

Converts to this type from the input type.

impl From<DisjointObjectProperties> for Axiom

fn from(ax: DisjointObjectProperties) -> Axiom

Converts to this type from the input type.

impl From<EquivalentClasses> for Axiom

fn from(ax: EquivalentClasses) -> Axiom

Converts to this type from the input type.

impl From<EquivalentDataProperties> for Axiom

fn from(ax: EquivalentDataProperties) -> Axiom

Converts to this type from the input type.

impl From<EquivalentObjectProperties> for Axiom

fn from(ax: EquivalentObjectProperties) -> Axiom

Converts to this type from the input type.

impl From<FunctionalDataProperty> for Axiom

fn from(ax: FunctionalDataProperty) -> Axiom

Converts to this type from the input type.

impl From<FunctionalObjectProperty> for Axiom

fn from(ax: FunctionalObjectProperty) -> Axiom

Converts to this type from the input type.

impl From<HasKey> for Axiom

fn from(ax: HasKey) -> Axiom

Converts to this type from the input type.

impl From<Import> for Axiom

fn from(ax: Import) -> Axiom

Converts to this type from the input type.

impl From<InverseFunctionalObjectProperty> for Axiom

fn from(ax: InverseFunctionalObjectProperty) -> Axiom

Converts to this type from the input type.

impl From<InverseObjectProperties> for Axiom

fn from(ax: InverseObjectProperties) -> Axiom

Converts to this type from the input type.

impl From<IrreflexiveObjectProperty> for Axiom

fn from(ax: IrreflexiveObjectProperty) -> Axiom

Converts to this type from the input type.

impl From<NegativeDataPropertyAssertion> for Axiom

fn from(ax: NegativeDataPropertyAssertion) -> Axiom

Converts to this type from the input type.

impl From<NegativeObjectPropertyAssertion> for Axiom

fn from(ax: NegativeObjectPropertyAssertion) -> Axiom

Converts to this type from the input type.

impl From<ObjectPropertyAssertion> for Axiom

fn from(ax: ObjectPropertyAssertion) -> Axiom

Converts to this type from the input type.

impl From<ObjectPropertyDomain> for Axiom

fn from(ax: ObjectPropertyDomain) -> Axiom

Converts to this type from the input type.

impl From<ObjectPropertyRange> for Axiom

fn from(ax: ObjectPropertyRange) -> Axiom

Converts to this type from the input type.

impl From<OntologyAnnotation> for Axiom

fn from(ax: OntologyAnnotation) -> Axiom

Converts to this type from the input type.

impl From<ReflexiveObjectProperty> for Axiom

fn from(ax: ReflexiveObjectProperty) -> Axiom

Converts to this type from the input type.

impl From<SameIndividual> for Axiom

fn from(ax: SameIndividual) -> Axiom

Converts to this type from the input type.

impl From<SubAnnotationPropertyOf> for Axiom

fn from(ax: SubAnnotationPropertyOf) -> Axiom

Converts to this type from the input type.

impl From<SubClassOf> for Axiom

fn from(ax: SubClassOf) -> Axiom

Converts to this type from the input type.

impl From<SubDataPropertyOf> for Axiom

fn from(ax: SubDataPropertyOf) -> Axiom

Converts to this type from the input type.

impl From<SubObjectPropertyOf> for Axiom

fn from(ax: SubObjectPropertyOf) -> Axiom

Converts to this type from the input type.

impl From<SymmetricObjectProperty> for Axiom

fn from(ax: SymmetricObjectProperty) -> Axiom

Converts to this type from the input type.

impl From<TransitiveObjectProperty> for Axiom

fn from(ax: TransitiveObjectProperty) -> Axiom

Converts to this type from the input type.

impl Hash for Axiom

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 Kinded for Axiom

fn kind(&self) -> AxiomKind

impl Ord for Axiom

fn cmp(&self, other: &Axiom) -> 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<Axiom> for Axiom

fn eq(&self, other: &Axiom) -> 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<Axiom> for Axiom

fn partial_cmp(&self, other: &Axiom) -> 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 Eq for Axiom

impl StructuralEq for Axiom

impl StructuralPartialEq for Axiom