@oml/owl 0.7.0

package/out/owl/owl-shacl.js

@@ -0,0 +1,337 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+import { Parser as N3Parser, Store as N3Store } from 'n3';
+import SHACLValidator from 'rdf-validate-shacl';
+export const ShaclValidateRequest = 'oml/table-editor/validate';
+export class ShaclService {
+    constructor(sparqlService, prepareContext, resolveContextIri) {
+        this.sparqlService = sparqlService;
+        this.prepareContext = prepareContext;
+        this.resolveContextIri = resolveContextIri;
+    }
+    async validateShacl(modelUri, shaclSource) {
+        if (!modelUri) {
+            return {
+                conforms: false,
+                issues: [],
+                error: 'No contextUri model is available for this markdown document.',
+            };
+        }
+        const trimmedSource = stripShaclFrontMatter(shaclSource).trim();
+        if (!trimmedSource) {
+            return {
+                conforms: false,
+                issues: [],
+                error: 'Enter a shape to validate.',
+            };
+        }
+        let shapeQuads;
+        try {
+            const parser = new N3Parser();
+            shapeQuads = parser.parse(trimmedSource);
+            if (shapeQuads.length === 0) {
+                return {
+                    conforms: false,
+                    issues: [],
+                    error: 'No content found.',
+                };
+            }
+        }
+        catch (error) {
+            return {
+                conforms: false,
+                issues: [],
+                error: error instanceof Error ? error.message : 'Invalid SHACL shapes.',
+            };
+        }
+        await this.prepareContext(modelUri);
+        const contextIri = this.resolveContextIri(modelUri);
+        const constructResult = await this.sparqlService.construct(modelUri, buildValidationConstructQuery(contextIri));
+        if (!constructResult.success) {
+            return {
+                conforms: false,
+                issues: [],
+                error: constructResult.error ?? 'SPARQL CONSTRUCT failed for validation.',
+            };
+        }
+        try {
+            const propertyNameByPath = collectShaclPropertyDisplayNames(shapeQuads);
+            const shapesDataset = new N3Store(shapeQuads);
+            const dataDataset = new N3Store(constructResult.quads);
+            const validator = new SHACLValidator(shapesDataset);
+            const report = await validator.validate(dataDataset);
+            const rawResults = Array.isArray(report?.results) ? report.results : [];
+            const issues = rawResults.map((result) => {
+                const path = formatValidationField(result?.path);
+                return {
+                    message: formatValidationField(result?.message) || 'Validation issue.',
+                    focusNode: formatValidationField(result?.focusNode),
+                    path,
+                    propertyName: path ? propertyNameByPath.get(path) : undefined,
+                    severity: formatValidationField(result?.severity),
+                    source: formatValidationField(result?.sourceConstraintComponent ?? result?.sourceShape),
+                };
+            });
+            return {
+                conforms: Boolean(report?.conforms),
+                issues,
+            };
+        }
+        catch (error) {
+            return {
+                conforms: false,
+                issues: [],
+                error: error instanceof Error ? error.message : 'Validation failed.',
+            };
+        }
+    }
+}
+export function createDefaultShaclService(sparqlService, prepareContext, resolveContextIri) {
+    return new ShaclService(sparqlService, prepareContext, resolveContextIri);
+}
+export function registerShaclValidationRequests(connection, oml) {
+    connection.onRequest(ShaclValidateRequest, async (params) => {
+        const reasoningService = oml?.reasoning?.ReasoningService;
+        if (!reasoningService
+            || typeof reasoningService.getSparqlService !== 'function'
+            || typeof reasoningService.ensureQueryContext !== 'function'
+            || typeof reasoningService.getContextIri !== 'function') {
+            return {
+                conforms: false,
+                issues: [],
+                error: 'Reasoning service validation is unavailable.',
+            };
+        }
+        const modelUri = typeof params?.modelUri === 'string' ? params.modelUri : undefined;
+        const shaclSource = typeof params?.shaclSource === 'string' ? params.shaclSource : '';
+        const shaclService = createDefaultShaclService(reasoningService.getSparqlService(), (uri) => reasoningService.ensureQueryContext(uri), (uri) => reasoningService.getContextIri(uri));
+        return shaclService.validateShacl(modelUri, shaclSource);
+    });
+}
+export function deriveSelectQueryFromShacl(shaclSource, graphIri) {
+    let shapesStore;
+    try {
+        const parser = new N3Parser({ format: 'text/turtle' });
+        const quads = parser.parse(shaclSource);
+        shapesStore = new N3Store(quads);
+    }
+    catch {
+        return undefined;
+    }
+    const validator = new SHACLValidator(shapesStore);
+    const { sh } = validator.ns;
+    const shapesGraph = validator.shapesGraph;
+    const nodeShape = shapesGraph.shapesWithTarget.find((shape) => !shape.isPropertyShape && !shape.deactivated);
+    if (!nodeShape) {
+        return undefined;
+    }
+    const targetClassTerms = nodeShape.shapeNodePointer.out(sh.targetClass).terms;
+    const targetClasses = targetClassTerms.filter((term) => term.termType === 'NamedNode');
+    const targetNodes = nodeShape.shapeNodePointer.out(sh.targetNode).terms;
+    if (targetClasses.length === 0 && targetNodes.length === 0) {
+        return undefined;
+    }
+    const propertyShapeTerms = nodeShape.shapeNodePointer.out(sh.property).terms;
+    const columns = [];
+    for (const propertyShapeTerm of propertyShapeTerms) {
+        const propertyShape = shapesGraph.getShape(propertyShapeTerm);
+        if (propertyShape.deactivated) {
+            continue;
+        }
+        const path = propertyShape.pathObject;
+        if (!isRdfTerm(path) || path.termType !== 'NamedNode') {
+            continue;
+        }
+        const nameTerm = propertyShape.shapeNodePointer.out(sh.name).term;
+        const name = nameTerm && nameTerm.termType === 'Literal' ? nameTerm.value : undefined;
+        columns.push({ path, name });
+    }
+    const usedNames = new Set(['focus']);
+    const variables = columns.map((column) => {
+        const base = normalizeSparqlVariableName(column.name || localName(column.path.value) || 'value');
+        const unique = uniqueVariableName(base, usedNames);
+        usedNames.add(unique);
+        const sourceVariable = uniqueVariableName(`__${unique}`, usedNames);
+        usedNames.add(sourceVariable);
+        return {
+            path: column.path,
+            variable: unique,
+            sourceVariable,
+            name: column.name
+        };
+    });
+    const selectVars = [
+        '?focus',
+        ...variables.map((entry) => `(GROUP_CONCAT(DISTINCT STR(?${entry.sourceVariable}); SEPARATOR=", ") AS ?${entry.variable})`)
+    ].join(' ');
+    const whereLines = [];
+    const graphLines = [];
+    if (targetClasses.length > 0) {
+        const values = targetClasses.map((term) => `<${term.value}>`).join(' ');
+        whereLines.push(`  VALUES ?__targetClass { ${values} }`);
+        graphLines.push('    ?focus a ?__targetClass .');
+    }
+    if (targetNodes.length > 0) {
+        const values = targetNodes.map((term) => termToSparql(term)).join(' ');
+        whereLines.push(`  VALUES ?focus { ${values} }`);
+    }
+    for (const entry of variables) {
+        graphLines.push(`    OPTIONAL { ?focus <${entry.path.value}> ?${entry.sourceVariable} . }`);
+    }
+    whereLines.push(`  GRAPH <${escapeIriForSparql(graphIri)}> {`);
+    whereLines.push(...graphLines);
+    whereLines.push('  }');
+    const columnVariables = ['focus', ...variables.map((entry) => entry.variable)];
+    const columnLabels = new Map([['focus', 'focus']]);
+    for (const variable of variables) {
+        columnLabels.set(variable.variable, variable.name || variable.variable);
+    }
+    return {
+        sparql: [
+            `SELECT ${selectVars}`,
+            'WHERE {',
+            ...whereLines,
+            '}',
+            'GROUP BY ?focus',
+        ].join('\n'),
+        columnVariables,
+        columnLabels,
+    };
+}
+function buildValidationConstructQuery(contextIri) {
+    return [
+        'CONSTRUCT {',
+        '  ?s ?p ?o .',
+        '  ?s a ?sType .',
+        '  ?o a ?oType .',
+        '}',
+        'WHERE {',
+        `  GRAPH <${contextIri}> { ?s ?p ?o }`,
+        `  OPTIONAL { GRAPH ?g1 { ?s a ?sType } FILTER(?g1 != <${contextIri}>) }`,
+        '  OPTIONAL {',
+        '    FILTER(isIRI(?o) || isBlank(?o))',
+        `    GRAPH ?g2 { ?o a ?oType } FILTER(?g2 != <${contextIri}>)`,
+        '  }',
+        '}',
+    ].join('\n');
+}
+function formatValidationField(value) {
+    if (value === undefined || value === null)
+        return undefined;
+    if (Array.isArray(value)) {
+        const parts = value
+            .map((entry) => formatValidationField(entry))
+            .filter((entry) => Boolean(entry));
+        return parts.join('; ');
+    }
+    if (typeof value === 'string')
+        return value;
+    if (typeof value === 'number' || typeof value === 'boolean')
+        return String(value);
+    if (typeof value === 'object' && 'value' in value) {
+        const raw = value.value;
+        return typeof raw === 'string' ? raw : String(raw);
+    }
+    return String(value);
+}
+function collectShaclPropertyDisplayNames(shapeQuads) {
+    const SH_PATH = 'http://www.w3.org/ns/shacl#path';
+    const SH_NAME = 'http://www.w3.org/ns/shacl#name';
+    const pathByPropertyShape = new Map();
+    const nameByPropertyShape = new Map();
+    const shapeKey = (term) => {
+        if (term.termType !== 'NamedNode' && term.termType !== 'BlankNode') {
+            return undefined;
+        }
+        return `${term.termType}:${term.value}`;
+    };
+    for (const quad of shapeQuads) {
+        const key = shapeKey(quad.subject);
+        if (!key) {
+            continue;
+        }
+        if (quad.predicate.value === SH_PATH && quad.object.termType === 'NamedNode') {
+            pathByPropertyShape.set(key, quad.object.value);
+            continue;
+        }
+        if (quad.predicate.value === SH_NAME && quad.object.termType === 'Literal') {
+            const label = quad.object.value.trim();
+            if (label.length > 0) {
+                nameByPropertyShape.set(key, label);
+            }
+        }
+    }
+    const result = new Map();
+    for (const [key, path] of pathByPropertyShape.entries()) {
+        const name = nameByPropertyShape.get(key);
+        if (name && !result.has(path)) {
+            result.set(path, name);
+        }
+    }
+    return result;
+}
+function stripShaclFrontMatter(raw) {
+    let content = raw;
+    const frontmatterRegex = /^---\s*[\r\n]+([\s\S]*?)[\r\n]+---\s*/;
+    const match = frontmatterRegex.exec(content);
+    if (match) {
+        content = content.substring(match[0].length);
+    }
+    return content;
+}
+function termToSparql(term) {
+    if (term.termType === 'NamedNode') {
+        return `<${term.value}>`;
+    }
+    if (term.termType === 'BlankNode') {
+        return `_:${term.value}`;
+    }
+    if (term.termType === 'Literal') {
+        const escaped = term.value.replace(/\\/g, '\\\\').replace(/"/g, '\\"');
+        if (term.language) {
+            return `"${escaped}"@${term.language}`;
+        }
+        if (term.datatype?.value) {
+            return `"${escaped}"^^<${term.datatype.value}>`;
+        }
+        return `"${escaped}"`;
+    }
+    return `"${term.value.replace(/\\/g, '\\\\').replace(/"/g, '\\"')}"`;
+}
+function normalizeSparqlVariableName(raw) {
+    const normalized = raw.replace(/[^A-Za-z0-9_]/g, '_');
+    if (!normalized) {
+        return 'value';
+    }
+    if (!/^[A-Za-z_]/.test(normalized)) {
+        return `v_${normalized}`;
+    }
+    return normalized;
+}
+function uniqueVariableName(base, used) {
+    if (!used.has(base)) {
+        return base;
+    }
+    let index = 2;
+    while (used.has(`${base}_${index}`)) {
+        index += 1;
+    }
+    return `${base}_${index}`;
+}
+function localName(iri) {
+    const hash = iri.lastIndexOf('#');
+    if (hash >= 0 && hash < iri.length - 1) {
+        return iri.slice(hash + 1);
+    }
+    const slash = iri.lastIndexOf('/');
+    if (slash >= 0 && slash < iri.length - 1) {
+        return iri.slice(slash + 1);
+    }
+    return iri;
+}
+function isRdfTerm(value) {
+    return typeof value === 'object' && value !== null && 'termType' in value;
+}
+function escapeIriForSparql(iri) {
+    return iri.replace(/>/g, '\\>');
+}
+//# sourceMappingURL=owl-shacl.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"owl-shacl.js","sourceRoot":"","sources":["../../src/owl/owl-shacl.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAGrD,OAAO,EAAE,MAAM,IAAI,QAAQ,EAAE,KAAK,IAAI,OAAO,EAAE,MAAM,IAAI,CAAC;AAC1D,OAAO,cAAc,MAAM,oBAAoB,CAAC;AAQhD,MAAM,CAAC,MAAM,oBAAoB,GAAG,2BAA2B,CAAC;AAoBhE,MAAM,OAAO,YAAY;IACrB,YACqB,aAA+B,EAC/B,cAAmD,EACnD,iBAA+C;QAF/C,kBAAa,GAAb,aAAa,CAAkB;QAC/B,mBAAc,GAAd,cAAc,CAAqC;QACnD,sBAAiB,GAAjB,iBAAiB,CAA8B;IACjE,CAAC;IAEJ,KAAK,CAAC,aAAa,CAAC,QAA4B,EAAE,WAAmB;QACjE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,OAAO;gBACH,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,8DAA8D;aACxE,CAAC;QACN,CAAC;QAED,MAAM,aAAa,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC;QAChE,IAAI,CAAC,aAAa,EAAE,CAAC;YACjB,OAAO;gBACH,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,4BAA4B;aACtC,CAAC;QACN,CAAC;QAED,IAAI,UAAU,CAAC;QACf,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC9B,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YACzC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO;oBACH,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,EAAE;oBACV,KAAK,EAAE,mBAAmB;iBAC7B,CAAC;YACN,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO;gBACH,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,uBAAuB;aAC1E,CAAC;QACN,CAAC;QAED,MAAM,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,QAAQ,EAAE,6BAA6B,CAAC,UAAU,CAAC,CAAC,CAAC;QAChH,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;YAC3B,OAAO;gBACH,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,eAAe,CAAC,KAAK,IAAI,yCAAyC;aAC5E,CAAC;QACN,CAAC;QAED,IAAI,CAAC;YACD,MAAM,kBAAkB,GAAG,gCAAgC,CAAC,UAAU,CAAC,CAAC;YACxE,MAAM,aAAa,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC;YAC9C,MAAM,WAAW,GAAG,IAAI,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;YACvD,MAAM,SAAS,GAAG,IAAI,cAAc,CAAC,aAAa,CAAC,CAAC;YACpD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;YACrD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAE,MAAc,EAAE,OAAO,CAAC,CAAC,CAAC,CAAE,MAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1F,MAAM,MAAM,GAA2B,UAAU,CAAC,GAAG,CAAC,CAAC,MAAW,EAAE,EAAE;gBAClE,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACjD,OAAO;oBACH,OAAO,EAAE,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,mBAAmB;oBACtE,SAAS,EAAE,qBAAqB,CAAC,MAAM,EAAE,SAAS,CAAC;oBACnD,IAAI;oBACJ,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;oBAC7D,QAAQ,EAAE,qBAAqB,CAAC,MAAM,EAAE,QAAQ,CAAC;oBACjD,MAAM,EAAE,qBAAqB,CAAC,MAAM,EAAE,yBAAyB,IAAI,MAAM,EAAE,WAAW,CAAC;iBAC1F,CAAC;YACN,CAAC,CAAC,CAAC;YACH,OAAO;gBACH,QAAQ,EAAE,OAAO,CAAE,MAAc,EAAE,QAAQ,CAAC;gBAC5C,MAAM;aACT,CAAC;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO;gBACH,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB;aACvE,CAAC;QACN,CAAC;IACL,CAAC;CACJ;AAED,MAAM,UAAU,yBAAyB,CACrC,aAA+B,EAC/B,cAAmD,EACnD,iBAA+C;IAE/C,OAAO,IAAI,YAAY,CAAC,aAAa,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,UAA0B,EAAE,GAAQ;IAChF,UAAU,CAAC,SAAS,CAAC,oBAAoB,EAAE,KAAK,EAAE,MAA2B,EAAgC,EAAE;QAC3G,MAAM,gBAAgB,GAAG,GAAG,EAAE,SAAS,EAAE,gBAAgB,CAAC;QAC1D,IAAI,CAAC,gBAAgB;eACd,OAAO,gBAAgB,CAAC,gBAAgB,KAAK,UAAU;eACvD,OAAO,gBAAgB,CAAC,kBAAkB,KAAK,UAAU;eACzD,OAAO,gBAAgB,CAAC,aAAa,KAAK,UAAU,EAAE,CAAC;YAC1D,OAAO;gBACH,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,8CAA8C;aACxD,CAAC;QACN,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,MAAM,EAAE,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,WAAW,GAAG,OAAO,MAAM,EAAE,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,MAAM,YAAY,GAAG,yBAAyB,CAC1C,gBAAgB,CAAC,gBAAgB,EAAE,EACnC,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,GAAG,CAAC,EACjD,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,aAAa,CAAC,GAAG,CAAC,CAC/C,CAAC;QACF,OAAO,YAAY,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,WAAmB,EAAE,QAAgB;IAC5E,IAAI,WAAoB,CAAC;IACzB,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACxC,WAAW,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,cAAc,CAAC,WAAW,CAAC,CAAC;IAClD,MAAM,EAAE,EAAE,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;IAC5B,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;IAC1C,MAAM,SAAS,GAAG,WAAW,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAClH,IAAI,CAAC,SAAS,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,gBAAgB,GAAG,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,KAAe,CAAC;IACxF,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAU,EAAgB,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;IAC3G,MAAM,WAAW,GAAG,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,KAAe,CAAC;IAClF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,kBAAkB,GAAG,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,KAAe,CAAC;IACvF,MAAM,OAAO,GAAyC,EAAE,CAAC;IACzD,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;QACjD,MAAM,aAAa,GAAG,WAAW,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;QAC9D,IAAI,aAAa,CAAC,WAAW,EAAE,CAAC;YAC5B,SAAS;QACb,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,CAAC;QACtC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;YACpD,SAAS;QACb,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;QAClE,MAAM,IAAI,GAAG,QAAQ,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,2BAA2B,CAAC,MAAM,CAAC,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;QACjG,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnD,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtB,MAAM,cAAc,GAAG,kBAAkB,CAAC,KAAK,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;QACpE,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC9B,OAAO;YACH,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,QAAQ,EAAE,MAAM;YAChB,cAAc;YACd,IAAI,EAAE,MAAM,CAAC,IAAI;SACpB,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG;QACf,QAAQ;QACR,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,KAAmD,EAAE,EAAE,CACrE,+BAA+B,KAAK,CAAC,cAAc,0BAA0B,KAAK,CAAC,QAAQ,GAAG,CACjG;KACJ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACZ,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,IAAU,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9E,UAAU,CAAC,IAAI,CAAC,6BAA6B,MAAM,IAAI,CAAC,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,IAAU,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7E,UAAU,CAAC,IAAI,CAAC,qBAAqB,MAAM,IAAI,CAAC,CAAC;IACrD,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC5B,UAAU,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,KAAK,CAAC,cAAc,MAAM,CAAC,CAAC;IAChG,CAAC;IAED,UAAU,CAAC,IAAI,CAAC,YAAY,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/D,UAAU,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IAC/B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAEvB,MAAM,eAAe,GAAG,CAAC,OAAO,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAiB,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACnE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC/B,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC5E,CAAC;IAED,OAAO;QACH,MAAM,EAAE;YACJ,UAAU,UAAU,EAAE;YACtB,SAAS;YACT,GAAG,UAAU;YACb,GAAG;YACH,iBAAiB;SACpB,CAAC,IAAI,CAAC,IAAI,CAAC;QACZ,eAAe;QACf,YAAY;KACf,CAAC;AACN,CAAC;AAED,SAAS,6BAA6B,CAAC,UAAkB;IACrD,OAAO;QACH,aAAa;QACb,cAAc;QACd,iBAAiB;QACjB,iBAAiB;QACjB,GAAG;QACH,SAAS;QACT,YAAY,UAAU,gBAAgB;QACtC,yDAAyD,UAAU,MAAM;QACzE,cAAc;QACd,sCAAsC;QACtC,gDAAgD,UAAU,IAAI;QAC9D,KAAK;QACL,GAAG;KACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IACzC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,KAAK;aACd,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;aAC5C,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACxD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAClF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,IAAK,KAAa,EAAE,CAAC;QACzD,MAAM,GAAG,GAAI,KAAa,CAAC,KAAK,CAAC;QACjC,OAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,gCAAgC,CAAC,UAA2B;IACjE,MAAM,OAAO,GAAG,iCAAiC,CAAC;IAClD,MAAM,OAAO,GAAG,iCAAiC,CAAC;IAClD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEtD,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAsB,EAAE;QAChD,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;YACjE,OAAO,SAAS,CAAC;QACrB,CAAC;QACD,OAAO,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,SAAS;QACb,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;YAC3E,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChD,SAAS;QACb,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACxC,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,mBAAmB,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAW;IACtC,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,MAAM,gBAAgB,GAAG,uCAAuC,CAAC;IACjE,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,KAAK,EAAE,CAAC;QACR,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,IAAU;IAC5B,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;IAC7B,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;IAC7B,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChB,OAAO,IAAI,OAAO,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3C,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC;YACvB,OAAO,IAAI,OAAO,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC;QACpD,CAAC;QACD,OAAO,IAAI,OAAO,GAAG,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;AACzE,CAAC;AAED,SAAS,2BAA2B,CAAC,GAAW;IAC5C,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IACtD,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,OAAO,OAAO,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,OAAO,KAAK,UAAU,EAAE,CAAC;IAC7B,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,IAAyB;IAC/D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;QAClC,KAAK,IAAI,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,SAAS,CAAC,GAAW;IAC1B,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,UAAU,IAAI,KAAK,CAAC;AAC9E,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAW;IACnC,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACpC,CAAC"}

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

@@ -0,0 +1,71 @@
+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';
+    value: string;
+    datatype?: string;
+    language?: string;
+}
+export type QueryRow = Map<string, RDFTerm>;
+export interface QueryResult {
+    success: boolean;
+    rows: QueryRow[];
+    warnings: string[];
+    error?: string;
+}
+export interface ConstructResult {
+    success: boolean;
+    quads: RDF.Quad[];
+    warnings: string[];
+    error?: string;
+}
+export interface AskResult {
+    success: boolean;
+    result: boolean;
+    warnings: string[];
+    error?: string;
+}
+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;
+    constructor(reasoningStore: OwlStore, importGraph: OwlImportGraph, aboxEntailmentCache: OwlABoxEntailmentState, reasoningService: OwlInferenceRunner);
+    /**
+     * 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 toRdfTerm;
+    private isQueryValueTerm;
+    private toMissingModelsWarnings;
+    private composeWarnings;
+    private createFilteredStore;
+    private getOrCreateFilteredStore;
+}