owl-structural-model 2.0.3

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

//! Cardinality and data-property restriction constructors.
use crate::ObjectPropertyExpression;
use crate::{
    Cardinality, ClassExpression, DataRange, OperandList, RDFS_LITERAL, StructuralModelError,
};
use iri_rfc3987::Iri;
impl<L, B> ClassExpression<L, B> {
    /// Create an object minimum cardinality restriction; no filler means owl:Thing.
    #[must_use]
    pub fn object_min_cardinality(
        cardinality: Cardinality,
        property: ObjectPropertyExpression,
        filler: Option<Self>,
    ) -> Self {
        Self::ObjectMinCardinality {
            cardinality,
            property,
            filler: Box::new(filler.unwrap_or_else(Self::thing)),
        }
    }
    /// Create an object maximum cardinality restriction; no filler means owl:Thing.
    #[must_use]
    pub fn object_max_cardinality(
        cardinality: Cardinality,
        property: ObjectPropertyExpression,
        filler: Option<Self>,
    ) -> Self {
        Self::ObjectMaxCardinality {
            cardinality,
            property,
            filler: Box::new(filler.unwrap_or_else(Self::thing)),
        }
    }
    /// Create an object exact cardinality restriction; no filler means owl:Thing.
    #[must_use]
    pub fn object_exact_cardinality(
        cardinality: Cardinality,
        property: ObjectPropertyExpression,
        filler: Option<Self>,
    ) -> Self {
        Self::ObjectExactCardinality {
            cardinality,
            property,
            filler: Box::new(filler.unwrap_or_else(Self::thing)),
        }
    }
    /// Create a data some-values restriction with ordered property positions.
    /// # Errors
    /// Rejects an empty property list. Datatype arity is checked by semantic validators.
    pub fn data_some_values_from(
        properties: Vec<Iri<String>>,
        range: DataRange<L>,
    ) -> Result<Self, StructuralModelError> {
        Ok(Self::DataSomeValuesFrom {
            properties: OperandList::try_new(properties)?,
            range,
        })
    }
    /// Create a data all-values restriction with ordered property positions.
    /// # Errors
    /// Rejects an empty property list. Datatype arity is checked by semantic validators.
    pub fn data_all_values_from(
        properties: Vec<Iri<String>>,
        range: DataRange<L>,
    ) -> Result<Self, StructuralModelError> {
        Ok(Self::DataAllValuesFrom {
            properties: OperandList::try_new(properties)?,
            range,
        })
    }
    /// Create a data-value restriction without evaluating the literal.
    #[must_use]
    pub fn data_has_value(property: Iri<String>, value: L) -> Self {
        Self::DataHasValue { property, value }
    }
    /// Create a data minimum cardinality restriction; no range means rdfs:Literal.
    #[must_use]
    pub fn data_min_cardinality(
        cardinality: Cardinality,
        property: Iri<String>,
        range: Option<DataRange<L>>,
    ) -> Self {
        Self::DataMinCardinality {
            cardinality,
            property,
            range: range.unwrap_or_else(|| DataRange::datatype(Self::builtin(RDFS_LITERAL))),
        }
    }
    /// Create a data maximum cardinality restriction; no range means rdfs:Literal.
    #[must_use]
    pub fn data_max_cardinality(
        cardinality: Cardinality,
        property: Iri<String>,
        range: Option<DataRange<L>>,
    ) -> Self {
        Self::DataMaxCardinality {
            cardinality,
            property,
            range: range.unwrap_or_else(|| DataRange::datatype(Self::builtin(RDFS_LITERAL))),
        }
    }
    /// Create a data exact cardinality restriction; no range means rdfs:Literal.
    #[must_use]
    pub fn data_exact_cardinality(
        cardinality: Cardinality,
        property: Iri<String>,
        range: Option<DataRange<L>>,
    ) -> Self {
        Self::DataExactCardinality {
            cardinality,
            property,
            range: range.unwrap_or_else(|| DataRange::datatype(Self::builtin(RDFS_LITERAL))),
        }
    }
}