Search results

21 packages found

A library for working with RDF vocabularies with support for basic RDFS and OWL inference.

published 0.2.5 13 hours ago
M
Q
P

Distributing the [EYE](https://github.com/josd/eye) reasoner for browser and node using WebAssembly.

published 12.8.5 21 hours ago
M
Q
P

Equational reasoning based on the unfailing Knuth-Bendix completion procedure

published 1.2.1 a year ago
M
Q
P

a Prolog based IoT reasoning middleware in JavaScript

published 1.0.3 2 years ago
M
Q
P

EYE mock solving your n3 reasoning on a server instead of client side Prolog execution

published 2.0.0 6 months ago
M
Q
P

A Solid choreography / orchestrator agent with a reasoning component

published 0.4.8 20 days ago
M
Q
P

A rule-based incremental reasoner for the Web.

published 10.0.4 3 years ago
M
Q
P

Notation3 (RDF Surfaces) to N3S precompiler

published 0.0.4 8 months ago
M
Q
P

default configuration files for Comunica Reasoning

published 0.2.0 a year ago
M
Q
P

A SPARQL query engine with reasoning capabilities for querying over decentralized RDF knowledge graphs on the Web

published 0.2.0 a year ago
M
Q
P

A SPARQL query engine with reasoning capabilities for querying over decentralized RDF knowledge graphs on the Web

published 0.2.0 a year ago
M
Q
P

Generate the Deep Taxonomy Benchmark for testing RDF Reasoners

published 1.1.1 a year ago
M
Q
P

A rule-based incremental reasoner for the Web.

published 0.0.15 2 years ago
M
Q
P

A collection of reusable Comunica Reasoning context key definitions.

published 0.2.0 a year ago
M
Q
P

nodes used to evaluate device context given an expression

published 0.1.4 5 years ago
M
Q
P

Mocks for Reasoning in Comunica

published 0.2.0 a year ago
M
Q
P

Types of Predicate Logic

published 0.2.0 4 years ago
M
Q
P

Terms and substitutions for equational reasoning.

published 0.9.0 a year ago
M
Q
P

A TypeScript wrapper for the EYE reasoner

published 0.0.3 a year ago
M
Q
P
M
Q
P