reasonable 0.4.4

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
41
42
43
44

[package]
name = "reasonable"
version.workspace = true
edition.workspace = true
license.workspace = true
authors.workspace = true
description.workspace = true
repository.workspace = true
homepage.workspace = true

[dependencies]
# core stack (oxrdf/rio + friends)
rio_turtle.workspace = true
rio_api.workspace = true
oxrdf.workspace = true
datafrog.workspace = true
disjoint-sets.workspace = true
log.workspace = true
thiserror = "1.0"
quick-xml = "0.36"

[features]
default = []
# RDF 1.2 (RDF-star) coexistence: enables a feature-gated match arm
# over `TermRef::Triple(_)` so `reasonable` compiles in workspaces that
# pull in `oxrdf` with its `rdf-12` feature enabled (e.g., alongside
# `shacl` 0.3.x via `rudof_rdf`). `reasonable` itself does not
# implement RDF-star reasoning; the arm panics if a quoted-triple term
# is encountered. Strictly additive when off.
rdf-12 = ["oxrdf/rdf-12"]

[dev-dependencies]
criterion = { version = "0.5", features = ["html_reports"] }

[[bench]]
name = "my_benchmark"
harness = false
path = "../benches/my_benchmark.rs"

[profile.release]
debug = true

[package.metadata.maturin]
name = "reasonable"