Search results

21 packages found

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

published version 17.0.2, 2 days ago

Maintenance: 33%. Quality: 64%. Popularity: 3%.

A Solid choreography / orchestrator agent with a reasoning component

published version 0.5.0, 8 months ago

Maintenance: 33%. Quality: 53%. Popularity: 3%.

Generate the Deep Taxonomy Benchmark for testing RDF Reasoners

published version 2.0.0, 3 months ago

Maintenance: 33%. Quality: 54%. Popularity: 1%.

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

published version 3.0.0, 4 months ago

Maintenance: 33%. Quality: 51%. Popularity: 0%.

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

published version 0.2.49, 17 days ago

Maintenance: 33%. Quality: 42%. Popularity: 0%.

Notation3 (RDF Surfaces) to N3S precompiler

published version 0.0.4, a year ago

Maintenance: 12%. Quality: 44%. Popularity: 0%.

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

published version 0.2.0, 2 years ago

Maintenance: None. Quality: 52%. Popularity: 2%.

default configuration files for Comunica Reasoning

published version 0.2.0, 2 years ago

Maintenance: None. Quality: 52%. Popularity: 2%.

Equational reasoning based on the unfailing Knuth-Bendix completion procedure

published version 1.2.1, 2 years ago

Maintenance: 4%. Quality: 51%. Popularity: 0%.

Types of Predicate Logic

published version 0.2.0, 4 years ago

Maintenance: None. Quality: 53%. Popularity: 0%.

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

published version 0.2.0, 2 years ago

Maintenance: None. Quality: 52%. Popularity: 0%.

A rule-based incremental reasoner for the Web.

published version 0.0.15, 3 years ago

Maintenance: 10%. Quality: 41%. Popularity: 0%.

A rule-based incremental reasoner for the Web.

published version 10.0.4, 4 years ago

Maintenance: None. Quality: 51%. Popularity: 0%.

a Prolog based IoT reasoning middleware in JavaScript

published version 1.0.3, 3 years ago

Maintenance: None. Quality: 51%. Popularity: 0%.

A TypeScript wrapper for the EYE reasoner

published version 0.0.3, 2 years ago

Maintenance: 4%. Quality: 45%. Popularity: 0%.

Terms and substitutions for equational reasoning.

published version 0.9.0, 2 years ago

Maintenance: 6%. Quality: 41%. Popularity: 1%.

A collection of reusable Comunica Reasoning context key definitions.

published version 0.2.0, 2 years ago

Maintenance: None. Quality: 42%. Popularity: 3%.

Maintenance: None. Quality: 42%. Popularity: 0%.

Mocks for Reasoning in Comunica

published version 0.2.0, 2 years ago

Maintenance: None. Quality: 32%. Popularity: 0%.

nodes used to evaluate device context given an expression

published version 0.1.4, 6 years ago

Maintenance: None. Quality: 30%. Popularity: 0%.