hylar
A rule-based incremental reasoner for the Web.
A rule-based incremental reasoner for the Web.
A useful tool for uncanny logical reasoning. NOTICE: This is not a real package!
Equational reasoning based on the unfailing Knuth-Bendix completion procedure
nodes used to evaluate device context given an expression
Types of Predicate Logic
A SPARQL query engine with reasoning capabilities for querying over decentralized RDF knowledge graphs on the Web
A SPARQL query engine with reasoning capabilities for querying over decentralized RDF knowledge graphs on the Web
A collection of reusable Comunica Reasoning context key definitions.
Mocks for Reasoning in Comunica
default configuration files for Comunica Reasoning
Terms and substitutions for equational reasoning.
A library for working with RDF vocabularies with support for basic RDFS and OWL inference.
A rule-based incremental reasoner for the Web.
a Prolog based IoT reasoning middleware in JavaScript
🧬 ModelMix - Unified API for Diverse AI LLM.
Notation3 (RDF Surfaces) to N3S precompiler
A Solid choreography / orchestrator agent with a reasoning component
Deep reasoning MCP Server
Distributing the [EYE](https://github.com/eyereasoner/eye) reasoner for browser and node using WebAssembly.
EYE mock solving your n3 reasoning on a server instead of client side Prolog execution