rustdl 0.3.4__tar.gz → 0.3.8__tar.gz

{rustdl-0.3.4 → rustdl-0.3.8}/Cargo.lock

@@ -1037,7 +1037,7 @@ checksum = "384b8ab6d37215f3c5301a95a4accb5d64aa607f1fcb26a11b5303878451b4fe"
 
 [[package]]
 name = "owl-dl-bench"
-version = "0.3.4"
+version = "0.3.8"
 dependencies = [
  "anyhow",
  "clap",
@@ -1054,7 +1054,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-cli"
-version = "0.3.4"
+version = "0.3.8"
 dependencies = [
  "anyhow",
  "clap",
@@ -1066,7 +1066,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-core"
-version = "0.3.4"
+version = "0.3.8"
 dependencies = [
  "bitvec",
  "bumpalo",
@@ -1080,7 +1080,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-datatypes"
-version = "0.3.4"
+version = "0.3.8"
 dependencies = [
  "owl-dl-core",
  "proptest",
@@ -1090,7 +1090,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-py"
-version = "0.3.4"
+version = "0.3.8"
 dependencies = [
  "horned-owl",
  "owl-dl-core",
@@ -1101,7 +1101,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-reasoner"
-version = "0.3.4"
+version = "0.3.8"
 dependencies = [
  "dashmap",
  "horned-owl",
@@ -1117,7 +1117,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-saturation"
-version = "0.3.4"
+version = "0.3.8"
 dependencies = [
  "dashmap",
  "fixedbitset",
@@ -1133,7 +1133,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-tableau"
-version = "0.3.4"
+version = "0.3.8"
 dependencies = [
  "bitvec",
  "bumpalo",
@@ -2569,7 +2569,7 @@ dependencies = [
 
 [[package]]
 name = "xtask"
-version = "0.3.4"
+version = "0.3.8"
 dependencies = [
  "anyhow",
  "clap",

{rustdl-0.3.4 → rustdl-0.3.8}/Cargo.toml

@@ -3,7 +3,7 @@ resolver = "2"
 members = ["crates/owl-dl-core", "crates/owl-dl-saturation", "crates/owl-dl-tableau", "crates/owl-dl-datatypes", "crates/owl-dl-reasoner", "crates/owl-dl-py"]
 
 [workspace.package]
-version = "0.3.4"
+version = "0.3.8"
 edition = "2024"
 rust-version = "1.88"
 license = "Apache-2.0 OR MIT"
@@ -15,11 +15,11 @@ keywords = ["owl", "ontology", "reasoner", "description-logic", "semantic-web"]
 categories = ["science", "data-structures"]
 
 [workspace.dependencies]
-owl-dl-core = { path = "crates/owl-dl-core", version = "0.3.4" }
-owl-dl-saturation = { path = "crates/owl-dl-saturation", version = "0.3.4" }
-owl-dl-tableau = { path = "crates/owl-dl-tableau", version = "0.3.4" }
-owl-dl-datatypes = { path = "crates/owl-dl-datatypes", version = "0.3.4" }
-owl-dl-reasoner = { path = "crates/owl-dl-reasoner", version = "0.3.4" }
+owl-dl-core = { path = "crates/owl-dl-core", version = "0.3.8" }
+owl-dl-saturation = { path = "crates/owl-dl-saturation", version = "0.3.8" }
+owl-dl-tableau = { path = "crates/owl-dl-tableau", version = "0.3.8" }
+owl-dl-datatypes = { path = "crates/owl-dl-datatypes", version = "0.3.8" }
+owl-dl-reasoner = { path = "crates/owl-dl-reasoner", version = "0.3.8" }
 
 horned-owl = { version = "1.4", default-features = false }
 

{rustdl-0.3.4 → rustdl-0.3.8}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: rustdl
-Version: 0.3.4
+Version: 0.3.8
 Classifier: Development Status :: 4 - Beta
 Classifier: Intended Audience :: Science/Research
 Classifier: License :: OSI Approved :: Apache Software License
@@ -117,7 +117,11 @@ result = rustdl.classify_bytes(data, format="ofn", *, per_pair_timeout_ms=1000,
   **incomplete**. When that happens, an `IncompleteClassificationWarning`
   is emitted and `result.complete` is `False`. Pass `0` for the complete,
   unbounded classification. The default bounds pathological SROIQ inputs
-  so classification can't hang silently.
+  so classification can't hang silently. Conversely, on nominal-heavy
+  ontologies (e.g. the W3C wine ontology) the engines never terminate on
+  the hard pairs and only burn the full budget, so a *low* value like
+  `per_pair_timeout_ms=25` is much faster with no completeness loss
+  (wine: 7.5× faster, identical hierarchy, MISSED=0 vs HermiT).
 - `saturation_only` — skip the tableau entirely; EL-closure-only
   under-approximation. Dramatically faster on mostly-EL ontologies, and
   always `complete` (no tableau ⇒ no timeout).

{rustdl-0.3.4/crates/owl-dl-py → rustdl-0.3.8}/README.md

@@ -92,7 +92,11 @@ result = rustdl.classify_bytes(data, format="ofn", *, per_pair_timeout_ms=1000,
   **incomplete**. When that happens, an `IncompleteClassificationWarning`
   is emitted and `result.complete` is `False`. Pass `0` for the complete,
   unbounded classification. The default bounds pathological SROIQ inputs
-  so classification can't hang silently.
+  so classification can't hang silently. Conversely, on nominal-heavy
+  ontologies (e.g. the W3C wine ontology) the engines never terminate on
+  the hard pairs and only burn the full budget, so a *low* value like
+  `per_pair_timeout_ms=25` is much faster with no completeness loss
+  (wine: 7.5× faster, identical hierarchy, MISSED=0 vs HermiT).
 - `saturation_only` — skip the tableau entirely; EL-closure-only
   under-approximation. Dramatically faster on mostly-EL ontologies, and
   always `complete` (no tableau ⇒ no timeout).

{rustdl-0.3.4 → rustdl-0.3.8}/crates/owl-dl-core/README.md

@@ -181,6 +181,14 @@ Requires Rust 1.88+.
 # the budget default to "not subsumed".
 ./target/release/rustdl classify --pair-timeout-ms 200 path/to/ontology.ofn
 
+# Tip: on nominal-heavy ontologies (e.g. the W3C wine ontology) the
+# engines never terminate on the hard pairs — they only burn the full
+# budget and time out without finding anything. A *low* deadline is then
+# much faster at no completeness cost. Measured on wine: 412 s -> 55 s
+# (7.5x), byte-identical hierarchy, MISSED=0 vs HermiT. Only pizza-class
+# ontologies genuinely need the larger 1000 ms default.
+./target/release/rustdl classify --pair-timeout-ms 25 path/to/wine.ofn
+
 # Saturation-only mode — skips every tableau probe. Closure-only
 # under-approximation: every reported subsumption holds, but
 # subsumptions that need tableau reasoning are missed. Dramatically