@oml/owl 0.7.0

package/out/owl/owl-sparql.js

@@ -0,0 +1,260 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+// NOTE: Comunica's QueryEngine attempts to spawn workers during construction.
+// This works in Node.js and browser main thread. For browser Web Worker contexts (language server),
+// the Worker constructor is mocked in browser-server.ts to prevent nested worker spawning while
+// allowing Comunica to initialize and execute queries successfully (without parallel execution).
+import { QueryEngine } from '@comunica/query-sparql';
+import { Store } from 'n3';
+import { deriveSelectQueryFromShacl } from './owl-shacl.js';
+export const deriveSelectQueryFromShape = deriveSelectQueryFromShacl;
+export class SparqlService {
+    constructor(reasoningStore, importGraph, aboxEntailmentCache, reasoningService) {
+        this.reasoningStore = reasoningStore;
+        this.importGraph = importGraph;
+        this.aboxEntailmentCache = aboxEntailmentCache;
+        this.reasoningService = reasoningService;
+        this.engine = new QueryEngine();
+        this.filteredStoreCache = new Map();
+        this.dirtyFilteredStores = new Set();
+    }
+    /**
+     * Executes a SPARQL query over the model's reasoned context.
+     * Queries must use explicit GRAPH patterns to access data.
+     * Available named graphs for a model context are:
+     *   <modelNamespace>               - asserted quads
+     *   <modelNamespace__entailments>  - inferred quads
+     * The same pattern applies to all models in the import closure.
+     */
+    async query(modelUri, sparql) {
+        try {
+            this.ensureFreshEntailments(modelUri);
+            return await this.querySelect(modelUri, sparql);
+        }
+        catch (error) {
+            let warnings = [];
+            try {
+                warnings = this.toMissingModelsWarnings(this.getQueryContext(modelUri).missingModels);
+            }
+            catch {
+                warnings = [];
+            }
+            return {
+                success: false,
+                rows: [],
+                warnings,
+                error: error instanceof Error ? error.message : String(error),
+            };
+        }
+    }
+    /**
+     * Executes a SPARQL SELECT query over currently available store state.
+     * This method does not trigger inference refresh.
+     * The same named-graph contract applies as query(): explicit GRAPH patterns are required.
+     */
+    async queryRaw(modelUri, sparql) {
+        return this.querySelect(modelUri, sparql);
+    }
+    async construct(modelUri, sparql) {
+        try {
+            this.ensureFreshEntailments(modelUri);
+            const queryContext = this.getQueryContext(modelUri);
+            const warnings = this.composeWarnings(modelUri, queryContext.missingModels);
+            const filteredStore = this.getOrCreateFilteredStore(modelUri, queryContext);
+            const baseIRI = this.resolveBaseIri(modelUri);
+            const quadsStream = await this.engine.queryQuads(sparql, {
+                sources: [filteredStore],
+                unionDefaultGraph: true,
+                baseIRI,
+            });
+            const quads = [];
+            for await (const inferred of quadsStream) {
+                quads.push(inferred);
+            }
+            return {
+                success: true,
+                quads,
+                warnings,
+            };
+        }
+        catch (error) {
+            return {
+                success: false,
+                quads: [],
+                warnings: [],
+                error: error instanceof Error ? error.message : String(error),
+            };
+        }
+    }
+    async ask(modelUri, sparql) {
+        try {
+            this.ensureFreshEntailments(modelUri);
+            const queryContext = this.getQueryContext(modelUri);
+            const warnings = this.composeWarnings(modelUri, queryContext.missingModels);
+            const filteredStore = this.getOrCreateFilteredStore(modelUri, queryContext);
+            const baseIRI = this.resolveBaseIri(modelUri);
+            const result = await this.engine.queryBoolean(sparql, {
+                sources: [filteredStore],
+                unionDefaultGraph: true,
+                baseIRI,
+            });
+            return {
+                success: true,
+                result,
+                warnings,
+            };
+        }
+        catch (error) {
+            return {
+                success: false,
+                result: false,
+                warnings: [],
+                error: error instanceof Error ? error.message : String(error),
+            };
+        }
+    }
+    getAvailableGraphs(modelUri) {
+        return this.getQueryContext(modelUri).graphs;
+    }
+    invalidateFilteredStore(modelUri) {
+        this.filteredStoreCache.delete(modelUri);
+        this.dirtyFilteredStores.add(modelUri);
+    }
+    removeFilteredStore(modelUri) {
+        this.filteredStoreCache.delete(modelUri);
+        this.dirtyFilteredStores.delete(modelUri);
+    }
+    async querySelect(modelUri, sparql) {
+        try {
+            const queryContext = this.getQueryContext(modelUri);
+            const warnings = this.composeWarnings(modelUri, queryContext.missingModels);
+            const filteredStore = this.getOrCreateFilteredStore(modelUri, queryContext);
+            const baseIRI = this.resolveBaseIri(modelUri);
+            const bindingsStream = await this.engine.queryBindings(sparql, {
+                sources: [filteredStore],
+                unionDefaultGraph: true,
+                baseIRI,
+            });
+            const rows = [];
+            for await (const binding of bindingsStream) {
+                const row = new Map();
+                binding.forEach((value, variable) => {
+                    if (!this.isQueryValueTerm(value)) {
+                        return;
+                    }
+                    const variableName = variable.value;
+                    row.set(variableName, this.toRdfTerm(value));
+                });
+                rows.push(row);
+            }
+            return {
+                success: true,
+                rows,
+                warnings,
+            };
+        }
+        catch (error) {
+            const queryContext = this.getQueryContext(modelUri);
+            const warnings = this.composeWarnings(modelUri, queryContext.missingModels);
+            return {
+                success: false,
+                rows: [],
+                warnings,
+                error: error instanceof Error ? error.message : String(error),
+            };
+        }
+    }
+    ensureFreshEntailments(modelUri) {
+        const closure = [modelUri, ...this.importGraph.dependenciesOf(modelUri)];
+        const requiresRefresh = closure.some((uri) => this.aboxEntailmentCache.isDirty(uri) || this.aboxEntailmentCache.isAbsent(uri));
+        if (requiresRefresh) {
+            this.reasoningService.runInference(modelUri);
+        }
+    }
+    resolveBaseIri(modelUri) {
+        try {
+            return this.reasoningStore.graphs(modelUri).own.value;
+        }
+        catch {
+            return modelUri;
+        }
+    }
+    getQueryContext(modelUri) {
+        const allUris = [modelUri, ...this.importGraph.dependenciesOf(modelUri)];
+        const seen = new Set();
+        const graphs = [];
+        const missingModels = [];
+        for (const uri of allUris) {
+            let own;
+            let entailments;
+            try {
+                ({ own, entailments } = this.reasoningStore.graphs(uri));
+            }
+            catch {
+                missingModels.push(uri);
+                continue;
+            }
+            for (const graph of [own, entailments]) {
+                if (seen.has(graph.value)) {
+                    continue;
+                }
+                seen.add(graph.value);
+                graphs.push(graph);
+            }
+        }
+        return { graphs, missingModels };
+    }
+    toRdfTerm(term) {
+        if (term.termType === 'NamedNode') {
+            return { termType: 'NamedNode', value: term.value };
+        }
+        if (term.termType === 'BlankNode') {
+            return { termType: 'BlankNode', value: term.value };
+        }
+        const literal = term;
+        return {
+            termType: 'Literal',
+            value: term.value,
+            datatype: literal.datatype.value,
+            language: literal.language,
+        };
+    }
+    isQueryValueTerm(term) {
+        return term.termType === 'NamedNode' || term.termType === 'BlankNode' || term.termType === 'Literal';
+    }
+    toMissingModelsWarnings(missingModels) {
+        return missingModels.map((modelUri) => `Model not loaded: ${modelUri}`);
+    }
+    composeWarnings(modelUri, missingModels) {
+        const closureWarnings = [modelUri, ...this.importGraph.dependenciesOf(modelUri)]
+            .flatMap((uri) => this.aboxEntailmentCache.getValidationWarnings(uri));
+        return [...new Set([...this.toMissingModelsWarnings(missingModels), ...closureWarnings])];
+    }
+    createFilteredStore(graphs) {
+        const filteredStore = new Store();
+        const mainStore = this.reasoningStore.getStore();
+        const seenTriples = new Set();
+        for (const graph of graphs) {
+            const uniqueQuads = mainStore.getQuads(null, null, null, graph).filter((quad) => {
+                const key = `${quad.subject.id}|${quad.predicate.id}|${quad.object.id}`;
+                if (seenTriples.has(key)) {
+                    return false;
+                }
+                seenTriples.add(key);
+                return true;
+            });
+            filteredStore.addQuads(uniqueQuads);
+        }
+        return filteredStore;
+    }
+    getOrCreateFilteredStore(modelUri, queryContext) {
+        const cached = this.filteredStoreCache.get(modelUri);
+        if (cached && !this.dirtyFilteredStores.has(modelUri)) {
+            return cached;
+        }
+        const store = this.createFilteredStore(queryContext.graphs);
+        this.filteredStoreCache.set(modelUri, store);
+        this.dirtyFilteredStores.delete(modelUri);
+        return store;
+    }
+}
+//# sourceMappingURL=owl-sparql.js.map

package/out/owl/owl-sparql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"owl-sparql.js","sourceRoot":"","sources":["../../src/owl/owl-sparql.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,8EAA8E;AAC9E,oGAAoG;AACpG,gGAAgG;AAChG,iGAAiG;AACjG,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAI3B,OAAO,EAAE,0BAA0B,EAAgC,MAAM,gBAAgB,CAAC;AAsC1F,MAAM,CAAC,MAAM,0BAA0B,GAAG,0BAA0B,CAAC;AAErE,MAAM,OAAO,aAAa;IAKtB,YACqB,cAAwB,EACxB,WAA2B,EAC3B,mBAA2C,EAC3C,gBAAoC;QAHpC,mBAAc,GAAd,cAAc,CAAU;QACxB,gBAAW,GAAX,WAAW,CAAgB;QAC3B,wBAAmB,GAAnB,mBAAmB,CAAwB;QAC3C,qBAAgB,GAAhB,gBAAgB,CAAoB;QARxC,WAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC3B,uBAAkB,GAAG,IAAI,GAAG,EAAiB,CAAC;QAC9C,wBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAOtD,CAAC;IAEJ;;;;;;;OAOG;IACH,KAAK,CAAC,KAAK,CAAC,QAAgB,EAAE,MAAc;QACxC,IAAI,CAAC;YACD,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;YACtC,OAAO,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACpD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,QAAQ,GAAa,EAAE,CAAC;YAC5B,IAAI,CAAC;gBACD,QAAQ,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,CAAC;YAC1F,CAAC;YAAC,MAAM,CAAC;gBACL,QAAQ,GAAG,EAAE,CAAC;YAClB,CAAC;YACD,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,IAAI,EAAE,EAAE;gBACR,QAAQ;gBACR,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAChE,CAAC;QACN,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,QAAQ,CAAC,QAAgB,EAAE,MAAc;QAC3C,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED,KAAK,CAAC,SAAS,CAAC,QAAgB,EAAE,MAAc;QAC5C,IAAI,CAAC;YACD,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;YACtC,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,YAAY,CAAC,aAAa,CAAC,CAAC;YAC5E,MAAM,aAAa,GAAG,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;YAC9C,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE;gBACrD,OAAO,EAAE,CAAC,aAAa,CAAC;gBACxB,iBAAiB,EAAE,IAAI;gBACvB,OAAO;aACV,CAAC,CAAC;YAEH,MAAM,KAAK,GAAe,EAAE,CAAC;YAC7B,IAAI,KAAK,EAAE,MAAM,QAAQ,IAAI,WAAW,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACzB,CAAC;YAED,OAAO;gBACH,OAAO,EAAE,IAAI;gBACb,KAAK;gBACL,QAAQ;aACX,CAAC;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,EAAE;gBACZ,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAChE,CAAC;QACN,CAAC;IACL,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,QAAgB,EAAE,MAAc;QACtC,IAAI,CAAC;YACD,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;YACtC,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,YAAY,CAAC,aAAa,CAAC,CAAC;YAC5E,MAAM,aAAa,GAAG,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE;gBAClD,OAAO,EAAE,CAAC,aAAa,CAAC;gBACxB,iBAAiB,EAAE,IAAI;gBACvB,OAAO;aACV,CAAC,CAAC;YACH,OAAO;gBACH,OAAO,EAAE,IAAI;gBACb,MAAM;gBACN,QAAQ;aACX,CAAC;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,EAAE;gBACZ,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAChE,CAAC;QACN,CAAC;IACL,CAAC;IAED,kBAAkB,CAAC,QAAgB;QAC/B,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IACjD,CAAC;IAED,uBAAuB,CAAC,QAAgB;QACpC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC;IAED,mBAAmB,CAAC,QAAgB;QAChC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,QAAgB,EAAE,MAAc;QACtD,IAAI,CAAC;YACD,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,YAAY,CAAC,aAAa,CAAC,CAAC;YAC5E,MAAM,aAAa,GAAG,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;YAC9C,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE;gBAC3D,OAAO,EAAE,CAAC,aAAa,CAAC;gBACxB,iBAAiB,EAAE,IAAI;gBACvB,OAAO;aACV,CAAC,CAAC;YAEH,MAAM,IAAI,GAAe,EAAE,CAAC;YAC5B,IAAI,KAAK,EAAE,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;gBACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmB,CAAC;gBACtC,OAAoB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;oBAC9C,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChC,OAAO;oBACX,CAAC;oBACD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC;oBACpC,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjD,CAAC,CAAC,CAAC;gBACH,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC;YAED,OAAO;gBACH,OAAO,EAAE,IAAI;gBACb,IAAI;gBACJ,QAAQ;aACX,CAAC;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,YAAY,CAAC,aAAa,CAAC,CAAC;YAC5E,OAAO;gBACH,OAAO,EAAE,KAAK;gBACd,IAAI,EAAE,EAAE;gBACR,QAAQ;gBACR,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAChE,CAAC;QACN,CAAC;IACL,CAAC;IAEO,sBAAsB,CAAC,QAAgB;QAC3C,MAAM,OAAO,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzE,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/H,IAAI,eAAe,EAAE,CAAC;YAClB,IAAI,CAAC,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QACjD,CAAC;IACL,CAAC;IAEO,cAAc,CAAC,QAAgB;QACnC,IAAI,CAAC;YACD,OAAO,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;QAC1D,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,QAAQ,CAAC;QACpB,CAAC;IACL,CAAC;IAEO,eAAe,CAAC,QAAgB;QACpC,MAAM,OAAO,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,GAAc,CAAC;YACnB,IAAI,WAAsB,CAAC;YAC3B,IAAI,CAAC;gBACD,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7D,CAAC;YAAC,MAAM,CAAC;gBACL,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACxB,SAAS;YACb,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBACxB,SAAS;gBACb,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACL,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IACrC,CAAC;IAEO,SAAS,CAAC,IAAc;QAC5B,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACxD,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACxD,CAAC;QACD,MAAM,OAAO,GAAG,IAAmB,CAAC;QACpC,OAAO;YACH,QAAQ,EAAE,SAAS;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK;YAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC7B,CAAC;IACN,CAAC;IAEO,gBAAgB,CAAC,IAAc;QACnC,OAAO,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC;IACzG,CAAC;IAEO,uBAAuB,CAAC,aAAuB;QACnD,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,qBAAqB,QAAQ,EAAE,CAAC,CAAC;IAC5E,CAAC;IAEO,eAAe,CAAC,QAAgB,EAAE,aAAuB;QAC7D,MAAM,eAAe,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;aAC3E,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3E,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,uBAAuB,CAAC,aAAa,CAAC,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC9F,CAAC;IAEO,mBAAmB,CAAC,MAAmB;QAC3C,MAAM,aAAa,GAAG,IAAI,KAAK,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;QACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YACzB,MAAM,WAAW,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC5E,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACxE,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACvB,OAAO,KAAK,CAAC;gBACjB,CAAC;gBACD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACrB,OAAO,IAAI,CAAC;YAChB,CAAC,CAAC,CAAC;YACH,aAAa,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,aAAa,CAAC;IACzB,CAAC;IAEO,wBAAwB,CAAC,QAAgB,EAAE,YAA0B;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrD,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpD,OAAO,MAAM,CAAC;QAClB,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC5D,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC7C,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ"}

package/out/owl/owl-store.d.ts

@@ -0,0 +1,32 @@
+import { Store } from 'n3';
+import type { NamedNode, Quad } from 'n3';
+export interface ModelDiff {
+    isEmpty: boolean;
+    retracted: Quad[];
+    asserted: Quad[];
+}
+export interface ModelGraphs {
+    own: NamedNode;
+    entailments: NamedNode;
+}
+export declare class ReasoningStore {
+    private readonly store;
+    private readonly modelGraphs;
+    loadModel(modelUri: string, quads: Quad[]): void;
+    loadEntailments(modelUri: string, quads: Quad[]): void;
+    applyModelDelta(modelUri: string, quads: Quad[], retracted: Quad[], asserted: Quad[]): void;
+    retractModel(modelUri: string): void;
+    diffModel(modelUri: string, newQuads: Quad[]): ModelDiff;
+    clearEntailments(modelUri: string): void;
+    graphs(modelUri: string): ModelGraphs;
+    getStore(): Store;
+    private resolveGraphs;
+    private graphsFromNamespace;
+    private graphsFromModelUri;
+    private namespaceFromQuads;
+    private ontologyIriFromNamespace;
+    private requireGraphs;
+    private withGraph;
+    private removeGraph;
+    private quadKey;
+}

package/out/owl/owl-store.js

@@ -0,0 +1,142 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+import { DataFactory, Store } from 'n3';
+const OML_NAMESPACE = 'http://opencaesar.io/oml#namespace';
+const { namedNode, quad } = DataFactory;
+export class ReasoningStore {
+    constructor() {
+        this.store = new Store();
+        this.modelGraphs = new Map();
+    }
+    // Load a model's quads into its named graph.
+    // Retracts any existing quads for that model first.
+    // Graph IRI is derived from the ontology namespace embedded in the quads.
+    loadModel(modelUri, quads) {
+        const graphs = this.resolveGraphs(modelUri, quads);
+        this.retractModel(modelUri);
+        this.modelGraphs.set(modelUri, graphs);
+        this.store.addQuads(quads.map((q) => this.withGraph(q, graphs.own)));
+    }
+    loadEntailments(modelUri, quads) {
+        const graphs = this.requireGraphs(modelUri);
+        this.removeGraph(graphs.entailments);
+        if (quads.length === 0) {
+            return;
+        }
+        this.store.addQuads(quads.map((q) => this.withGraph(q, graphs.entailments)));
+    }
+    applyModelDelta(modelUri, quads, retracted, asserted) {
+        const graphs = this.resolveGraphs(modelUri, quads, true);
+        this.modelGraphs.set(modelUri, graphs);
+        if (retracted.length > 0) {
+            this.store.removeQuads(retracted.map((q) => this.withGraph(q, graphs.own)));
+        }
+        if (asserted.length > 0) {
+            this.store.addQuads(asserted.map((q) => this.withGraph(q, graphs.own)));
+        }
+    }
+    // Retract all quads in all named graphs for a model
+    // (own quads + entailment quads)
+    retractModel(modelUri) {
+        const graphs = this.modelGraphs.get(modelUri);
+        if (!graphs)
+            return;
+        this.removeGraph(graphs.own);
+        this.removeGraph(graphs.entailments);
+        this.modelGraphs.delete(modelUri);
+    }
+    // Compare newly mapped quads against what is currently in the store.
+    // Returns the semantic difference — what was added and what was removed.
+    // If the diff is empty, nothing downstream needs to run.
+    diffModel(modelUri, newQuads) {
+        const graphs = this.resolveGraphs(modelUri, newQuads, true);
+        const existing = this.store.getQuads(null, null, null, graphs.own);
+        const next = newQuads.map((q) => this.withGraph(q, graphs.own));
+        const existingByKey = new Map(existing.map((q) => [this.quadKey(q), q]));
+        const nextByKey = new Map(next.map((q) => [this.quadKey(q), q]));
+        const retracted = [...existingByKey.entries()]
+            .filter(([key]) => !nextByKey.has(key))
+            .map(([, value]) => value)
+            .sort((a, b) => this.quadKey(a).localeCompare(this.quadKey(b)));
+        const asserted = [...nextByKey.entries()]
+            .filter(([key]) => !existingByKey.has(key))
+            .map(([, value]) => value)
+            .sort((a, b) => this.quadKey(a).localeCompare(this.quadKey(b)));
+        return {
+            isEmpty: retracted.length === 0 && asserted.length === 0,
+            retracted,
+            asserted,
+        };
+    }
+    // Clear only the entailment named graph for a model.
+    // Called before re-running TBox or ABox chaining.
+    clearEntailments(modelUri) {
+        const graphs = this.requireGraphs(modelUri);
+        this.removeGraph(graphs.entailments);
+    }
+    // Returns the named graph IRIs for a model.
+    // Used by TBoxChainer, ABoxChainer, and SparqlService
+    // to know which graphs to read from and write to.
+    graphs(modelUri) {
+        return this.requireGraphs(modelUri);
+    }
+    // Expose the underlying N3 Store for direct use by
+    // TBoxChainer, ABoxChainer, and Comunica.
+    getStore() {
+        return this.store;
+    }
+    resolveGraphs(modelUri, quads, allowExisting = false) {
+        const namespace = this.namespaceFromQuads(quads);
+        if (namespace) {
+            const graphs = this.graphsFromNamespace(namespace);
+            this.modelGraphs.set(modelUri, graphs);
+            return graphs;
+        }
+        if (allowExisting) {
+            const existing = this.modelGraphs.get(modelUri);
+            if (existing)
+                return existing;
+        }
+        // Keep reasoning resilient during transient states (e.g. non-mappable documents):
+        // if namespace is missing, fall back to a stable graph derived from the model URI.
+        const fallback = this.graphsFromModelUri(modelUri);
+        this.modelGraphs.set(modelUri, fallback);
+        return fallback;
+    }
+    graphsFromNamespace(namespace) {
+        const ontologyIri = this.ontologyIriFromNamespace(namespace);
+        return {
+            own: namedNode(ontologyIri),
+            entailments: namedNode(`${ontologyIri}__entailments`),
+        };
+    }
+    graphsFromModelUri(modelUri) {
+        return {
+            own: namedNode(modelUri),
+            entailments: namedNode(`${modelUri}__entailments`)
+        };
+    }
+    namespaceFromQuads(quads) {
+        const namespaceQuad = quads.find((q) => q.predicate.value === OML_NAMESPACE && q.object.termType === 'NamedNode');
+        return namespaceQuad?.object.value;
+    }
+    ontologyIriFromNamespace(namespace) {
+        return namespace.replace(/[\/#]+$/, '');
+    }
+    requireGraphs(modelUri) {
+        const graphs = this.modelGraphs.get(modelUri);
+        if (!graphs) {
+            throw new Error(`Unknown model '${modelUri}'. Load the model first.`);
+        }
+        return graphs;
+    }
+    withGraph(q, graph) {
+        return quad(q.subject, q.predicate, q.object, graph);
+    }
+    removeGraph(graph) {
+        this.store.removeQuads(this.store.getQuads(null, null, null, graph));
+    }
+    quadKey(q) {
+        return `${q.subject.id}|${q.predicate.id}|${q.object.id}|${q.graph.id}`;
+    }
+}
+//# sourceMappingURL=owl-store.js.map

package/out/owl/owl-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"owl-store.js","sourceRoot":"","sources":["../../src/owl/owl-store.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAGxC,MAAM,aAAa,GAAG,oCAAoC,CAAC;AAC3D,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,WAAW,CAAC;AAaxC,MAAM,OAAO,cAAc;IAA3B;QACqB,UAAK,GAAG,IAAI,KAAK,EAAE,CAAC;QACpB,gBAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IAuJlE,CAAC;IArJG,6CAA6C;IAC7C,oDAAoD;IACpD,0EAA0E;IAC1E,SAAS,CAAC,QAAgB,EAAE,KAAa;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC5B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC;IAED,eAAe,CAAC,QAAgB,EAAE,KAAa;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO;QACX,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,eAAe,CAAC,QAAgB,EAAE,KAAa,EAAE,SAAiB,EAAE,QAAgB;QAChF,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5E,CAAC;IACL,CAAC;IAED,oDAAoD;IACpD,iCAAiC;IACjC,YAAY,CAAC,QAAgB;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACrC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC;IAED,qEAAqE;IACrE,yEAAyE;IACzE,yDAAyD;IACzD,SAAS,CAAC,QAAgB,EAAE,QAAgB;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAEhE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEjE,MAAM,SAAS,GAAG,CAAC,GAAG,aAAa,CAAC,OAAO,EAAE,CAAC;aACzC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC;aACzB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAEpE,MAAM,QAAQ,GAAG,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC;aACpC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;aAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC;aACzB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAEpE,OAAO;YACH,OAAO,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YACxD,SAAS;YACT,QAAQ;SACX,CAAC;IACN,CAAC;IAED,qDAAqD;IACrD,kDAAkD;IAClD,gBAAgB,CAAC,QAAgB;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACzC,CAAC;IAED,4CAA4C;IAC5C,sDAAsD;IACtD,kDAAkD;IAClD,MAAM,CAAC,QAAgB;QACnB,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,mDAAmD;IACnD,0CAA0C;IAC1C,QAAQ;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC;IACtB,CAAC;IAEO,aAAa,CAAC,QAAgB,EAAE,KAAa,EAAE,aAAa,GAAG,KAAK;QACxE,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,SAAS,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;YACnD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACvC,OAAO,MAAM,CAAC;QAClB,CAAC;QACD,IAAI,aAAa,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAChD,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC;QAClC,CAAC;QACD,kFAAkF;QAClF,mFAAmF;QACnF,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACzC,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEO,mBAAmB,CAAC,SAAiB;QACzC,MAAM,WAAW,GAAG,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QAC7D,OAAO;YACH,GAAG,EAAE,SAAS,CAAC,WAAW,CAAC;YAC3B,WAAW,EAAE,SAAS,CAAC,GAAG,WAAW,eAAe,CAAC;SACxD,CAAC;IACN,CAAC;IAEO,kBAAkB,CAAC,QAAgB;QACvC,OAAO;YACH,GAAG,EAAE,SAAS,CAAC,QAAQ,CAAC;YACxB,WAAW,EAAE,SAAS,CAAC,GAAG,QAAQ,eAAe,CAAC;SACrD,CAAC;IACN,CAAC;IAEO,kBAAkB,CAAC,KAAa;QACpC,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,KAAK,aAAa,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;QAClH,OAAO,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC;IACvC,CAAC;IAEO,wBAAwB,CAAC,SAAiB;QAC9C,OAAO,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC;IAEO,aAAa,CAAC,QAAgB;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,kBAAkB,QAAQ,0BAA0B,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IAEO,SAAS,CAAC,CAAO,EAAE,KAAgB;QACvC,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACzD,CAAC;IAEO,WAAW,CAAC,KAAgB;QAChC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,CAAC;IAEO,OAAO,CAAC,CAAO;QACnB,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;IAC5E,CAAC;CACJ"}

package/out/owl/owl-tbox.d.ts

@@ -0,0 +1,98 @@
+import type { Ontology } from '@oml/language';
+import type { OwlImportGraph, OwlStore, OwlTBoxIndexCache } from './owl-interfaces.js';
+export interface TBoxIndex {
+    superClasses: Map<string, string[]>;
+    subProperties: Map<string, string[]>;
+    domain: Map<string, string[]>;
+    objectRange: Map<string, string[]>;
+    datatypeRange: Map<string, string[]>;
+    inverseRoles: Map<string, string[]>;
+    forwardRules: ForwardRuleDefinition[];
+    symmetricProperties: Set<string>;
+    transitiveProperties: Set<string>;
+    functionalProperties: Set<string>;
+    inverseFunctionalProperties: Set<string>;
+}
+export interface ForwardRuleDefinition {
+    iri: string;
+    body: RuleAtom[];
+    head: RuleAtom[];
+}
+export type RuleAtom = {
+    kind: 'class';
+    classIri: string;
+    argument: RuleTermPattern;
+} | {
+    kind: 'property';
+    propertyIri: string;
+    argument1: RuleTermPattern;
+    argument2: RuleTermPattern;
+};
+export type RuleTermPattern = {
+    kind: 'variable';
+    name: string;
+} | {
+    kind: 'named';
+    iri: string;
+} | {
+    kind: 'literal';
+    value: string;
+    datatype: string;
+    language: string;
+};
+export declare class TBoxIndexBuilder {
+    private readonly reasoningStore;
+    private readonly tboxIndexCache;
+    private readonly importGraph;
+    constructor(reasoningStore: OwlStore, tboxIndexCache: OwlTBoxIndexCache, importGraph: OwlImportGraph);
+    buildOwn(modelUri: string, ontology?: Ontology): TBoxIndex;
+    buildMerged(modelUri: string): TBoxIndex;
+    private allQuads;
+    private pushMapArrayUnique;
+    private emptyIndex;
+    private mergeStringArrayMap;
+    private mergeSet;
+    private mergeForwardRules;
+    private buildForwardRules;
+    private lowerRelationEntityRule;
+    private lowerOmlRule;
+    private lowerPredicates;
+    private lowerArgument;
+    private lowerLiteral;
+    private resolveRefIri;
+    private memberIri;
+    private ontologyOf;
+    private normalizeNamespace;
+    private closeSuperClassesTransitively;
+    private closeSubPropertiesTransitively;
+    private isDatatypeIri;
+}
+export declare class TBoxIndexCache {
+    private readonly ownIndexes;
+    private readonly mergedIndexes;
+    private readonly dirtyMerged;
+    getOwn(modelUri: string): TBoxIndex | undefined;
+    setOwn(modelUri: string, index: TBoxIndex): void;
+    hasOwn(modelUri: string): boolean;
+    invalidateOwn(modelUri: string): void;
+    getMerged(modelUri: string): TBoxIndex | undefined;
+    setMerged(modelUri: string, index: TBoxIndex): void;
+    hasMerged(modelUri: string): boolean;
+    isMergedDirty(modelUri: string): boolean;
+    invalidateMerged(modelUri: string): void;
+    invalidateMergedAll(modelUris: string[]): void;
+}
+export declare class TBoxChainer {
+    private readonly reasoningStore;
+    private static readonly MAX_CHAIN_ITERATIONS;
+    constructor(reasoningStore: OwlStore);
+    chain(modelUri: string): void;
+    private fireT1;
+    private fireT2;
+    private fireT3;
+    private fireT4;
+    private fireT5;
+    private collectIterationData;
+    private pushIfNew;
+    private quadKey;
+}