hylar
A rule-based incremental reasoner for the Web.
10.0.4 • Published 3 years ago
Reasoning Packages
deductionjs
A useful tool for uncanny logical reasoning. NOTICE: This is not a real package!
ukb
Equational reasoning based on the unfailing Knuth-Bendix completion procedure
node-red-contrib-context-reasoner
nodes used to evaluate device context given an expression
@openreasoning/predicate-types
Types of Predicate Logic
@comunica/config-reasoning
default configuration files for Comunica Reasoning
@comunica/query-sparql-file-reasoning
A SPARQL query engine with reasoning capabilities for querying over decentralized RDF knowledge graphs on the Web
@comunica/query-sparql-reasoning
A SPARQL query engine with reasoning capabilities for querying over decentralized RDF knowledge graphs on the Web
@comunica/reasoning-context-entries
A collection of reusable Comunica Reasoning context key definitions.
@comunica/reasoning-mocks
Mocks for Reasoning in Comunica
@equinor/hylar
A rule-based incremental reasoner for the Web.
@faubulous/mentor-rdf
A library for working with RDF vocabularies with support for basic RDFS and OWL inference.
eye-mock
EYE mock solving your n3 reasoning on a server instead of client side Prolog execution
eyereasoner
Distributing the [EYE](https://github.com/eyereasoner/eye) reasoner for browser and node using WebAssembly.
koreografeye
A Solid choreography / orchestrator agent with a reasoning component
n32s
Notation3 (RDF Surfaces) to N3S precompiler
term-algebra
Terms and substitutions for equational reasoning.
@teasource/maiores-asperiores-molestias
A library for working with RDF vocabularies with support for basic RDFS and OWL inference.
@ilse_b/reasoning-middleware
a Prolog based IoT reasoning middleware in JavaScript
@smessie/eye-js
EYE reasoning in JavaScript with WebAssembly solving your n3 reasoning with client side Prolog execution