@oml/owl 0.19.2 → 0.20.0

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

@@ -0,0 +1,436 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+const XSD_STRING = 'http://www.w3.org/2001/XMLSchema#string';
+const RDF_LANG_STRING = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#langString';
+export class OxigraphSparqlService {
+    constructor(reasoningStore, importGraph, aboxEntailmentCache, reasoningService, resolveOntologyIriForModelUri) {
+        this.reasoningStore = reasoningStore;
+        this.importGraph = importGraph;
+        this.aboxEntailmentCache = aboxEntailmentCache;
+        this.reasoningService = reasoningService;
+        // Per-query-context Oxigraph store, keyed by the queried model URI. Each store holds only
+        // that model's import closure under ontology-IRI graph names, so queries can use
+        // use_default_graph_as_union (fast) instead of a huge explicit graph list (which Oxigraph
+        // evaluates ~200x slower: 24ms vs 5s for this workspace's closure).
+        //
+        // `mirrored` records, per closure model, the generation of its data currently in the store and
+        // the ontology IRI its graphs live under. On the next query the store is re-synced against the
+        // global `modelGen`: only models whose generation advanced (edited/re-chained) are re-loaded,
+        // and models that left the closure are cleared — so an edit patches a few graphs instead of
+        // rebuilding the whole mirror.
+        this.contextStores = new Map();
+        this.ontologyIriResolver = resolveOntologyIriForModelUri ?? ((modelUri) => modelUri);
+    }
+    setOntologyIriResolver(resolver) {
+        this.ontologyIriResolver = resolver;
+    }
+    invalidateFilteredStore(_modelUri) {
+        // No-op: the mirror re-syncs against the reasoning store's per-model data generation on
+        // every query (see syncStore), so a cached store never needs to be dropped or explicitly
+        // flagged when a closure member changes — only the models whose data actually changed are
+        // re-loaded. (Kept on the interface for the Comunica engine, which caches differently.)
+    }
+    removeFilteredStore(modelUri) {
+        // A query context that no longer exists — drop its cached store.
+        this.contextStores.delete(modelUri);
+    }
+    targetGraphIris(ontologyIri) {
+        return [ontologyIri, `${ontologyIri}__entailments`, `${ontologyIri}__shacl_rules`];
+    }
+    async query(modelUri, sparql) {
+        try {
+            const { context, warnings } = await this.prepare(modelUri);
+            const result = this.execute(sparql, context);
+            const rows = [];
+            for (const binding of result) {
+                const row = new Map();
+                for (const [variable, term] of binding) {
+                    if (!isQueryValueTerm(term)) {
+                        continue;
+                    }
+                    row.set(variable, toQueryTerm(term));
+                }
+                rows.push(row);
+            }
+            return { success: true, rows, warnings };
+        }
+        catch (error) {
+            return { success: false, rows: [], warnings: this.safeMissingWarnings(modelUri), error: messageOf(error) };
+        }
+    }
+    async construct(modelUri, sparql) {
+        try {
+            const { context, warnings } = await this.prepare(modelUri);
+            const result = this.execute(sparql, context);
+            const seen = new Set();
+            const quads = [];
+            for (const quad of result) {
+                const key = `${quad.subject.value}\x00${quad.predicate.value}\x00${quad.object.value}`;
+                if (!seen.has(key)) {
+                    seen.add(key);
+                    quads.push(quad);
+                }
+            }
+            return { success: true, quads, warnings };
+        }
+        catch (error) {
+            return { success: false, quads: [], warnings: [], error: messageOf(error) };
+        }
+    }
+    async ask(modelUri, sparql) {
+        try {
+            const { context, warnings } = await this.prepare(modelUri);
+            const result = this.execute(sparql, context);
+            return { success: true, result: Boolean(result), warnings };
+        }
+        catch (error) {
+            return { success: false, result: false, warnings: [], error: messageOf(error) };
+        }
+    }
+    async withMaterializedQuads(modelUri, quads, action) {
+        // Oxigraph queries read the cached mirror, not the live N3 store, so attaching the quads to
+        // the N3 store (as Comunica does) would be invisible here. Instead apply them as a delta
+        // directly to the cached context store's shaclRules graph, then remove them afterwards —
+        // far cheaper than invalidating and rebuilding the whole closure mirror per SHACL rule.
+        if (quads.length === 0) {
+            return action();
+        }
+        await this.ensureModule();
+        // Build/refresh the context first so the delta lands on the store the query will read,
+        // and so prepare() inside `action` is a cache hit that does not rebuild it without the delta.
+        this.ensureFreshEntailments(modelUri);
+        const mod = this.oxModule;
+        let targetGraph;
+        let store;
+        try {
+            store = this.getOrBuildContext(modelUri).store;
+            targetGraph = mod.namedNode(`${this.toOntologyGraphIri(this.resolveOntologyIri(modelUri))}__shacl_rules`);
+        }
+        catch {
+            return action();
+        }
+        const oxQuads = quads.map((q) => mod.quad(mod.fromTerm(q.subject), mod.fromTerm(q.predicate), mod.fromTerm(q.object), targetGraph));
+        for (const q of oxQuads) {
+            store.add(q);
+        }
+        try {
+            return await action();
+        }
+        finally {
+            for (const q of oxQuads) {
+                store.delete(q);
+            }
+        }
+    }
+    // --- internals -------------------------------------------------------------
+    async ensureModule() {
+        if (this.oxModule) {
+            return this.oxModule;
+        }
+        if (!this.oxInit) {
+            this.oxInit = (async () => {
+                const mod = (await import('oxigraph'));
+                // In the browser worker the web build must be wasm-initialized before use; the worker
+                // entry kicks that off and exposes the promise. Await it here (first query). In Node
+                // the build auto-inits and no promise is present.
+                const ready = globalThis.__omlOxigraphInit;
+                if (ready) {
+                    await ready;
+                }
+                this.oxModule = mod;
+            })();
+        }
+        await this.oxInit;
+        return this.oxModule;
+    }
+    async prepare(modelUri) {
+        this.ensureFreshEntailments(modelUri);
+        await this.ensureModule();
+        const context = this.getOrBuildContext(modelUri);
+        const warnings = this.composeWarnings(modelUri, context.missingModels);
+        return { context, warnings };
+    }
+    execute(sparql, context) {
+        // The context store holds only the closure, so unioning all its graphs reproduces the
+        // unionDefaultGraph semantics while keeping GRAPH ?g scoped to the closure.
+        const options = { use_default_graph_as_union: true };
+        if (context.baseIri) {
+            options.base_iri = context.baseIri;
+        }
+        return context.store.query(sparql, options);
+    }
+    // Build (or reuse a cached) Oxigraph store containing the queried model's full import
+    // closure, with each model's reasoned graphs remapped to ontology-IRI graph names.
+    getOrBuildContext(modelUri) {
+        const cached = this.contextStores.get(modelUri);
+        if (cached) {
+            const missingModels = this.syncStore(modelUri, cached);
+            return { store: cached.store, missingModels, baseIri: this.resolveBaseIri(modelUri) };
+        }
+        const mod = this.oxModule;
+        const store = new mod.Store();
+        const n3store = this.reasoningStore.getStore();
+        const allUris = [modelUri, ...this.importGraph.dependenciesOf(modelUri)];
+        const seen = new Set();
+        const missingModels = [];
+        const mirrored = new Map();
+        // Serialize the closure as N-Quads (graph as the 4th term) and bulk-load in batches.
+        // Per-graph load() calls cross the WASM boundary thousands of times for a large closure;
+        // batching collapses that to a handful of parse passes while keeping the in-flight buffer
+        // bounded (a single all-at-once buffer OOMs the Node heap on large workspaces).
+        const CHUNK_LINES = 100000;
+        let buffer = [];
+        const flush = () => {
+            if (buffer.length === 0) {
+                return;
+            }
+            store.load(buffer.join('\n'), { format: 'application/n-quads' });
+            buffer = [];
+        };
+        for (const uri of allUris) {
+            if (seen.has(uri)) {
+                continue;
+            }
+            seen.add(uri);
+            let sourceGraphs;
+            try {
+                sourceGraphs = this.reasoningStore.graphs(uri);
+            }
+            catch {
+                missingModels.push(uri);
+                continue;
+            }
+            const ontologyIri = this.toOntologyGraphIri(this.resolveOntologyIri(uri));
+            mirrored.set(uri, { gen: this.reasoningStore.getModelDataGen(uri), ontologyIri });
+            const targets = [
+                [sourceGraphs.own, ontologyIri],
+                [sourceGraphs.entailments, `${ontologyIri}__entailments`],
+                [sourceGraphs.shaclRules, `${ontologyIri}__shacl_rules`],
+            ];
+            for (const [sourceGraph, targetIri] of targets) {
+                const quads = n3store.getQuads(null, null, null, sourceGraph);
+                if (quads.length === 0) {
+                    continue;
+                }
+                const graphNT = `<${escapeIri(targetIri)}>`;
+                for (const quad of quads) {
+                    buffer.push(quadToNQuad(quad, graphNT));
+                }
+                if (buffer.length >= CHUNK_LINES) {
+                    flush();
+                }
+            }
+        }
+        flush();
+        this.contextStores.set(modelUri, { store, mirrored });
+        return { store, missingModels, baseIri: this.resolveBaseIri(modelUri) };
+    }
+    // Re-sync a cached store against the current closure + per-model generations: re-load models
+    // whose data advanced, clear models that left the closure, leave everything else untouched.
+    syncStore(modelUri, entry) {
+        const closure = new Set([modelUri, ...this.importGraph.dependenciesOf(modelUri)]);
+        const toCheck = new Set([...closure, ...entry.mirrored.keys()]);
+        const missingModels = [];
+        for (const uri of toCheck) {
+            const have = entry.mirrored.get(uri);
+            if (!closure.has(uri)) {
+                if (have) {
+                    this.clearModelInStore(entry, uri);
+                }
+                continue;
+            }
+            const curGen = this.reasoningStore.getModelDataGen(uri);
+            if (!have || have.gen !== curGen) {
+                if (!this.patchModelInStore(entry, uri)) {
+                    missingModels.push(uri);
+                }
+            }
+        }
+        return missingModels;
+    }
+    // Replace one model's graphs in a cached store with its current reasoned quads. Returns false
+    // if the model is no longer loaded/resolvable (its graphs are then cleared).
+    patchModelInStore(entry, uri) {
+        const curGen = this.reasoningStore.getModelDataGen(uri);
+        const prev = entry.mirrored.get(uri);
+        const graphsToClear = new Set(prev ? this.targetGraphIris(prev.ontologyIri) : []);
+        let sourceGraphs;
+        let ontologyIri;
+        try {
+            sourceGraphs = this.reasoningStore.graphs(uri);
+            ontologyIri = this.toOntologyGraphIri(this.resolveOntologyIri(uri));
+        }
+        catch {
+            // Model no longer loaded/resolvable — clear whatever was mirrored and forget it.
+            for (const graph of graphsToClear) {
+                entry.store.update(`CLEAR SILENT GRAPH <${escapeIri(graph)}>`);
+            }
+            entry.mirrored.delete(uri);
+            return false;
+        }
+        for (const graph of this.targetGraphIris(ontologyIri)) {
+            graphsToClear.add(graph);
+        }
+        for (const graph of graphsToClear) {
+            entry.store.update(`CLEAR SILENT GRAPH <${escapeIri(graph)}>`);
+        }
+        const n3store = this.reasoningStore.getStore();
+        const targets = [
+            [sourceGraphs.own, ontologyIri],
+            [sourceGraphs.entailments, `${ontologyIri}__entailments`],
+            [sourceGraphs.shaclRules, `${ontologyIri}__shacl_rules`],
+        ];
+        const buffer = [];
+        for (const [sourceGraph, targetIri] of targets) {
+            const quads = n3store.getQuads(null, null, null, sourceGraph);
+            const graphNT = `<${escapeIri(targetIri)}>`;
+            for (const quad of quads) {
+                buffer.push(quadToNQuad(quad, graphNT));
+            }
+        }
+        if (buffer.length > 0) {
+            entry.store.load(buffer.join('\n'), { format: 'application/n-quads' });
+        }
+        entry.mirrored.set(uri, { gen: curGen, ontologyIri });
+        return true;
+    }
+    clearModelInStore(entry, uri) {
+        const have = entry.mirrored.get(uri);
+        if (have) {
+            for (const graph of this.targetGraphIris(have.ontologyIri)) {
+                entry.store.update(`CLEAR SILENT GRAPH <${escapeIri(graph)}>`);
+            }
+        }
+        entry.mirrored.delete(uri);
+    }
+    resolveBaseIri(modelUri) {
+        // Mirror the Comunica path: relative IRIs in queries resolve against the model's own graph IRI.
+        try {
+            return this.reasoningStore.graphs(modelUri).own.value;
+        }
+        catch {
+            return modelUri;
+        }
+    }
+    resolveOntologyIri(modelUri) {
+        const resolved = this.ontologyIriResolver(modelUri);
+        if (!resolved || resolved === modelUri) {
+            throw new Error(`Missing ontology IRI mapping for model '${modelUri}'.`);
+        }
+        return resolved;
+    }
+    toOntologyGraphIri(iri) {
+        return iri.endsWith('#') ? iri.slice(0, -1) : iri;
+    }
+    ensureFreshEntailments(modelUri) {
+        const closure = [modelUri, ...this.importGraph.dependenciesOf(modelUri)];
+        // Mirror runInference's own chaining condition: it only (re)chains a model that is dirty,
+        // or the query root when its entailments are absent. A non-root dependency that stays
+        // 'absent' (runInference never chains it, so its entailment graph is genuinely empty) must
+        // NOT be treated as stale here — otherwise every query re-runs inference and invalidates
+        // the whole mirror, even though nothing changed.
+        const stale = closure.filter((uri) => this.aboxEntailmentCache.isDirty(uri)
+            || (uri === modelUri && this.aboxEntailmentCache.isAbsent(uri)));
+        if (stale.length === 0) {
+            return;
+        }
+        // runInference re-chains the stale models, mutating their entailment graphs in the reasoning
+        // store — which bumps those models' data generations. getOrBuildContext's syncStore then
+        // re-loads exactly those models into cached mirrors; no explicit invalidation needed here.
+        this.reasoningService.runInference(modelUri);
+    }
+    composeWarnings(modelUri, missingModels) {
+        const closureWarnings = [modelUri, ...this.importGraph.dependenciesOf(modelUri)]
+            .flatMap((uri) => this.aboxEntailmentCache.getValidationWarnings(uri));
+        return [...new Set([...missingModels.map((uri) => `Model not loaded: ${uri}`), ...closureWarnings])];
+    }
+    safeMissingWarnings(modelUri) {
+        try {
+            return this.composeWarnings(modelUri, []);
+        }
+        catch {
+            return [];
+        }
+    }
+}
+function isQueryValueTerm(term) {
+    return term.termType === 'NamedNode' || term.termType === 'BlankNode' || term.termType === 'Literal';
+}
+function toQueryTerm(term) {
+    if (term.termType === 'NamedNode') {
+        return { termType: 'NamedNode', value: term.value };
+    }
+    if (term.termType === 'BlankNode') {
+        return { termType: 'BlankNode', value: term.value };
+    }
+    return {
+        termType: 'Literal',
+        value: term.value,
+        datatype: term.datatype?.value,
+        language: term.language,
+    };
+}
+function messageOf(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+// --- N-Triples serialization (fast bulk-load path into Oxigraph) -----------------
+// NOTE: blank nodes are serialized per-graph; a blank node shared across a model's own
+// and entailment graphs would split into distinct nodes on reload. OML reasoning rarely
+// shares blank nodes across these graphs, and the experimental flag documents this limit.
+// N-Quads line: subject predicate object graph . — graphNT is the pre-serialized graph IRI.
+function quadToNQuad(quad, graphNT) {
+    return `${termToNT(quad.subject)} ${termToNT(quad.predicate)} ${termToNT(quad.object)} ${graphNT} .`;
+}
+function termToNT(term) {
+    switch (term.termType) {
+        case 'NamedNode':
+            return `<${escapeIri(term.value)}>`;
+        case 'BlankNode':
+            return `_:${term.value}`;
+        case 'Literal': {
+            const literal = term;
+            const lex = `"${escapeLiteral(literal.value)}"`;
+            if (literal.language) {
+                return `${lex}@${literal.language}`;
+            }
+            const dt = literal.datatype?.value;
+            if (dt && dt !== XSD_STRING && dt !== RDF_LANG_STRING) {
+                return `${lex}^^<${escapeIri(dt)}>`;
+            }
+            return lex;
+        }
+        default:
+            throw new Error(`Unsupported term type for N-Triples serialization: ${term.termType}`);
+    }
+}
+const IRI_DELIMITERS = new Set(['<', '>', '"', '{', '}', '|', '^', '`', '\\']);
+// Control chars (<= 0x20) or the IRIREF delimiters that are illegal unescaped.
+const IRI_NEEDS_ESCAPE = /[\u0000-\u0020<>"{}|^\u0060\\]/;
+function escapeIri(value) {
+    // Fast path: the overwhelming majority of OML IRIs contain no character needing escaping.
+    // Serializing the full closure runs this millions of times, so skip the char loop when clean.
+    if (!IRI_NEEDS_ESCAPE.test(value)) {
+        return value;
+    }
+    // N-Triples IRIREF: \uXXXX-escape control chars, space, and the delimiters illegal
+    // unescaped. \u escapes round-trip to the same code point, preserving the IRI value.
+    let out = '';
+    for (const ch of value) {
+        const code = ch.codePointAt(0) ?? 0;
+        if (code <= 0x20 || IRI_DELIMITERS.has(ch)) {
+            out += `\\u${code.toString(16).toUpperCase().padStart(4, '0')}`;
+        }
+        else {
+            out += ch;
+        }
+    }
+    return out;
+}
+function escapeLiteral(value) {
+    return value
+        .replace(/\\/g, '\\\\')
+        .replace(/"/g, '\\"')
+        .replace(/\n/g, '\\n')
+        .replace(/\r/g, '\\r')
+        .replace(/\t/g, '\\t');
+}
+//# sourceMappingURL=owl-sparql-oxigraph.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"owl-sparql-oxigraph.js","sourceRoot":"","sources":["../../src/owl/owl-sparql-oxigraph.ts"],"names":[],"mappings":"AAAA,qDAAqD;AA8CrD,MAAM,UAAU,GAAG,yCAAyC,CAAC;AAC7D,MAAM,eAAe,GAAG,uDAAuD,CAAC;AAShF,MAAM,OAAO,qBAAqB;IAkB9B,YACqB,cAAwB,EACxB,WAA2B,EAC3B,mBAA2C,EAC3C,gBAAoC,EACrD,6BAA4D;QAJ3C,mBAAc,GAAd,cAAc,CAAU;QACxB,gBAAW,GAAX,WAAW,CAAgB;QAC3B,wBAAmB,GAAnB,mBAAmB,CAAwB;QAC3C,qBAAgB,GAAhB,gBAAgB,CAAoB;QAlBzD,0FAA0F;QAC1F,iFAAiF;QACjF,0FAA0F;QAC1F,oEAAoE;QACpE,EAAE;QACF,+FAA+F;QAC/F,+FAA+F;QAC/F,8FAA8F;QAC9F,4FAA4F;QAC5F,+BAA+B;QACd,kBAAa,GAAG,IAAI,GAAG,EAA2F,CAAC;QAWhI,IAAI,CAAC,mBAAmB,GAAG,6BAA6B,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;IACzF,CAAC;IAED,sBAAsB,CAAC,QAAsC;QACzD,IAAI,CAAC,mBAAmB,GAAG,QAAQ,CAAC;IACxC,CAAC;IAED,uBAAuB,CAAC,SAAiB;QACrC,wFAAwF;QACxF,yFAAyF;QACzF,0FAA0F;QAC1F,wFAAwF;IAC5F,CAAC;IAED,mBAAmB,CAAC,QAAgB;QAChC,iEAAiE;QACjE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAEO,eAAe,CAAC,WAAmB;QACvC,OAAO,CAAC,WAAW,EAAE,GAAG,WAAW,eAAe,EAAE,GAAG,WAAW,eAAe,CAAC,CAAC;IACvF,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,QAAgB,EAAE,MAAc;QACxC,IAAI,CAAC;YACD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAkB,EAAE,CAAC;YAC/B,KAAK,MAAM,OAAO,IAAI,MAAuC,EAAE,CAAC;gBAC5D,MAAM,GAAG,GAAgB,IAAI,GAAG,EAAE,CAAC;gBACnC,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;oBACrC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC1B,SAAS;oBACb,CAAC;oBACD,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzC,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC7C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/G,CAAC;IACL,CAAC;IAED,KAAK,CAAC,SAAS,CAAC,QAAgB,EAAE,MAAc;QAC5C,IAAI,CAAC;YACD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAuB,CAAC;YACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,MAAM,KAAK,GAAe,EAAE,CAAC;YAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBACxB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;gBACvF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACjB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACd,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrB,CAAC;YACL,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAChF,CAAC;IACL,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,QAAgB,EAAE,MAAc;QACtC,IAAI,CAAC;YACD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAY,CAAC;YACxD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC;QAChE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACpF,CAAC;IACL,CAAC;IAED,KAAK,CAAC,qBAAqB,CAAI,QAAgB,EAAE,KAAiB,EAAE,MAAwB;QACxF,4FAA4F;QAC5F,yFAAyF;QACzF,yFAAyF;QACzF,wFAAwF;QACxF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,MAAM,EAAE,CAAC;QACpB,CAAC;QACD,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;QAC1B,uFAAuF;QACvF,8FAA8F;QAC9F,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAS,CAAC;QAC3B,IAAI,WAAoB,CAAC;QACzB,IAAI,KAAc,CAAC;QACnB,IAAI,CAAC;YACD,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC;YAC/C,WAAW,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC;QAC9G,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,MAAM,EAAE,CAAC;QACpB,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;QACpI,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACtB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;QACD,IAAI,CAAC;YACD,OAAO,MAAM,MAAM,EAAE,CAAC;QAC1B,CAAC;gBAAS,CAAC;YACP,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACtB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACpB,CAAC;QACL,CAAC;IACL,CAAC;IAED,8EAA8E;IAEtE,KAAK,CAAC,YAAY;QACtB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChB,OAAO,IAAI,CAAC,QAAQ,CAAC;QACzB,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACf,IAAI,CAAC,MAAM,GAAG,CAAC,KAAK,IAAI,EAAE;gBACtB,MAAM,GAAG,GAAG,CAAC,MAAM,MAAM,CAAC,UAAU,CAAC,CAAwB,CAAC;gBAC9D,sFAAsF;gBACtF,qFAAqF;gBACrF,kDAAkD;gBAClD,MAAM,KAAK,GAAI,UAAuD,CAAC,iBAAiB,CAAC;gBACzF,IAAI,KAAK,EAAE,CAAC;oBACR,MAAM,KAAK,CAAC;gBAChB,CAAC;gBACD,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC;YACxB,CAAC,CAAC,EAAE,CAAC;QACT,CAAC;QACD,MAAM,IAAI,CAAC,MAAM,CAAC;QAClB,OAAO,IAAI,CAAC,QAAS,CAAC;IAC1B,CAAC;IAEO,KAAK,CAAC,OAAO,CAAC,QAAgB;QAClC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;QACvE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IACjC,CAAC;IAEO,OAAO,CAAC,MAAc,EAAE,OAAuB;QACnD,sFAAsF;QACtF,4EAA4E;QAC5E,MAAM,OAAO,GAA4B,EAAE,0BAA0B,EAAE,IAAI,EAAE,CAAC;QAC9E,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAClB,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC;QACvC,CAAC;QACD,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,sFAAsF;IACtF,mFAAmF;IAC3E,iBAAiB,CAAC,QAAgB;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,MAAM,EAAE,CAAC;YACT,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACvD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1F,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAS,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAU,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;QACtD,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,aAAa,GAAa,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgD,CAAC;QACzE,qFAAqF;QACrF,yFAAyF;QACzF,0FAA0F;QAC1F,gFAAgF;QAChF,MAAM,WAAW,GAAG,MAAO,CAAC;QAC5B,IAAI,MAAM,GAAa,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,GAAS,EAAE;YACrB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtB,OAAO;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;YACjE,MAAM,GAAG,EAAE,CAAC;QAChB,CAAC,CAAC;QACF,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChB,SAAS;YACb,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,IAAI,YAA+E,CAAC;YACpF,IAAI,CAAC;gBACD,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACnD,CAAC;YAAC,MAAM,CAAC;gBACL,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACxB,SAAS;YACb,CAAC;YACD,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1E,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;YAClF,MAAM,OAAO,GAA+B;gBACxC,CAAC,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC;gBAC/B,CAAC,YAAY,CAAC,WAAW,EAAE,GAAG,WAAW,eAAe,CAAC;gBACzD,CAAC,YAAY,CAAC,UAAU,EAAE,GAAG,WAAW,eAAe,CAAC;aAC3D,CAAC;YACF,KAAK,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC;gBAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC9D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACrB,SAAS;gBACb,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC;gBAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACvB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC5C,CAAC;gBACD,IAAI,MAAM,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;oBAC/B,KAAK,EAAE,CAAC;gBACZ,CAAC;YACL,CAAC;QACL,CAAC;QACD,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QACtD,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC5E,CAAC;IAED,6FAA6F;IAC7F,4FAA4F;IACpF,SAAS,CACb,QAAgB,EAChB,KAAsF;QAEtF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxE,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,IAAI,IAAI,EAAE,CAAC;oBACP,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACvC,CAAC;gBACD,SAAS;YACb,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,MAAM,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;oBACtC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC5B,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,aAAa,CAAC;IACzB,CAAC;IAED,8FAA8F;IAC9F,6EAA6E;IACrE,iBAAiB,CACrB,KAAsF,EACtF,GAAW;QAEX,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1F,IAAI,YAA+E,CAAC;QACpF,IAAI,WAAmB,CAAC;QACxB,IAAI,CAAC;YACD,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC/C,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;QACxE,CAAC;QAAC,MAAM,CAAC;YACL,iFAAiF;YACjF,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;gBAChC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,uBAAuB,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACnE,CAAC;YACD,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC3B,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;YACpD,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAChC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,uBAAuB,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,OAAO,GAAU,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;QACtD,MAAM,OAAO,GAA+B;YACxC,CAAC,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC;YAC/B,CAAC,YAAY,CAAC,WAAW,EAAE,GAAG,WAAW,eAAe,CAAC;YACzD,CAAC,YAAY,CAAC,UAAU,EAAE,GAAG,WAAW,eAAe,CAAC;SAC3D,CAAC;QACF,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC9D,MAAM,OAAO,GAAG,IAAI,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC;YAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YAC5C,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;QAC3E,CAAC;QACD,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;QACtD,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,iBAAiB,CACrB,KAAsF,EACtF,GAAW;QAEX,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,IAAI,EAAE,CAAC;YACP,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;gBACzD,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,uBAAuB,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACnE,CAAC;QACL,CAAC;QACD,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAEO,cAAc,CAAC,QAAgB;QACnC,gGAAgG;QAChG,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,kBAAkB,CAAC,QAAgB;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,2CAA2C,QAAQ,IAAI,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEO,kBAAkB,CAAC,GAAW;QAClC,OAAO,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACtD,CAAC;IAEO,sBAAsB,CAAC,QAAgB;QAC3C,MAAM,OAAO,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzE,0FAA0F;QAC1F,sFAAsF;QACtF,2FAA2F;QAC3F,yFAAyF;QACzF,iDAAiD;QACjD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CACjC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC;eAClC,CAAC,GAAG,KAAK,QAAQ,IAAI,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO;QACX,CAAC;QACD,6FAA6F;QAC7F,yFAAyF;QACzF,2FAA2F;QAC3F,IAAI,CAAC,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACjD,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,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,qBAAqB,GAAG,EAAE,CAAC,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACzG,CAAC;IAEO,mBAAmB,CAAC,QAAgB;QACxC,IAAI,CAAC;YACD,OAAO,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC9C,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,EAAE,CAAC;QACd,CAAC;IACL,CAAC;CACJ;AAED,SAAS,gBAAgB,CAAC,IAAY;IAClC,OAAO,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC;AACzG,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC7B,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACxD,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACxD,CAAC;IACD,OAAO;QACH,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK;QAC9B,QAAQ,EAAE,IAAI,CAAC,QAAQ;KAC1B,CAAC;AACN,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC7B,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,oFAAoF;AACpF,uFAAuF;AACvF,wFAAwF;AACxF,0FAA0F;AAE1F,4FAA4F;AAC5F,SAAS,WAAW,CAAC,IAAU,EAAE,OAAe;IAC5C,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,OAAO,IAAI,CAAC;AACzG,CAAC;AAED,SAAS,QAAQ,CAAC,IAAc;IAC5B,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,WAAW;YACZ,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QACxC,KAAK,WAAW;YACZ,OAAO,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,SAAS,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,IAAmB,CAAC;YACpC,MAAM,GAAG,GAAG,IAAI,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;YAChD,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACnB,OAAO,GAAG,GAAG,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACxC,CAAC;YACD,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC;YACnC,IAAI,EAAE,IAAI,EAAE,KAAK,UAAU,IAAI,EAAE,KAAK,eAAe,EAAE,CAAC;gBACpD,OAAO,GAAG,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC;YACxC,CAAC;YACD,OAAO,GAAG,CAAC;QACf,CAAC;QACD;YACI,MAAM,IAAI,KAAK,CAAC,sDAAsD,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC/F,CAAC;AACL,CAAC;AAED,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AAC/E,+EAA+E;AAC/E,MAAM,gBAAgB,GAAG,gCAAgC,CAAC;AAE1D,SAAS,SAAS,CAAC,KAAa;IAC5B,0FAA0F;IAC1F,8FAA8F;IAC9F,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,mFAAmF;IACnF,qFAAqF;IACrF,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI,IAAI,IAAI,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACzC,GAAG,IAAI,MAAM,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE,CAAC;aAAM,CAAC;YACJ,GAAG,IAAI,EAAE,CAAC;QACd,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAChC,OAAO,KAAK;SACP,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;SACpB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;SACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;SACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAC/B,CAAC"}

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

@@ -1,6 +1,4 @@
 import type * as RDF from '@rdfjs/types';
-import type { NamedNode } from 'n3';
-import type { OwlABoxEntailmentState, OwlImportGraph, OwlInferenceRunner, OwlStore } from './owl-interfaces.js';
 import { deriveSelectQueryFromShacl, type DerivedShaclSelectQuery } from './owl-shacl.js';
 export interface RDFTerm {
     termType: 'NamedNode' | 'Literal' | 'BlankNode';
@@ -31,45 +29,3 @@ export type SparqlQueryKind = 'select' | 'ask' | 'construct' | 'describe' | 'unk
 export declare function detectSparqlKind(sparql: string): SparqlQueryKind;
 export type DerivedShapeSelectQuery = DerivedShaclSelectQuery;
 export declare const deriveSelectQueryFromShape: typeof deriveSelectQueryFromShacl;
-export declare class SparqlService {
-    private readonly reasoningStore;
-    private readonly importGraph;
-    private readonly aboxEntailmentCache;
-    private readonly reasoningService;
-    private readonly engine;
-    private readonly filteredStoreCache;
-    private readonly dirtyFilteredStores;
-    private ontologyIriResolver;
-    constructor(reasoningStore: OwlStore, importGraph: OwlImportGraph, aboxEntailmentCache: OwlABoxEntailmentState, reasoningService: OwlInferenceRunner, resolveOntologyIriForModelUri?: (modelUri: string) => string);
-    setOntologyIriResolver(resolver: (modelUri: string) => string): void;
-    /**
-     * 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.
-     */
-    query(modelUri: string, sparql: string): Promise<QueryResult>;
-    /**
-     * 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.
-     */
-    queryRaw(modelUri: string, sparql: string): Promise<QueryResult>;
-    construct(modelUri: string, sparql: string): Promise<ConstructResult>;
-    ask(modelUri: string, sparql: string): Promise<AskResult>;
-    getAvailableGraphs(modelUri: string): NamedNode[];
-    invalidateFilteredStore(modelUri: string): void;
-    removeFilteredStore(modelUri: string): void;
-    private querySelect;
-    private ensureFreshEntailments;
-    private resolveBaseIri;
-    private getQueryContext;
-    private toOntologyGraphIri;
-    private toRdfTerm;
-    private isQueryValueTerm;
-    private toMissingModelsWarnings;
-    private composeWarnings;
-    private getOrCreateFilteredStore;
-}