@faubulous/mentor-rdf 2.4.0 → 2.5.0

package/dist/index.js

@@ -4223,6 +4223,7 @@ var DatasetView = class _DatasetView {
     this._p = options.predicate ?? null;
     this._o = options.object ?? null;
     this._scope = _DatasetView._resolveScope(store, options);
+    this._excludeInferred = this._scope === void 0 && options.includeInferred === false && store.reasoner !== void 0;
   }
   static _resolveScope(store, options) {
     const graphs = options.graphs ?? options.graphUris?.map((uri) => store.dataFactory.namedNode(uri));
@@ -4257,6 +4258,9 @@ var DatasetView = class _DatasetView {
     let n = 0;
     if (this._scope === void 0) {
       n = this._store.countQuads(this._s, this._p, this._o, null);
+      if (this._excludeInferred) {
+        n -= this._countInferred();
+      }
     } else {
       for (const graph of this._scope) {
         n += this._store.countQuads(this._s, this._p, this._o, graph);
@@ -4266,6 +4270,18 @@ var DatasetView = class _DatasetView {
     this._cachedSizeVersion = this._store.version;
     return n;
   }
+  /**
+   * Count the quads of the view's pattern in the inference graphs of the store.
+   */
+  _countInferred() {
+    let n = 0;
+    for (const graphUri of this._store.getGraphs()) {
+      if (this._store.isInferenceGraph(graphUri)) {
+        n += this._store.countQuads(this._s, this._p, this._o, this._store.dataFactory.namedNode(graphUri));
+      }
+    }
+    return n;
+  }
   /**
    * Not supported: the view is read-only.
    * @throws An error indicating that the view is read-only.
@@ -4298,6 +4314,9 @@ var DatasetView = class _DatasetView {
     if (this._scope !== void 0 && !this._scope.some((graph) => graph.equals(quad5.graph))) {
       return false;
     }
+    if (this._excludeInferred && this._store.isInferenceGraph(quad5.graph)) {
+      return false;
+    }
     return this._store.has(quad5);
   }
   /**
@@ -4316,7 +4335,9 @@ var DatasetView = class _DatasetView {
     const o = _DatasetView._intersectTerm(this._o, object);
     let scope = this._scope;
     if (graph != null) {
-      if (scope === void 0 || scope.some((g) => g.equals(graph))) {
+      if (this._excludeInferred && this._store.isInferenceGraph(graph)) {
+        scope = [];
+      } else if (scope === void 0 || scope.some((g) => g.equals(graph))) {
         scope = [graph];
       } else {
         scope = [];
@@ -4330,7 +4351,7 @@ var DatasetView = class _DatasetView {
       predicate: p ?? this._p,
       object: o ?? this._o,
       graphs: scope,
-      includeInferred: false
+      includeInferred: scope !== void 0 || this._excludeInferred ? false : void 0
     });
   }
   /**
@@ -4351,7 +4372,11 @@ var DatasetView = class _DatasetView {
   }
   *_iterate() {
     if (this._scope === void 0) {
-      yield* this._store.matchQuads(this._s, this._p, this._o, null);
+      for (const quad5 of this._store.matchQuads(this._s, this._p, this._o, null)) {
+        if (!this._excludeInferred || !this._store.isInferenceGraph(quad5.graph)) {
+          yield quad5;
+        }
+      }
     } else {
       for (const graph of this._scope) {
         yield* this._store.matchQuads(this._s, this._p, this._o, graph);
@@ -10074,6 +10099,24 @@ var Store = class {
   hasGraph(graphUri) {
     return this._hasTriples(graphUri);
   }
+  /**
+   * Indicates whether a graph holds the triples the reasoner inferred from another graph.
+   * @param graph A graph term or URI.
+   * @returns `true` if the graph is an inference graph of the reasoner of this store, `false` otherwise or without a reasoner.
+   */
+  isInferenceGraph(graph) {
+    return this.reasoner !== void 0 && this.reasoner.targetUriGenerator.isInferenceGraphUri(graph);
+  }
+  /**
+   * Indicates whether a quad was inferred by the reasoner, i.e. whether it is stored in an inference
+   * graph. A triple that is asserted and inferred exists as two quads; only the quad in the inference
+   * graph is inferred.
+   * @param quad A quad.
+   * @returns `true` if the quad is stored in an inference graph, `false` otherwise.
+   */
+  isInferred(quad5) {
+    return this.isInferenceGraph(quad5.graph);
+  }
   /**
    * Apply inference to the given graph and store the triples in the associated inference graph.
    * @param graphUri A graph URI.
@@ -10160,10 +10203,11 @@ var Store = class {
   }
   /**
    * Returns a lazy, read-only dataset view of the quads matching the given pattern.
-   * Implements the RDF/JS `DatasetCore.match` semantics: the result reflects the
-   * current contents of the store and does not copy any quads. Because the view
-   * iterates the live indexes, do not add or delete quads while iterating it;
-   * take a snapshot with `Array.from(...)` first.
+   * Implements the RDF/JS `DatasetCore.match` semantics: a graph names exactly that
+   * graph and no graph means every graph of the store, inference graphs included.
+   * The result reflects the current contents of the store and does not copy any
+   * quads. Because the view iterates the live indexes, do not add or delete quads
+   * while iterating it; take a snapshot with `Array.from(...)` first.
    * @param subject The optional subject.
    * @param predicate The optional predicate.
    * @param object The optional object.
@@ -10176,7 +10220,7 @@ var Store = class {
       predicate: predicate ?? null,
       object: object ?? null,
       graphs: graph != null ? [graph] : void 0,
-      includeInferred: false
+      includeInferred: graph != null ? false : void 0
     });
   }
   /**
@@ -10208,6 +10252,10 @@ var Store = class {
    * @param subject A subject URI or null to match any subject.
    * @param predicate A predicate URI or null to match any predicate.
    * @param object An object URI or null to match any object.
+   * @param includeInferred Whether to read the inference graphs. With graphs given, `undefined` and
+   *  `true` add the inference graph of each graph when a reasoner is available and `false` reads only
+   *  the given graphs. Without graphs, `undefined` and `true` read every graph of the store and `false`
+   *  reads every graph except the inference graphs. `true` without a reasoner throws.
    */
   *matchAll(graphUris, subject, predicate, object, includeInferred) {
     if (includeInferred && !this.reasoner) {
@@ -10226,6 +10274,12 @@ var Store = class {
           yield* this._store.readQuads(s, p, o, inferenceGraph);
         }
       }
+    } else if (includeInferred === false && this.reasoner) {
+      for (const quad5 of this._store.readQuads(s, p, o, null)) {
+        if (!this.isInferenceGraph(quad5.graph)) {
+          yield quad5;
+        }
+      }
     } else {
       yield* this._store.readQuads(s, p, o, null);
     }
@@ -10246,9 +10300,11 @@ var Store = class {
    * The view is lazy and live: it reflects the current contents of the store without
    * copying any quads. If you need an immutable snapshot, copy the view into a new
    * dataset, e.g. `RdfStore.createDefault().asDataset()`.
-   * @param graphUris Optional graph URI or array of graph URIs. If undefined, all quads are included.
+   * @param graphUris Optional graph URI or array of graph URIs. If undefined, all graphs are included.
    * @param includeInferred Whether to include inferred triples. If undefined, inferred triples
-   *  are included when a reasoner is available. If `true` without a reasoner, an error is thrown.
+   *  are included when a reasoner is available. If `false`, the inference graphs of the given
+   *  graphs are left out, or, without graphs, every inference graph of the store. If `true`
+   *  without a reasoner, an error is thrown.
    * @returns A read-only dataset view of the matching quads.
    */
   getDataset(graphUris, includeInferred) {