owlish 0.28.0

OWL 2 implementation with wasm support and turtle parsing
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

use serde::{Deserialize, Serialize};

use crate::{
    error::Error,
    owl::{Axiom, IRIList, IndividualIRI, ObjectPropertyConstructor, IRI},
};
use crate::owl::ResourceId;

use super::Annotation;

#[derive(Debug, Clone, Eq, PartialEq, Deserialize, Serialize)]
pub struct ObjectPropertyIRI(IRI);

impl From<IRI> for ObjectPropertyIRI {
    fn from(iri: IRI) -> Self {
        Self(iri)
    }
}
impl From<ObjectPropertyIRI> for ObjectPropertyConstructor {
    fn from(iri: ObjectPropertyIRI) -> Self {
        Self::IRI(iri)
    }
}
impl TryFrom<&str> for ObjectPropertyIRI {
    type Error = Error;

    fn try_from(value: &str) -> Result<Self, Self::Error> {
        IRI::try_from(value).map(|iri| iri.into())
    }
}
impl ObjectPropertyIRI {
    pub fn as_iri(&self) -> &IRI {
        &self.0
    }
}

#[derive(Debug, Clone, Eq, PartialEq, serde::Deserialize, serde::Serialize)]
pub struct ObjectPropertyAssertion {
    /// Known IDs of reifications of this assertion.
    #[serde(rename = "resourceIds")]
    pub resource_ids: Vec<ResourceId>,
    pub subject: IndividualIRI,
    pub iri: ObjectPropertyIRI,
    pub object: IRIList,
    pub annotations: Vec<Annotation>,
}

impl ObjectPropertyAssertion {
    pub fn new(
        iri: ObjectPropertyIRI,
        subject: IndividualIRI,
        object: IndividualIRI,
        annotations: Vec<Annotation>,
        resource_ids: Vec<ResourceId>,
    ) -> Self {
        Self {
            iri,
            subject,
            object: IRIList::IRI(object.as_iri().clone()),
            annotations,
            resource_ids,
        }
    }
    pub fn new_with_list(
        iri: ObjectPropertyIRI,
        subject: IndividualIRI,
        object: Vec<IRI>,
        annotations: Vec<Annotation>,
        resource_ids: Vec<ResourceId>,
    ) -> Self {
        Self {
            resource_ids,
            iri,
            subject,
            object: IRIList::List(object),
            annotations,
        }
    }
}

#[derive(Debug, Clone, Eq, PartialEq, serde::Deserialize, serde::Serialize)]
pub struct NegativeObjectPropertyAssertion {
    pub iri: ObjectPropertyIRI,
    pub subject: IndividualIRI,
    pub object: IndividualIRI,
    pub annotations: Vec<Annotation>,
}

impl NegativeObjectPropertyAssertion {
    pub fn new(
        iri: ObjectPropertyIRI,
        subject: IndividualIRI,
        object: IndividualIRI,
        annotations: Vec<Annotation>,
    ) -> Self {
        Self {
            iri,
            subject,
            object,
            annotations,
        }
    }
}
impl From<ObjectPropertyAssertion> for Axiom {
    fn from(opa: ObjectPropertyAssertion) -> Self {
        Self::ObjectPropertyAssertion(opa)
    }
}

#[cfg(feature = "wasm")]
mod wasm {
    use wasm_bindgen::prelude::wasm_bindgen;

    #[wasm_bindgen(typescript_custom_section)]
    const WASM_API1: &'static str = r#"
/**
 * Assigngs an ObjectProperty to two Individuals.
 */
export type ObjectPropertyAssertion = {
    /**
     * The IRI of the property.
     */
    iri: IRI,
    /**
     * The subject Individual.
     */
    subject: IRI,
    /**
     * The object Individual(s).
     */
    object: IRIList,
    annotations: Array<Annotation>,
};
"#;

    #[wasm_bindgen(typescript_custom_section)]
    const WASM_API2: &'static str = r#"
/**
 * Opposite of ObjectPropertyAssertion.
 */
export type NegativeObjectPropertyAssertion = {
    /**
     * The IRI of the property.
     */
    iri: IRI,
    /**
     * The subject Individual.
     */
    subject: IRI,
    /**
     * The object Individual
     */
    object: IRI,
    annotations: Array<Annotation>,
};
"#;
}