Demo project that integrates the EYE (eyereasoner) WASM reasoner into CogitareLink’s reason_over pipeline,
enabling N3 rule execution alongside SHACL and SPARQL.
- Python 3.11 or higher
- Node.js 16 or higher
Clone the repo and enter its directory:
git clone https://github.com/LA3D/n3-eye.git
cd n3-eyeCreate and activate a virtual environment, then install Python dependencies:
python3 -m venv .venv
source .venv/bin/activate
pip install --upgrade pip
pip install .Install Node dependencies for the EYE runner:
npm installVerify that patches are applied and the Node runner is available:
python main.pyRun the demo agent (set OPENAI_API_KEY for LLM-driven flow; otherwise it falls back to a direct EYE invocation):
export OPENAI_API_KEY=<YOUR_API_KEY>
python demo_agent.pyRun the test suite:
pytest -qpatch_reason_sandbox.py: monkey-patchreason_overto support N3/EYE rulespatch_reason_tool.py: extends the OpenAI function bridge and patchesreason_tooldemo_agent.py: Cosette-based demo agent demonstrating both LLM and direct tool invocationmain.py: CLI script to verify patch applicationjs/eye-runner.mjs: Node.js runner for EYE WASMtests/: unit tests covering sandbox and tool patches
- Integrate SHACL validation and SPARQL CONSTRUCT in the unified pipeline
- Enhance natural-language summaries and system prompts
- Capture and expose proof objects in provenance for auditing
- Provide an interactive UI or REST API for end users