@faubulous/mentor-rdf 2.4.0 → 2.5.0

package/dist/rdf/dataset-view.d.ts

@@ -26,9 +26,10 @@ export interface DatasetViewOptions {
      */
     object?: rdfjs.Term | null;
     /**
-     * Whether to include inferred triples from the inference graphs associated with the scoped
-     * graphs. If undefined, inferred triples are included when a reasoner is available. If `true`
-     * without a reasoner, an error is thrown. Only applies when the view is scoped to graphs.
+     * Whether to include inferred triples. If undefined, inferred triples are included when a
+     * reasoner is available. With graphs, `false` leaves their inference graphs out; without
+     * graphs, the view spans every graph of the store and `false` leaves every inference graph
+     * out. If `true` without a reasoner, an error is thrown.
      */
     includeInferred?: boolean;
 }
@@ -48,6 +49,10 @@ export declare class DatasetView implements rdfjs.DatasetCore<rdfjs.Quad> {
      * `undefined` means the view spans all graphs; an empty array means the view is provably empty.
      */
     private readonly _scope?;
+    /**
+     * Whether the quads of the inference graphs are left out of a view that spans all graphs.
+     */
+    private readonly _excludeInferred;
     private _cachedSize?;
     private _cachedSizeVersion;
     constructor(store: Store, options?: DatasetViewOptions);
@@ -57,6 +62,10 @@ export declare class DatasetView implements rdfjs.DatasetCore<rdfjs.Quad> {
      * until the store is modified.
      */
     get size(): number;
+    /**
+     * Count the quads of the view's pattern in the inference graphs of the store.
+     */
+    private _countInferred;
     /**
      * Not supported: the view is read-only.
      * @throws An error indicating that the view is read-only.

package/dist/rdf/reasoners/reasoner.d.ts

@@ -8,6 +8,12 @@ export interface GraphUriGenerator {
      * @param uri A URI.
      */
     getGraphUri(uri: string | rdfjs.Quad_Graph): string;
+    /**
+     * Check if a given URI is the URI of an inference graph generated by this handler.
+     * @param uri A URI.
+     * @returns `true` if the URI is an inference graph URI, `false` otherwise.
+     */
+    isInferenceGraphUri(uri: string | rdfjs.Quad_Graph): boolean;
 }
 /**
  * Default implementation of the InferenceGraphHandler interface. It generates URIs

package/dist/rdf/store.d.ts

@@ -180,6 +180,20 @@ export declare class Store implements rdfjs.DatasetCore<rdfjs.Quad> {
      * @returns `true` if the store contains triples in the graph URI, `false` otherwise.
      */
     hasGraph(graphUri: rdfjs.Quad_Graph | string): boolean;
+    /**
+     * 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: rdfjs.Quad_Graph | string): boolean;
+    /**
+     * 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(quad: rdfjs.Quad): boolean;
     /**
      * Apply inference to the given graph and store the triples in the associated inference graph.
      * @param graphUri A graph URI.
@@ -223,10 +237,11 @@ export declare class Store implements rdfjs.DatasetCore<rdfjs.Quad> {
     countQuads(subject?: rdfjs.Term | null, predicate?: rdfjs.Term | null, object?: rdfjs.Term | null, graph?: rdfjs.Term | null): number;
     /**
      * 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.
@@ -257,6 +272,10 @@ export declare class Store implements rdfjs.DatasetCore<rdfjs.Quad> {
      * @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: string | string[] | undefined, subject: rdfjs.Quad_Subject | null, predicate: rdfjs.Quad_Predicate | null, object: rdfjs.Quad_Object | null, includeInferred?: boolean): Generator<rdfjs.Quad, void, any>;
     /**
@@ -273,9 +292,11 @@ export declare class Store implements rdfjs.DatasetCore<rdfjs.Quad> {
      * 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?: string | string[], includeInferred?: boolean): DatasetView;

package/package.json

@@ -10,7 +10,7 @@
     "ontology",
     "vocabulary"
   ],
-  "version": "2.4.0",
+  "version": "2.5.0",
   "private": false,
   "author": {
     "name": "Sebastian Faubel"