An OWL 2 RL reasoner with reasonable performance
Comparing performance of reasonable with OWLRL and Allegro. Evaluation consisted of loading Brick models of different sizes into the respective reasoning engine and timing how long it took to produce the materialization. reasonable is about 7x faster than Allegro and 38x faster than OWLRL on this workload.
To facilitate usage, we use the pyo3 project to generate Python 3.x bindings to this project.
Installing these should be as easy as pip install reasonable.
See also the brickschema package for working with Brick models. The package provides a generic interface to this reasoner and several others.
Usage looks like:
```python import reasonable
import rdflib g = rdflib.Graph() g.parse("examplemodels/ontologies/Brick.n3", format="n3") g.parse("examplemodels/small1.n3", format="n3")
r = reasonable.PyReasoner() r.from_graph(g) triples = r.reason() print("from rdflib:", len(triples))
r = reasonable.PyReasoner() r.loadfile("examplemodels/ontologies/Brick.n3") r.loadfile("examplemodels/small1.n3") triples = r.reason() print("from files:", len(triples)) ```
See Rust docs
Example of usage from Rust:
```rust use ::reasonable::owl::Reasoner; use std::env; use std::time::Instant; use log::info;
fn main() { envlogger::init(); let mut r = Reasoner::new(); env::args().skip(1).map(|filename| { info!("Loading file {}", &filename); r.loadfile(&filename).unwrap() }).count(); let reasoningstart = Instant::now(); info!("Starting reasoning"); r.reason(); info!("Reasoning completed in {:.02}sec", reasoningstart.elapsed().assecsf64()); r.dump_file("output.ttl").unwrap(); } ```
Using rule definitions from here.
TODO: implement RDF/RDFS entailment semantics as described here
Note: haven't implemented rules that produce exceptions; waiting to determine the best way of handling these errors.
|Completed| Rule name | Notes |
|---------|----------|-------|
| no | eq-ref | implementation is very inefficient; causes lots of flux |
| yes| eq-sym | |
| yes| eq-trans | |
| yes| eq-rep-s | |
| yes| eq-rep-p | |
| yes| eq-rep-o | |
| no | eq-diff1 | throws exception |
| no | eq-diff2 | throws exception |
| no | eq-diff3 | throws exception |
|Completed| Rule name | Notes |
|---------|----------|-------|
| no | prp-ap | |
| yes | prp-dom | |
| yes | prp-rng | |
| yes | prp-fp | |
| yes | prp-ifp | |
| yes | prp-irp | throws exception |
| yes | prp-symp | |
| yes | prp-asyp | throws exception |
| yes | prp-trp | |
| yes | prp-spo1 | |
| no | prp-spo2 | |
| yes | prp-eqp1 | |
| yes | prp-eqp2 | |
| yes | prp-pdw | throws exception |
| no | prp-adp | throws exception |
| yes | prp-inv1 | |
| yes | prp-inv2 | |
| no | prp-key | |
| no | prp-npa1 | throws exception |
| no | prp-npa2 | throws exception |
|Completed| Rule name | Notes |
|---------|----------|-------|
| yes| cls-thing | |
| yes| cls-nothing1 | |
| yes| cls-nothing2 | throws exception |
| yes| cls-int1 | |
| yes| cls-int2 | |
| yes| cls-uni | |
| yes| cls-com | throws exception |
| yes| cls-svf1 | |
| yes| cls-svf2 | |
| yes| cls-avf | |
| yes| cls-hv1 | |
| yes| cls-hv2 | |
| no | cls-maxc1 | throws exception |
| no | cls-maxc2 | |
| no | cls-maxqc1 | throws exception |
| no | cls-maxqc2 | throws exception |
| no | cls-maxqc3 | |
| no | cls-maxqc4 | |
| no | cls-oo | |
|Completed| Rule name | Notes |
|---------|----------|-------|
| yes| cax-sco | |
| yes| cax-eqc1 | |
| yes| cax-eqc2 | |
| yes| cax-dw | throws exception |
| no | cax-adc | throws exception |
To publish new versions of reasonable, tag a commit with the version (e.g. v1.3.2) and push the tag to GitHub. This will execute the publish action which builds an uploads to PyPi.