Niche Portobello Mushroom

    14 packages found

    Equational reasoning based on the unfailing Knuth-Bendix completion procedure

    published 1.2.0 22 days ago
    M
    Q
    P

    a Prolog based IoT reasoning middleware in JavaScript

    published 1.0.3 4 months ago
    M
    Q
    P

    nodes used to evaluate device context given an expression

    published 0.1.4 3 years ago
    M
    Q
    P

    A rule-based incremental reasoner for the Web.

    published 10.0.4 a year ago
    M
    Q
    P

    A collection of reusable Comunica Reasoning context key definitions.

    published 0.0.2-alpha.7.0 3 months ago
    M
    Q
    P

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

    published 0.0.2-alpha.7.0 3 months ago
    M
    Q
    P

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

    published 0.0.2-alpha.7.0 3 months ago
    M
    Q
    P

    default configuration files for Comunica Reasoning

    published 0.0.2-alpha.7.0 3 months ago
    M
    Q
    P

    Types of Predicate Logic

    published 0.2.0 2 years ago
    M
    Q
    P

    Mocks for Reasoning in Comunica

    published 0.0.2-alpha.7.0 3 months ago
    M
    Q
    P

    A rule-based incremental reasoner for the Web.

    published 0.0.15 3 months ago
    M
    Q
    P

    A TypeScript wrapper for the EYE reasoner

    published 0.0.2 3 years ago
    M
    Q
    P
    M
    Q
    P

    A useful tool for uncanny logical reasoning. NOTICE: This is not a real package!

    published 0.0.1 6 years ago
    M
    Q
    P