owl-structural-model 1.0.0

Typed OWL 2 structural values for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159

//! Property-axiom construction and uniform axiom annotations.

use iri_rfc3987::Iri;

use crate::{Axiom, AxiomAnnotations, ObjectPropertyExpression, SubObjectPropertyExpression};

impl<L, B> Axiom<L, B> {
    /// Create an object subproperty or property-chain inclusion without annotations.
    #[must_use]
    pub fn sub_object_property_of(
        sub_property: SubObjectPropertyExpression,
        super_property: ObjectPropertyExpression,
    ) -> Self {
        Self::SubObjectPropertyOf {
            sub_property,
            super_property,
            annotations: AxiomAnnotations::empty(),
        }
    }

    /// Create a functional object property axiom without annotations.
    #[must_use]
    pub fn functional_object_property(property: ObjectPropertyExpression) -> Self {
        Self::FunctionalObjectProperty {
            property,
            annotations: AxiomAnnotations::empty(),
        }
    }

    /// Create a inverse-functional object property axiom without annotations.
    #[must_use]
    pub fn inverse_functional_object_property(property: ObjectPropertyExpression) -> Self {
        Self::InverseFunctionalObjectProperty {
            property,
            annotations: AxiomAnnotations::empty(),
        }
    }

    /// Create a reflexive object property axiom without annotations.
    #[must_use]
    pub fn reflexive_object_property(property: ObjectPropertyExpression) -> Self {
        Self::ReflexiveObjectProperty {
            property,
            annotations: AxiomAnnotations::empty(),
        }
    }

    /// Create a irreflexive object property axiom without annotations.
    #[must_use]
    pub fn irreflexive_object_property(property: ObjectPropertyExpression) -> Self {
        Self::IrreflexiveObjectProperty {
            property,
            annotations: AxiomAnnotations::empty(),
        }
    }

    /// Create a symmetric object property axiom without annotations.
    #[must_use]
    pub fn symmetric_object_property(property: ObjectPropertyExpression) -> Self {
        Self::SymmetricObjectProperty {
            property,
            annotations: AxiomAnnotations::empty(),
        }
    }

    /// Create a asymmetric object property axiom without annotations.
    #[must_use]
    pub fn asymmetric_object_property(property: ObjectPropertyExpression) -> Self {
        Self::AsymmetricObjectProperty {
            property,
            annotations: AxiomAnnotations::empty(),
        }
    }

    /// Create a transitive object property axiom without annotations.
    #[must_use]
    pub fn transitive_object_property(property: ObjectPropertyExpression) -> Self {
        Self::TransitiveObjectProperty {
            property,
            annotations: AxiomAnnotations::empty(),
        }
    }

    /// Create a functional data property axiom without annotations.
    #[must_use]
    pub fn functional_data_property(property: Iri<String>) -> Self {
        Self::FunctionalDataProperty {
            property,
            annotations: AxiomAnnotations::empty(),
        }
    }

    /// Return this axiom's annotations.
    #[must_use]
    pub fn annotations(&self) -> &AxiomAnnotations<L, B> {
        match self {
            Self::Declaration { annotations, .. }
            | Self::SubClassOf { annotations, .. }
            | Self::EquivalentClasses { annotations, .. }
            | Self::DisjointClasses { annotations, .. }
            | Self::ObjectPropertyDomain { annotations, .. }
            | Self::AnnotationAssertion { annotations, .. }
            | Self::SubObjectPropertyOf { annotations, .. }
            | Self::FunctionalObjectProperty { annotations, .. }
            | Self::InverseFunctionalObjectProperty { annotations, .. }
            | Self::ReflexiveObjectProperty { annotations, .. }
            | Self::IrreflexiveObjectProperty { annotations, .. }
            | Self::SymmetricObjectProperty { annotations, .. }
            | Self::AsymmetricObjectProperty { annotations, .. }
            | Self::TransitiveObjectProperty { annotations, .. }
            | Self::EquivalentObjectProperties { annotations, .. }
            | Self::DisjointObjectProperties { annotations, .. }
            | Self::InverseObjectProperties { annotations, .. }
            | Self::ObjectPropertyRange { annotations, .. }
            | Self::SubDataPropertyOf { annotations, .. }
            | Self::EquivalentDataProperties { annotations, .. }
            | Self::DisjointDataProperties { annotations, .. }
            | Self::DataPropertyDomain { annotations, .. }
            | Self::DataPropertyRange { annotations, .. }
            | Self::DatatypeDefinition { annotations, .. }
            | Self::HasKey { annotations, .. }
            | Self::FunctionalDataProperty { annotations, .. } => annotations,
        }
    }

    /// Replace this axiom's annotations, preserving its structural operands.
    #[must_use]
    pub fn with_annotations(mut self, new_annotations: AxiomAnnotations<L, B>) -> Self {
        match &mut self {
            Self::Declaration { annotations, .. }
            | Self::SubClassOf { annotations, .. }
            | Self::EquivalentClasses { annotations, .. }
            | Self::DisjointClasses { annotations, .. }
            | Self::ObjectPropertyDomain { annotations, .. }
            | Self::AnnotationAssertion { annotations, .. }
            | Self::SubObjectPropertyOf { annotations, .. }
            | Self::FunctionalObjectProperty { annotations, .. }
            | Self::InverseFunctionalObjectProperty { annotations, .. }
            | Self::ReflexiveObjectProperty { annotations, .. }
            | Self::IrreflexiveObjectProperty { annotations, .. }
            | Self::SymmetricObjectProperty { annotations, .. }
            | Self::AsymmetricObjectProperty { annotations, .. }
            | Self::TransitiveObjectProperty { annotations, .. }
            | Self::EquivalentObjectProperties { annotations, .. }
            | Self::DisjointObjectProperties { annotations, .. }
            | Self::InverseObjectProperties { annotations, .. }
            | Self::ObjectPropertyRange { annotations, .. }
            | Self::SubDataPropertyOf { annotations, .. }
            | Self::EquivalentDataProperties { annotations, .. }
            | Self::DisjointDataProperties { annotations, .. }
            | Self::DataPropertyDomain { annotations, .. }
            | Self::DataPropertyRange { annotations, .. }
            | Self::DatatypeDefinition { annotations, .. }
            | Self::HasKey { annotations, .. }
            | Self::FunctionalDataProperty { annotations, .. } => *annotations = new_annotations,
        }
        self
    }
}