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

use std::collections::HashMap;
use serde::{Deserialize, Serialize};

use crate::{
    api::{Ontology, IRI},
    owl::{well_known, Axiom, ClassAssertion, ClassConstructor},
};

#[derive(Debug, Clone, PartialEq, Eq, Deserialize, Serialize)]
pub struct Computation {
    iri: IRI,
    axioms: Vec<Axiom>,
}

impl Computation {
    pub fn iri(&self) -> &IRI {
        &self.iri
    }
    pub fn axioms(&self) -> &Vec<Axiom> {
        &self.axioms
    }
}

pub trait GetComputations {
    fn computations(&self) -> Vec<Computation>;
}

impl GetComputations for Ontology {
    fn computations(&self) -> Vec<Computation> {
        let mut computations: HashMap<IRI, Computation> = HashMap::new();

        for axiom in self.owl.axioms() {
            if let Axiom::ClassAssertion(ClassAssertion {
                cls,
                individual,
                annotations: _,
            }) = axiom
            {
                let individual = individual.as_iri();
                if let ClassConstructor::IRI(iri) = cls {
                    let iri = iri.as_iri();
                    if iri == &well_known::fno_Function() {
                        computations.insert(
                            individual.clone(),
                            Computation {
                                iri: individual.clone(),
                                axioms: Vec::new(),
                            },
                        );
                    }
                }
            }
        }

        for axiom in self.owl.axioms() {
            if let Some(subject) = axiom.subject() {
                if let Some(comp) = computations.get_mut(subject) {
                    comp.axioms.push(axiom.clone());
                }
            }
        }
        computations.into_values().collect()
    }
}