pyelk-reasoner 0.1.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (80) hide show
  1. pyelk_reasoner-0.1.0/CHANGELOG.md +10 -0
  2. pyelk_reasoner-0.1.0/Cargo.lock +773 -0
  3. pyelk_reasoner-0.1.0/Cargo.toml +27 -0
  4. pyelk_reasoner-0.1.0/LICENSE +201 -0
  5. pyelk_reasoner-0.1.0/MANIFEST.in +29 -0
  6. pyelk_reasoner-0.1.0/NOTICE.pyelk +65 -0
  7. pyelk_reasoner-0.1.0/PKG-INFO +340 -0
  8. pyelk_reasoner-0.1.0/README.md +296 -0
  9. pyelk_reasoner-0.1.0/THIRD_PARTY_LICENSES/BSD-3-Clause-subtle.txt +29 -0
  10. pyelk_reasoner-0.1.0/THIRD_PARTY_LICENSES/LLVM-exception.txt +15 -0
  11. pyelk_reasoner-0.1.0/THIRD_PARTY_LICENSES/MIT-generic-array.txt +21 -0
  12. pyelk_reasoner-0.1.0/THIRD_PARTY_LICENSES/README.md +17 -0
  13. pyelk_reasoner-0.1.0/THIRD_PARTY_LICENSES/Unicode-3.0.txt +39 -0
  14. pyelk_reasoner-0.1.0/THIRD_PARTY_LICENSES/inventory.toml +226 -0
  15. pyelk_reasoner-0.1.0/pyelk_build.py +70 -0
  16. pyelk_reasoner-0.1.0/pyproject.toml +182 -0
  17. pyelk_reasoner-0.1.0/rust/pyelk-core/Cargo.toml +23 -0
  18. pyelk_reasoner-0.1.0/rust/pyelk-core/src/encoded.rs +9224 -0
  19. pyelk_reasoner-0.1.0/rust/pyelk-core/src/error.rs +66 -0
  20. pyelk_reasoner-0.1.0/rust/pyelk-core/src/ir.rs +1151 -0
  21. pyelk_reasoner-0.1.0/rust/pyelk-core/src/lib.rs +22 -0
  22. pyelk_reasoner-0.1.0/rust/pyelk-core/src/properties.rs +548 -0
  23. pyelk_reasoner-0.1.0/rust/pyelk-core/src/query.rs +890 -0
  24. pyelk_reasoner-0.1.0/rust/pyelk-core/src/reasoning.rs +887 -0
  25. pyelk_reasoner-0.1.0/rust/pyelk-core/src/result.rs +72 -0
  26. pyelk_reasoner-0.1.0/rust/pyelk-core/src/session.rs +568 -0
  27. pyelk_reasoner-0.1.0/rust/pyelk-core/src/taxonomy.rs +726 -0
  28. pyelk_reasoner-0.1.0/rust/pyelk-core/src/wire.rs +270 -0
  29. pyelk_reasoner-0.1.0/rust/pyelk-pyo3/Cargo.toml +21 -0
  30. pyelk_reasoner-0.1.0/rust/pyelk-pyo3/build.rs +7 -0
  31. pyelk_reasoner-0.1.0/rust/pyelk-pyo3/src/lib.rs +2699 -0
  32. pyelk_reasoner-0.1.0/rust-toolchain.toml +4 -0
  33. pyelk_reasoner-0.1.0/setup.cfg +4 -0
  34. pyelk_reasoner-0.1.0/setup.py +126 -0
  35. pyelk_reasoner-0.1.0/src/pyelk/__init__.py +81 -0
  36. pyelk_reasoner-0.1.0/src/pyelk/_native.pyi +27 -0
  37. pyelk_reasoner-0.1.0/src/pyelk/api.py +1053 -0
  38. pyelk_reasoner-0.1.0/src/pyelk/backends/__init__.py +428 -0
  39. pyelk_reasoner-0.1.0/src/pyelk/backends/python.py +177 -0
  40. pyelk_reasoner-0.1.0/src/pyelk/backends/rust.py +389 -0
  41. pyelk_reasoner-0.1.0/src/pyelk/config.py +34 -0
  42. pyelk_reasoner-0.1.0/src/pyelk/core.py +362 -0
  43. pyelk_reasoner-0.1.0/src/pyelk/exceptions.py +110 -0
  44. pyelk_reasoner-0.1.0/src/pyelk/indexing/__init__.py +120 -0
  45. pyelk_reasoner-0.1.0/src/pyelk/indexing/builder.py +513 -0
  46. pyelk_reasoner-0.1.0/src/pyelk/indexing/codec.py +755 -0
  47. pyelk_reasoner-0.1.0/src/pyelk/indexing/compiler.py +421 -0
  48. pyelk_reasoner-0.1.0/src/pyelk/indexing/conversion.py +841 -0
  49. pyelk_reasoner-0.1.0/src/pyelk/indexing/encoded.py +322 -0
  50. pyelk_reasoner-0.1.0/src/pyelk/indexing/ir.py +622 -0
  51. pyelk_reasoner-0.1.0/src/pyelk/indexing/metadata.py +219 -0
  52. pyelk_reasoner-0.1.0/src/pyelk/indexing/polarity.py +42 -0
  53. pyelk_reasoner-0.1.0/src/pyelk/indexing/registration.py +384 -0
  54. pyelk_reasoner-0.1.0/src/pyelk/indexing/summary.py +143 -0
  55. pyelk_reasoner-0.1.0/src/pyelk/inputs.py +396 -0
  56. pyelk_reasoner-0.1.0/src/pyelk/owl/__init__.py +12 -0
  57. pyelk_reasoner-0.1.0/src/pyelk/py.typed +0 -0
  58. pyelk_reasoner-0.1.0/src/pyelk/reasoning/__init__.py +1 -0
  59. pyelk_reasoner-0.1.0/src/pyelk/reasoning/completeness.py +452 -0
  60. pyelk_reasoner-0.1.0/src/pyelk/reasoning/conclusions.py +261 -0
  61. pyelk_reasoner-0.1.0/src/pyelk/reasoning/consistency.py +150 -0
  62. pyelk_reasoner-0.1.0/src/pyelk/reasoning/contexts.py +203 -0
  63. pyelk_reasoner-0.1.0/src/pyelk/reasoning/contracts.py +518 -0
  64. pyelk_reasoner-0.1.0/src/pyelk/reasoning/entailment.py +107 -0
  65. pyelk_reasoner-0.1.0/src/pyelk/reasoning/properties.py +799 -0
  66. pyelk_reasoner-0.1.0/src/pyelk/reasoning/queries.py +883 -0
  67. pyelk_reasoner-0.1.0/src/pyelk/reasoning/realization.py +418 -0
  68. pyelk_reasoner-0.1.0/src/pyelk/reasoning/reduction.py +304 -0
  69. pyelk_reasoner-0.1.0/src/pyelk/reasoning/rules.py +1269 -0
  70. pyelk_reasoner-0.1.0/src/pyelk/reasoning/saturation.py +440 -0
  71. pyelk_reasoner-0.1.0/src/pyelk/reasoning/session.py +170 -0
  72. pyelk_reasoner-0.1.0/src/pyelk/reasoning/taxonomy.py +290 -0
  73. pyelk_reasoner-0.1.0/src/pyelk/reasoning/wire.py +346 -0
  74. pyelk_reasoner-0.1.0/src/pyelk/result.py +286 -0
  75. pyelk_reasoner-0.1.0/src/pyelk_reasoner.egg-info/PKG-INFO +340 -0
  76. pyelk_reasoner-0.1.0/src/pyelk_reasoner.egg-info/SOURCES.txt +78 -0
  77. pyelk_reasoner-0.1.0/src/pyelk_reasoner.egg-info/dependency_links.txt +1 -0
  78. pyelk_reasoner-0.1.0/src/pyelk_reasoner.egg-info/not-zip-safe +1 -0
  79. pyelk_reasoner-0.1.0/src/pyelk_reasoner.egg-info/requires.txt +11 -0
  80. pyelk_reasoner-0.1.0/src/pyelk_reasoner.egg-info/top_level.txt +1 -0
pyelk_reasoner-0.1.0/CHANGELOG.md ADDED
@@ -0,0 +1,10 @@
1
+ # Changelog
2
+
3
+ All notable changes to pyELK are documented here.
4
+
5
+ ## 0.1.0 — 2026-07-30
6
+
7
+ - Publish the Java-free OWL 2 EL reasoner with pure-Python fallback and optional Rust acceleration.
8
+ - Consume the released `pyowl-core>=0.1,<0.2` structural model and encoded-view contract.
9
+ - Include deterministic source, universal-wheel, native-wheel, license, SBOM, and provenance controls.
10
+ - Provide taxonomy, realization, entailment, consistency, and class-expression query APIs.