Search results
21 packages found
Distributing the [EYE](https://github.com/eyereasoner/eye) reasoner for browser and node using WebAssembly.
A Solid choreography / orchestrator agent with a reasoning component
Generate the Deep Taxonomy Benchmark for testing RDF Reasoners
EYE mock solving your n3 reasoning on a server instead of client side Prolog execution
A library for working with RDF vocabularies with support for basic RDFS and OWL inference.
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.
Notation3 (RDF Surfaces) to N3S precompiler
Equational reasoning based on the unfailing Knuth-Bendix completion procedure
Types of Predicate Logic
A rule-based incremental reasoner for the Web.
a Prolog based IoT reasoning middleware in JavaScript
A rule-based incremental reasoner for the Web.
A TypeScript wrapper for the EYE reasoner
Terms and substitutions for equational reasoning.
Bayes Server JavaScript API
- Bayesian network
- Belief network
- Anomaly detection
- Decision Graphs
- Influence Diagrams
- Dynamic Bayesian network
- Artificial intelligence
- Causal network
- Decision automation
- Reasoning
Mocks for Reasoning in Comunica
nodes used to evaluate device context given an expression