Package Exports

hylar-core

This package does not declare an exports field, so the exports above have been automatically detected and optimized by JSPM instead. If any package subpath is missing, it is recommended to post an issue to the original package (hylar-core) to support the "exports" field. If that is not possible, create a JSPM override to customize the exports field for this package.

Readme

hylar-core

A lightweight module containing core reasoner logic from HyLAR (https://github.com/ucbl/HyLAR-Reasoner.git)

Usage

import { incremental, factsToQuads, quadsToFacts, owl2rl } from 'hylar-core';
import { Store, Parser } from 'n3';

const parser = new Parser();

const shaclConstraint = parser.parse(`
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix ex: <http://example.org/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

ex:myShape a sh:NodeShape ;
  sh:property [
    sh:path foaf:friend ;
  ] .
`);

(async () => {
  // Store to hold explicitly loaded triples
  const explicit = new Store();
  // Store to hold implicitly loaded triples
  const implicit = new Store();

  const ontologyQuads = await (await import('@on2ts/ontologies-sh')).array();

  const { additions, deletions } = await incremental(quadsToFacts(ontologyQuads), [], [], [], owl2rl)
  
  implicit.addQuads(factsToQuads(additions).implicit);
  implicit.removeQuads(factsToQuads(deletions).implicit);

  explicit.addQuads(factsToQuads(additions).explicit);
  explicit.removeQuads(factsToQuads(deletions).explicit);
  
  const { additions: shaclAdditions, deletions: shaclDeletions } = await incremental(
    quadsToFacts(shaclConstraint),
    [],
    quadsToFacts(implicit.getQuads(null, null, null, null)),
    quadsToFacts(explicit.getQuads(null, null, null, null)),
    owl2rl
  );
  
  implicit.addQuads(factsToQuads(shaclAdditions).implicit);
  implicit.removeQuads(factsToQuads(shaclDeletions).implicit);
  
  explicit.addQuads(factsToQuads(shaclAdditions).explicit);
  explicit.removeQuads(factsToQuads(shaclDeletions).explicit);

  /**
   * Implicit store now contains inferenced triples including
   * 
   * _b:1 a sh:PropertyShape ;   (from owl2rl inferences)
   */
})();