rdflib-reasoning 0.1.0.post1.dev83__py3-none-any.whl

rdflib_reasoning/__init__.py

@@ -0,0 +1,13 @@
+"""Namespace package for rdflib-reasoning subpackages."""
+
+from pkgutil import extend_path
+
+# extend_path prevents the metapackage from exclusively owning the namespace by
+# widening the package’s search path to include sibling contributions. It is
+# basically the older explicit-namespace mechanism that predates
+# PEP 420 implicit namespaces.
+#
+# We're using is to that we can attach metadata and documentation to the
+# root namespace as-needed. Each of the subprojects would be unable to do that
+# without accidentally "claiming" the root namespace.
+__path__ = extend_path(__path__, __name__)

rdflib_reasoning-0.1.0.post1.dev83.dist-info/METADATA

@@ -0,0 +1,178 @@
+Metadata-Version: 2.4
+Name: rdflib-reasoning
+Version: 0.1.0.post1.dev83
+Summary: Axiomatization of graphs for RDFLib
+License: MIT License
+        
+        Copyright (c) 2026 rdflib-reasoning contributors
+        
+        Permission is hereby granted, free of charge, to any person obtaining a copy
+        of this software and associated documentation files (the "Software"), to deal
+        in the Software without restriction, including without limitation the rights
+        to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+        copies of the Software, and to permit persons to whom the Software is
+        furnished to do so, subject to the following conditions:
+        
+        The above copyright notice and this permission notice shall be included in all
+        copies or substantial portions of the Software.
+        
+        THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+        IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+        FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+        AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+        LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+        OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+        SOFTWARE.
+License-File: LICENSE
+Requires-Python: >=3.14
+Requires-Dist: rdflib
+Requires-Dist: rdflib-reasoning-axioms
+Requires-Dist: rdflib-reasoning-engine
+Requires-Dist: rdflib-reasoning-middleware
+Provides-Extra: dev
+Requires-Dist: beautifulsoup4; extra == 'dev'
+Requires-Dist: build; extra == 'dev'
+Requires-Dist: mypy; extra == 'dev'
+Requires-Dist: myst-parser; extra == 'dev'
+Requires-Dist: pip-audit; extra == 'dev'
+Requires-Dist: pre-commit; extra == 'dev'
+Requires-Dist: pytest; extra == 'dev'
+Requires-Dist: pytest-cov; extra == 'dev'
+Requires-Dist: rdflib-reasoning-axioms[dev]; extra == 'dev'
+Requires-Dist: rdflib-reasoning-engine[dev]; extra == 'dev'
+Requires-Dist: rdflib-reasoning-middleware[dev]; extra == 'dev'
+Requires-Dist: ruff; extra == 'dev'
+Requires-Dist: sphinx; extra == 'dev'
+Requires-Dist: sphinx-autoapi; extra == 'dev'
+Requires-Dist: twine; extra == 'dev'
+Provides-Extra: research
+Requires-Dist: ipykernel; extra == 'research'
+Requires-Dist: jupyter; extra == 'research'
+Requires-Dist: rdflib-reasoning-middleware[notebook]; extra == 'research'
+Description-Content-Type: text/markdown
+
+# rdflib-reasoning
+
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
+[![Project Status: WIP – Initial development is in progress, but there has not yet been a stable, usable release suitable for the public.](https://www.repostatus.org/badges/latest/wip.svg)](https://www.repostatus.org/#wip)
+
+[![PyPI Version](https://img.shields.io/pypi/v/rdflib-reasoning.svg)](https://pypi.org/project/rdflib-reasoning/)
+![PyPI - Python Version](https://img.shields.io/pypi/pyversions/rdflib-reasoning)
+
+[![Coverage](https://raw.githubusercontent.com/kvjrhall/rdflib-reasoning/python-coverage-comment-action-data/badge.svg)](https://github.com/kvjrhall/rdflib-reasoning/tree/python-coverage-comment-action-data)
+
+`rdflib-reasoning` is a monorepo for Python packages and notebooks used to study how tool-grounded Research Agents interact with RDF graphs and formal reasoning systems.
+
+The repository is organized around one practical research question:
+
+> When do tool-grounded Research Agent harnesses outperform direct prompting on multi-step formal reasoning tasks that require external knowledge retrieval, knowledge-base updates, and verifiable inference?
+
+## Reviewer Guide
+
+If you are reviewing this repository quickly, start here:
+
+1. Read this file for the repository layout and install paths.
+2. Read [docs/dev/architecture.md](./docs/dev/architecture.md) for the current technical direction.
+3. Inspect [rdflib-reasoning-engine](./rdflib-reasoning-engine/) for the reasoning core.
+4. Inspect [rdflib-reasoning-middleware](./rdflib-reasoning-middleware/) for Research Agent integration.
+5. Inspect [notebooks](./notebooks/) for the research surface and experiments.
+
+## Repository Roles
+
+This repository distinguishes between two agent types. Canonical definitions are in [AGENTS.md](./AGENTS.md).
+
+- **Research Agent**: The deployed or runtime agent that is the subject of research. It sees middleware, tools, system prompts, and generated schema; it does not see the repository or design documentation.
+- **Development Agent**: The code agent that reads repository documentation, modifies code and docs, and develops code for the Research Agent.
+
+## Repository Layout
+
+| Path | Purpose |
+| --- | --- |
+| [notebooks](./notebooks/) | Analysis notebooks and research experiments |
+| [rdflib-reasoning-axioms](./rdflib-reasoning-axioms/) | Graph axiomatization primitives |
+| [rdflib-reasoning-engine](./rdflib-reasoning-engine/) | RETE-based RDFS and OWL 2 RL entailment |
+| [rdflib-reasoning-middleware](./rdflib-reasoning-middleware/) | Middleware and Research Agent-facing data interchange |
+| [docs/dev](./docs/dev/) | Architecture notes, decision records, and development guidance |
+| [docs/specs](./docs/specs/) | Cached specifications optimized for development work |
+
+API and developer documentation can be generated locally with `make docs` and served from the
+generated HTML output with `make docs-serve`.
+
+## Component Overview
+
+Research on agents takes place in [Analysis Notebooks](./notebooks/), uses the [LangChain ecosystem](https://www.langchain.com/), and depends on packages defined in this repository. Those packages build on [RDFLib](https://github.com/RDFLib/rdflib) for semantic-web support and on [Pydantic](https://docs.pydantic.dev/latest/) for Research Agent-friendly schemas.
+
+```mermaid
+---
+config:
+  theme: 'base'
+---
+block-beta
+columns 3
+  Notebooks("Analysis Notebooks"):3
+  Deepagents:1 ReasoningMiddleware["rdflib-reasoning-middleware"]:2
+  LangGraph:2
+  block:RdflibAbstraction:1
+    columns 1
+    Reasoning["rdflib-reasoning-engine"]:1
+    Axioms["rdflib-reasoning-axioms"]:1
+  end
+  LangChain:2 RDFLib:1
+
+  %% Agent Note: The remainder of this block is styling for humans and can be ignored
+
+  classDef Research fill:#fdb462,stroke:black
+  class Notebooks Research
+
+  classDef LangChainEcosystem fill:#80b1d3,stroke:blue
+  class Deepagents,LangGraph,LangChain LangChainEcosystem
+
+  classDef SupportingPackage fill:#b3de69,stroke:black
+  class ReasoningMiddleware,Reasoning,Axioms SupportingPackage
+
+  classDef SemanticWeb fill:#ccebc5,stroke:darkgreen
+  class RDFLib SemanticWeb
+```
+
+## Installation
+
+Development in this repository is expected to use the `rdflib-reasoning` conda environment.
+
+Base install:
+
+```sh
+pip install -e .
+```
+
+Developer tooling:
+
+```sh
+pip install -e .[dev]
+```
+
+Notebook and research tooling:
+
+```sh
+pip install -e .[research]
+```
+
+Full local workspace:
+
+```sh
+pip install -e .[dev,research]
+```
+
+If you use `uv`, the equivalent commands are:
+
+```sh
+uv sync
+uv sync --extra dev
+uv sync --extra research
+uv sync --extra dev --extra research
+```
+
+The root `Makefile` wraps those commands with `install`, `install-dev`, `install-research`, `install-all`, and `notebook`.
+
+## Why This Repository Exists
+
+RDFLib does not by itself provide a clean path for graph axiomatization, Research Agent-oriented schema exposure, and inspectable reasoning workflows. This repository packages those concerns into reusable libraries and research notebooks so that formal-logic experiments with agents are easier to build, evaluate, and explain.

rdflib_reasoning-0.1.0.post1.dev83.dist-info/RECORD

@@ -0,0 +1,6 @@
+rdflib_reasoning/__init__.py,sha256=Yzx4y_UMhIfzT-oM-HrJ5pnqUbplQS22re0WH93Vuqs,598
+rdflib_reasoning/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+rdflib_reasoning-0.1.0.post1.dev83.dist-info/METADATA,sha256=DYQWtlCHyXdVfTw_96NWDGl8cGr-1_ovCr1b35W53bk,7624
+rdflib_reasoning-0.1.0.post1.dev83.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
+rdflib_reasoning-0.1.0.post1.dev83.dist-info/licenses/LICENSE,sha256=upc972J0_dn59AJkQawFX-Ns0GTz2VF346YIWp5exhw,1086
+rdflib_reasoning-0.1.0.post1.dev83.dist-info/RECORD,,

rdflib_reasoning-0.1.0.post1.dev83.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: hatchling 1.29.0
+Root-Is-Purelib: true
+Tag: py3-none-any

rdflib_reasoning-0.1.0.post1.dev83.dist-info/licenses/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 rdflib-reasoning contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.