eye-js

EYE reasoning in JavaScript with WebAssembly solving your n3 reasoning with client side Prolog execution

Deprecated

This package is deprecated in favor of eyereasoner/eye-js. All functionality is now implemented there.

Usage

Install the package via NPM

npm install @smessie/eye-js

Import and use the function in your code

import { n3reasoner} from 'eye-js';

const data = `
@prefix : <urn:example.org:> .
:Alice a :Person .
{ ?S a :Person } => { ?S a :Human } .
`;

const query = `{?S ?P ?O . } => {?S ?P ?O . } .`;

const options = { output: "derivations", blogic: false };

const result = await n3reasoner(data, query, options);

Options

The options parameter is optional and can be used to configure the reasoning process. The following options are available:

• output: What to output.
  • derivations: output only new derived triples, a.k.a --pass-only-new (default)
  • deductive_closure: output deductive closure, a.k.a --pass
  • deductive_closure_plus_rules: output deductive closure plus rules, a.k.a --pass-all
  • grounded_deductive_closure_plus_rules: ground the rules and output deductive closure plus rules, a.k.a --pass-all-ground
• blogic: Whether to use the blogic or not. Used to support RDF surfaces.
  • true: use blogic
  • false: do not use blogic (default)

How this works

This package is a wrapper around the eyereasoner/eye-js package and makes it to be in line with the eye-mock package having the same interface, more on this below.

It is thus an EYE reasoner to be used in the browser or Node, built with the technology of SWI-Prolog in the browser using WebAssembly.

Pass your data and query as n3 strings to the n3reasoner function, and it will return the resulting triples as a n3 string.

Server version

Need for more computation power? Check out eye-mock which is a server version of this package. It works with the same interface and is a drop-in replacement. Just change your import from eye-js to eye-mock and profit from the server power.