Enum horned_owl::model::Axiom [−][src]
pub enum Axiom { OntologyAnnotation(OntologyAnnotation), DeclareClass(DeclareClass), DeclareObjectProperty(DeclareObjectProperty), DeclareAnnotationProperty(DeclareAnnotationProperty), SubClass(SubClass), EquivalentClass(EquivalentClass), DisjointClass(DisjointClass), SubObjectProperty(SubObjectProperty), InverseObjectProperty(InverseObjectProperty), TransitiveObjectProperty(TransitiveObjectProperty), AssertAnnotation(AssertAnnotation), SubAnnotationProperty(SubAnnotationProperty), }
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, SubClass
) which contains the data
which defines the axiom (i.e. super and sub class for
SubClass
). Second, is a variant of the AxiomKind
,
which is used to identify all instances of a particular
kind of axiom (i.e. any SubClass
axiom will return an
instance of AxiomKind::SubClass). Finally, we have a
variant of this enum, which contains one of the structs
(i.e. Axiom::SubClass(SubClass)), which is used as a union
type for all structs. The struct and enum variants all
share identical names.
Variants
OntologyAnnotation(OntologyAnnotation)
DeclareClass(DeclareClass)
DeclareObjectProperty(DeclareObjectProperty)
DeclareAnnotationProperty(DeclareAnnotationProperty)
SubClass(SubClass)
EquivalentClass(EquivalentClass)
DisjointClass(DisjointClass)
SubObjectProperty(SubObjectProperty)
InverseObjectProperty(InverseObjectProperty)
TransitiveObjectProperty(TransitiveObjectProperty)
AssertAnnotation(AssertAnnotation)
SubAnnotationProperty(SubAnnotationProperty)
Trait Implementations
impl From<Axiom> for AnnotatedAxiom
[src]
impl From<Axiom> for AnnotatedAxiom
fn from(axiom: Axiom) -> AnnotatedAxiom
[src]
fn from(axiom: Axiom) -> AnnotatedAxiom
Performs the conversion.
impl Clone for Axiom
[src]
impl Clone for Axiom
fn clone(&self) -> Axiom
[src]
fn clone(&self) -> Axiom
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl Debug for Axiom
[src]
impl Debug for Axiom
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Eq for Axiom
[src]
impl Eq for Axiom
impl Hash for Axiom
[src]
impl Hash for Axiom
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more
impl Ord for Axiom
[src]
impl Ord for Axiom
fn cmp(&self, other: &Axiom) -> Ordering
[src]
fn cmp(&self, other: &Axiom) -> Ordering
This method returns an Ordering
between self
and other
. Read more
fn max(self, other: Self) -> Self
1.21.0[src]
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
fn min(self, other: Self) -> Self
1.21.0[src]
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
impl PartialEq for Axiom
[src]
impl PartialEq for Axiom
fn eq(&self, other: &Axiom) -> bool
[src]
fn eq(&self, other: &Axiom) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &Axiom) -> bool
[src]
fn ne(&self, other: &Axiom) -> bool
This method tests for !=
.
impl PartialOrd for Axiom
[src]
impl PartialOrd for Axiom
fn partial_cmp(&self, other: &Axiom) -> Option<Ordering>
[src]
fn partial_cmp(&self, other: &Axiom) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
fn lt(&self, other: &Axiom) -> bool
[src]
fn lt(&self, other: &Axiom) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
fn le(&self, other: &Axiom) -> bool
[src]
fn le(&self, other: &Axiom) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
fn gt(&self, other: &Axiom) -> bool
[src]
fn gt(&self, other: &Axiom) -> bool
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
fn ge(&self, other: &Axiom) -> bool
[src]
fn ge(&self, other: &Axiom) -> bool
This method tests greater than or equal to (for self
and other
) and is used by the >=
operator. Read more
impl Kinded for Axiom
[src]
impl Kinded for Axiom
impl From<OntologyAnnotation> for Axiom
[src]
impl From<OntologyAnnotation> for Axiom
fn from(ax: OntologyAnnotation) -> Axiom
[src]
fn from(ax: OntologyAnnotation) -> Axiom
Performs the conversion.
impl From<DeclareClass> for Axiom
[src]
impl From<DeclareClass> for Axiom
fn from(ax: DeclareClass) -> Axiom
[src]
fn from(ax: DeclareClass) -> Axiom
Performs the conversion.
impl From<DeclareObjectProperty> for Axiom
[src]
impl From<DeclareObjectProperty> for Axiom
fn from(ax: DeclareObjectProperty) -> Axiom
[src]
fn from(ax: DeclareObjectProperty) -> Axiom
Performs the conversion.
impl From<DeclareAnnotationProperty> for Axiom
[src]
impl From<DeclareAnnotationProperty> for Axiom
fn from(ax: DeclareAnnotationProperty) -> Axiom
[src]
fn from(ax: DeclareAnnotationProperty) -> Axiom
Performs the conversion.
impl From<SubClass> for Axiom
[src]
impl From<SubClass> for Axiom
impl From<EquivalentClass> for Axiom
[src]
impl From<EquivalentClass> for Axiom
fn from(ax: EquivalentClass) -> Axiom
[src]
fn from(ax: EquivalentClass) -> Axiom
Performs the conversion.
impl From<DisjointClass> for Axiom
[src]
impl From<DisjointClass> for Axiom
fn from(ax: DisjointClass) -> Axiom
[src]
fn from(ax: DisjointClass) -> Axiom
Performs the conversion.
impl From<SubObjectProperty> for Axiom
[src]
impl From<SubObjectProperty> for Axiom
fn from(ax: SubObjectProperty) -> Axiom
[src]
fn from(ax: SubObjectProperty) -> Axiom
Performs the conversion.
impl From<InverseObjectProperty> for Axiom
[src]
impl From<InverseObjectProperty> for Axiom
fn from(ax: InverseObjectProperty) -> Axiom
[src]
fn from(ax: InverseObjectProperty) -> Axiom
Performs the conversion.
impl From<TransitiveObjectProperty> for Axiom
[src]
impl From<TransitiveObjectProperty> for Axiom
fn from(ax: TransitiveObjectProperty) -> Axiom
[src]
fn from(ax: TransitiveObjectProperty) -> Axiom
Performs the conversion.
impl From<AssertAnnotation> for Axiom
[src]
impl From<AssertAnnotation> for Axiom
fn from(ax: AssertAnnotation) -> Axiom
[src]
fn from(ax: AssertAnnotation) -> Axiom
Performs the conversion.
impl From<SubAnnotationProperty> for Axiom
[src]
impl From<SubAnnotationProperty> for Axiom
fn from(ax: SubAnnotationProperty) -> Axiom
[src]
fn from(ax: SubAnnotationProperty) -> Axiom
Performs the conversion.