owl-structural-model 2.0.4

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

//! Checked construction for annotation axiom families.
use crate::{AnnotationSubject, AnnotationValue, Axiom, AxiomAnnotations};
use iri_rfc3987::Iri;
impl<L, B> Axiom<L, B> {
    /// Construct `AnnotationAssertion` without axiom annotations.
    #[must_use]
    pub fn annotation_assertion(
        property: Iri<String>,
        subject: AnnotationSubject<B>,
        value: AnnotationValue<L, B>,
    ) -> Self {
        Self::AnnotationAssertion {
            property,
            subject,
            value,
            annotations: AxiomAnnotations::empty(),
        }
    }
    /// Construct `SubAnnotationPropertyOf` without axiom annotations.
    #[must_use]
    pub fn sub_annotation_property_of(
        sub_property: Iri<String>,
        super_property: Iri<String>,
    ) -> Self {
        Self::SubAnnotationPropertyOf {
            sub_property,
            super_property,
            annotations: AxiomAnnotations::empty(),
        }
    }
    /// Construct `AnnotationPropertyDomain` without axiom annotations.
    #[must_use]
    pub fn annotation_property_domain(property: Iri<String>, domain: Iri<String>) -> Self {
        Self::AnnotationPropertyDomain {
            property,
            domain,
            annotations: AxiomAnnotations::empty(),
        }
    }
    /// Construct `AnnotationPropertyRange` without axiom annotations.
    #[must_use]
    pub fn annotation_property_range(property: Iri<String>, range: Iri<String>) -> Self {
        Self::AnnotationPropertyRange {
            property,
            range,
            annotations: AxiomAnnotations::empty(),
        }
    }
}