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