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