reasonable 0.2.0-alpha

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

use reasonable::reasoner::Reasoner;

use log::info;
use std::env;
use std::time::Instant;

fn main() {
    env_logger::init();
    let mut r = Reasoner::new();
    env::args()
        .skip(1)
        .map(|filename| {
            info!("Loading file {}", &filename);
            r.load_file(&filename).unwrap()
        })
        .count();
    let reasoning_start = Instant::now();
    info!("Starting reasoning");
    r.reason();
    info!(
        "Reasoning completed in {:.02}sec",
        reasoning_start.elapsed().as_secs_f64()
    );
    r.dump_file("output.ttl").unwrap();
}