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
EYE reasoning in JavaScript with WebAssembly solving your n3 reasoning with client side Prolog execution
default configuration files for Comunica Reasoning
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
A rule-based incremental reasoner for the Web.
A library for working with RDF vocabularies with support for basic RDFS and OWL inference.
EYE mock solving your n3 reasoning on a server instead of client side Prolog execution
Distributing the [EYE](https://github.com/eyereasoner/eye) reasoner for browser and node using WebAssembly.
A Solid choreography / orchestrator agent with a reasoning component
Notation3 (RDF Surfaces) to N3S precompiler
Terms and substitutions for equational reasoning.
A library for working with RDF vocabularies with support for basic RDFS and OWL inference.
a Prolog based IoT reasoning middleware in JavaScript