reasonable 0.3.2

An OWL 2 RL reasoner with reasonable performance
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

use crate::common::URI;

use oxrdf::{IriParseError, NamedNode, Term};
use std::collections::HashMap;

pub struct URIIndex {
    fwd: HashMap<Term, URI>,
    rev: Vec<Term>,
}

impl URIIndex {
    pub fn new() -> Self {
        // Reserve 0 as a sentinel to preserve existing behavior
        let mut rev = Vec::with_capacity(1024);
        let sentinel = Term::NamedNode(NamedNode::new_unchecked("urn:_".to_string()));
        rev.push(sentinel.clone());
        let mut fwd = HashMap::new();
        fwd.insert(sentinel, 0);
        URIIndex { fwd, rev }
    }

    pub fn put(&mut self, key: Term) -> URI {
        if let Some(&id) = self.fwd.get(&key) {
            return id;
        }
        let id = self.rev.len() as URI;
        self.rev.push(key.clone());
        self.fwd.insert(key, id);
        id
    }

    pub fn put_str(&mut self, key: &'static str) -> Result<URI, IriParseError> {
        let term = Term::NamedNode(NamedNode::new(key)?);
        Ok(self.put(term))
    }

    pub fn get(&self, key: URI) -> Option<&Term> {
        self.rev.get(key as usize)
    }
}