@oml/owl 0.7.0 → 0.8.0

package/out/owl/owl-shacl.js

@@ -1,7 +1,23 @@
 // Copyright (c) 2026 Modelware. All rights reserved.
-import { Parser as N3Parser, Store as N3Store } from 'n3';
-import SHACLValidator from 'rdf-validate-shacl';
+import { DataFactory, Parser as N3Parser, Store as N3Store } from 'n3';
+import { Validator as ShaclValidator } from 'shacl-engine';
+import { targetResolvers as shaclSparqlTargetResolvers, validations as shaclSparqlValidations } from 'shacl-engine/sparql.js';
 export const ShaclValidateRequest = 'oml/table-editor/validate';
+const SHACL_FACTORY = {
+    ...DataFactory,
+    literal: (value, languageOrDatatype) => languageOrDatatype === undefined || languageOrDatatype === null
+        ? DataFactory.literal(value)
+        : DataFactory.literal(value, languageOrDatatype),
+    dataset: () => new N3Store(),
+};
+const RDF_TYPE = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type';
+const SH_PROPERTY_SHAPE = 'http://www.w3.org/ns/shacl#PropertyShape';
+const SH_DEACTIVATED = 'http://www.w3.org/ns/shacl#deactivated';
+const SH_NAME = 'http://www.w3.org/ns/shacl#name';
+const SH_PATH = 'http://www.w3.org/ns/shacl#path';
+const SH_PROPERTY = 'http://www.w3.org/ns/shacl#property';
+const SH_TARGET_CLASS = 'http://www.w3.org/ns/shacl#targetClass';
+const SH_TARGET_NODE = 'http://www.w3.org/ns/shacl#targetNode';
 export class ShaclService {
     constructor(sparqlService, prepareContext, resolveContextIri) {
         this.sparqlService = sparqlService;
@@ -57,18 +73,22 @@ export class ShaclService {
             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 validator = new ShaclValidator(shapesDataset, {
+                factory: SHACL_FACTORY,
+                targetResolvers: shaclSparqlTargetResolvers,
+                validations: shaclSparqlValidations,
+            });
+            const report = await validator.validate({ dataset: dataDataset });
             const rawResults = Array.isArray(report?.results) ? report.results : [];
             const issues = rawResults.map((result) => {
-                const path = formatValidationField(result?.path);
+                const path = formatValidationPath(result?.path);
                 return {
                     message: formatValidationField(result?.message) || 'Validation issue.',
-                    focusNode: formatValidationField(result?.focusNode),
+                    focusNode: formatValidationField(result?.focusNode?.term ?? result?.focusNode),
                     path,
                     propertyName: path ? propertyNameByPath.get(path) : undefined,
                     severity: formatValidationField(result?.severity),
-                    source: formatValidationField(result?.sourceConstraintComponent ?? result?.sourceShape),
+                    source: formatValidationField(result?.constraintComponent ?? result?.shape?.ptr?.term),
                 };
             });
             return {
@@ -108,46 +128,21 @@ export function registerShaclValidationRequests(connection, oml) {
     });
 }
 export function deriveSelectQueryFromShacl(shaclSource, graphIri) {
-    let shapesStore;
+    let shapeQuads;
     try {
         const parser = new N3Parser({ format: 'text/turtle' });
-        const quads = parser.parse(shaclSource);
-        shapesStore = new N3Store(quads);
+        shapeQuads = parser.parse(shaclSource);
     }
     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);
+    const nodeShape = parsePrimaryNodeShape(shapeQuads);
     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 variables = nodeShape.columns.map((column) => {
+        const base = normalizeSparqlVariableName(column.name || localName(column.path) || 'value');
         const unique = uniqueVariableName(base, usedNames);
         usedNames.add(unique);
         const sourceVariable = uniqueVariableName(`__${unique}`, usedNames);
@@ -165,17 +160,17 @@ export function deriveSelectQueryFromShacl(shaclSource, graphIri) {
     ].join(' ');
     const whereLines = [];
     const graphLines = [];
-    if (targetClasses.length > 0) {
-        const values = targetClasses.map((term) => `<${term.value}>`).join(' ');
+    if (nodeShape.targetClasses.length > 0) {
+        const values = nodeShape.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(' ');
+    if (nodeShape.targetNodes.length > 0) {
+        const values = nodeShape.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} . }`);
+        graphLines.push(`    OPTIONAL { ?focus <${entry.path}> ?${entry.sourceVariable} . }`);
     }
     whereLines.push(`  GRAPH <${escapeIriForSparql(graphIri)}> {`);
     whereLines.push(...graphLines);
@@ -214,6 +209,80 @@ function buildValidationConstructQuery(contextIri) {
         '}',
     ].join('\n');
 }
+function parsePrimaryNodeShape(shapeQuads) {
+    const shapesStore = new N3Store([...shapeQuads]);
+    const targetSubjects = collectSubjectsWithTargets(shapeQuads);
+    for (const shapeTerm of targetSubjects) {
+        if (isDeactivatedShape(shapesStore, shapeTerm) || isPropertyShape(shapesStore, shapeTerm)) {
+            continue;
+        }
+        const targetClasses = getObjects(shapesStore, shapeTerm, SH_TARGET_CLASS)
+            .filter((term) => term.termType === 'NamedNode');
+        const targetNodes = getObjects(shapesStore, shapeTerm, SH_TARGET_NODE);
+        if (targetClasses.length === 0 && targetNodes.length === 0) {
+            continue;
+        }
+        const columns = getObjects(shapesStore, shapeTerm, SH_PROPERTY)
+            .filter((term) => term.termType === 'NamedNode' || term.termType === 'BlankNode')
+            .filter((term) => !isDeactivatedShape(shapesStore, term))
+            .map((term) => {
+            const path = getFirstObject(shapesStore, term, SH_PATH);
+            if (!path || path.termType !== 'NamedNode') {
+                return undefined;
+            }
+            const nameTerm = getFirstObject(shapesStore, term, SH_NAME);
+            return {
+                path: path.value,
+                name: nameTerm && nameTerm.termType === 'Literal' ? nameTerm.value : undefined,
+            };
+        })
+            .filter((column) => Boolean(column));
+        return {
+            targetClasses,
+            targetNodes,
+            columns,
+        };
+    }
+    return undefined;
+}
+function collectSubjectsWithTargets(shapeQuads) {
+    const seen = new Set();
+    const subjects = [];
+    for (const quad of shapeQuads) {
+        if (quad.predicate.value !== SH_TARGET_CLASS && quad.predicate.value !== SH_TARGET_NODE) {
+            continue;
+        }
+        const key = termKey(quad.subject);
+        if (!key || seen.has(key)) {
+            continue;
+        }
+        seen.add(key);
+        subjects.push(quad.subject);
+    }
+    return subjects;
+}
+function isPropertyShape(store, subject) {
+    return store.countQuads(subject, DataFactory.namedNode(RDF_TYPE), DataFactory.namedNode(SH_PROPERTY_SHAPE), null) > 0
+        || store.countQuads(subject, DataFactory.namedNode(SH_PATH), null, null) > 0;
+}
+function isDeactivatedShape(store, subject) {
+    return getObjects(store, subject, SH_DEACTIVATED).some((term) => isTruthyLiteral(term));
+}
+function isTruthyLiteral(term) {
+    return term.termType === 'Literal' && (term.value === 'true' || term.value === '1');
+}
+function getObjects(store, subject, predicateIri) {
+    return [...store.getQuads(subject, DataFactory.namedNode(predicateIri), null, null)].map((quad) => quad.object);
+}
+function getFirstObject(store, subject, predicateIri) {
+    return getObjects(store, subject, predicateIri)[0];
+}
+function termKey(term) {
+    if (term.termType !== 'NamedNode' && term.termType !== 'BlankNode') {
+        return undefined;
+    }
+    return `${term.termType}:${term.value}`;
+}
 function formatValidationField(value) {
     if (value === undefined || value === null)
         return undefined;
@@ -227,12 +296,26 @@ function formatValidationField(value) {
         return value;
     if (typeof value === 'number' || typeof value === 'boolean')
         return String(value);
-    if (typeof value === 'object' && 'value' in value) {
+    if (typeof value === 'object' && value !== null && 'value' in value) {
         const raw = value.value;
         return typeof raw === 'string' ? raw : String(raw);
     }
     return String(value);
 }
+function formatValidationPath(path) {
+    if (Array.isArray(path) && path.length === 1) {
+        const [step] = path;
+        if (step.quantifier === 'one'
+            && step.start === 'subject'
+            && step.end === 'object'
+            && Array.isArray(step.predicates)
+            && step.predicates.length === 1
+            && typeof step.predicates[0]?.value === 'string') {
+            return step.predicates[0].value;
+        }
+    }
+    return formatValidationField(path);
+}
 function collectShaclPropertyDisplayNames(shapeQuads) {
     const SH_PATH = 'http://www.w3.org/ns/shacl#path';
     const SH_NAME = 'http://www.w3.org/ns/shacl#name';
@@ -328,9 +411,6 @@ function localName(iri) {
     }
     return iri;
 }
-function isRdfTerm(value) {
-    return typeof value === 'object' && value !== null && 'termType' in value;
-}
 function escapeIriForSparql(iri) {
     return iri.replace(/>/g, '\\>');
 }

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

@@ -1 +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"}
+{"version":3,"file":"owl-shacl.js","sourceRoot":"","sources":["../../src/owl/owl-shacl.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAGrD,OAAO,EAAE,WAAW,EAAE,MAAM,IAAI,QAAQ,EAAE,KAAK,IAAI,OAAO,EAAE,MAAM,IAAI,CAAC;AACvE,OAAO,EAAE,SAAS,IAAI,cAAc,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,eAAe,IAAI,0BAA0B,EAAE,WAAW,IAAI,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAQ9H,MAAM,CAAC,MAAM,oBAAoB,GAAG,2BAA2B,CAAC;AA+BhE,MAAM,aAAa,GAAG;IAClB,GAAG,WAAW;IACd,OAAO,EAAE,CAAC,KAAa,EAAE,kBAAyC,EAAE,EAAE,CAClE,kBAAkB,KAAK,SAAS,IAAI,kBAAkB,KAAK,IAAI;QAC3D,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC;QAC5B,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,kBAAyB,CAAC;IAC/D,OAAO,EAAE,GAAY,EAAE,CAAC,IAAI,OAAO,EAAE;CACxC,CAAC;AACF,MAAM,QAAQ,GAAG,iDAAiD,CAAC;AACnE,MAAM,iBAAiB,GAAG,0CAA0C,CAAC;AACrE,MAAM,cAAc,GAAG,wCAAwC,CAAC;AAChE,MAAM,OAAO,GAAG,iCAAiC,CAAC;AAClD,MAAM,OAAO,GAAG,iCAAiC,CAAC;AAClD,MAAM,WAAW,GAAG,qCAAqC,CAAC;AAC1D,MAAM,eAAe,GAAG,wCAAwC,CAAC;AACjE,MAAM,cAAc,GAAG,uCAAuC,CAAC;AAE/D,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,EAAE;gBAChD,OAAO,EAAE,aAAa;gBACtB,eAAe,EAAE,0BAA0B;gBAC3C,WAAW,EAAE,sBAAsB;aACtC,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;YAClE,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,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBAChD,OAAO;oBACH,OAAO,EAAE,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,mBAAmB;oBACtE,SAAS,EAAE,qBAAqB,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,IAAI,MAAM,EAAE,SAAS,CAAC;oBAC9E,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,mBAAmB,IAAI,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC;iBACzF,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,UAAkB,CAAC;IACvB,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,QAAQ,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;QACvD,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,CAAC,SAAS,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC/C,MAAM,IAAI,GAAG,2BAA2B,CAAC,MAAM,CAAC,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC;QAC3F,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,SAAS,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAU,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxF,UAAU,CAAC,IAAI,CAAC,6BAA6B,MAAM,IAAI,CAAC,CAAC;QACzD,UAAU,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,SAAS,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAU,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvF,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,MAAM,KAAK,CAAC,cAAc,MAAM,CAAC,CAAC;IAC1F,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,UAA2B;IACtD,MAAM,WAAW,GAAG,IAAI,OAAO,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC;IACjD,MAAM,cAAc,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IAE9D,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;QACrC,IAAI,kBAAkB,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,eAAe,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;YACxF,SAAS;QACb,CAAC;QAED,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,eAAe,CAAC;aACpE,MAAM,CAAC,CAAC,IAAI,EAAgB,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;QACnE,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;QACvE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,SAAS;QACb,CAAC;QAED,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC;aAC1D,MAAM,CAAC,CAAC,IAAI,EAAgB,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAC;aAC9F,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;aACxD,GAAG,CAAC,CAAC,IAAI,EAAiC,EAAE;YACzC,MAAM,IAAI,GAAG,cAAc,CAAC,WAAW,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBACzC,OAAO,SAAS,CAAC;YACrB,CAAC;YACD,MAAM,QAAQ,GAAG,cAAc,CAAC,WAAW,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC5D,OAAO;gBACH,IAAI,EAAE,IAAI,CAAC,KAAK;gBAChB,IAAI,EAAE,QAAQ,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;aACjF,CAAC;QACN,CAAC,CAAC;aACD,MAAM,CAAC,CAAC,MAAM,EAA+B,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAEtE,OAAO;YACH,aAAa;YACb,WAAW;YACX,OAAO;SACV,CAAC;IACN,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,0BAA0B,CAAC,UAA2B;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAW,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,KAAK,eAAe,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;YACtF,SAAS;QACb,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,SAAS;QACb,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,OAAa;IAClD,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC;WAC9G,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,OAAa;IACrD,OAAO,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,eAAe,CAAC,IAAU;IAC/B,OAAO,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,OAAa,EAAE,YAAoB;IACnE,OAAO,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACpH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,OAAa,EAAE,YAAoB;IACvE,OAAO,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,OAAO,CAAC,IAAU;IACvB,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;AAC5C,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,KAAK,KAAK,IAAI,IAAI,OAAO,IAAK,KAAa,EAAE,CAAC;QAC3E,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,oBAAoB,CAAC,IAAa;IACvC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,GAAG,IAA4G,CAAC;QAC5H,IAAI,IAAI,CAAC,UAAU,KAAK,KAAK;eACtB,IAAI,CAAC,KAAK,KAAK,SAAS;eACxB,IAAI,CAAC,GAAG,KAAK,QAAQ;eACrB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;eAC9B,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;eAC5B,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACpC,CAAC;IACL,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;AACvC,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,kBAAkB,CAAC,GAAW;IACnC,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACpC,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
     "name": "@oml/owl",
     "description": "The semantic web specific package",
-    "version": "0.7.0",
+    "version": "0.8.0",
     "type": "module",
     "engines": {
         "node": ">=20.10.0",
@@ -33,11 +33,11 @@
         "test": "vitest run"
     },
     "dependencies": {
-        "@oml/language": "0.7.0",
         "@comunica/query-sparql": "^5.1.3",
+        "@oml/language": "0.8.0",
         "langium": "^4.2.1",
         "n3": "^2.0.1",
-        "rdf-validate-shacl": "^0.6.5",
+        "shacl-engine": "^1.1.0",
         "yaml": "^2.8.2"
     },
     "devDependencies": {

package/src/owl/owl-shacl.ts

@@ -1,8 +1,9 @@
 // Copyright (c) 2026 Modelware. All rights reserved.
 
 import type { Quad, Term } from '@rdfjs/types';
-import { Parser as N3Parser, Store as N3Store } from 'n3';
-import SHACLValidator from 'rdf-validate-shacl';
+import { DataFactory, Parser as N3Parser, Store as N3Store } from 'n3';
+import { Validator as ShaclValidator } from 'shacl-engine';
+import { targetResolvers as shaclSparqlTargetResolvers, validations as shaclSparqlValidations } from 'shacl-engine/sparql.js';
 import type {
     OwlShaclService,
     OwlShaclValidationIssue,
@@ -26,10 +27,38 @@ export type DerivedShaclSelectQuery = {
     columnLabels: Map<string, string>;
 };
 
+type ParsedShaclColumn = {
+    path: string;
+    name?: string;
+};
+
+type ParsedShaclNodeShape = {
+    targetClasses: Term[];
+    targetNodes: Term[];
+    columns: ParsedShaclColumn[];
+};
+
 type ConnectionLike = {
     onRequest: (type: string, handler: (params: ShaclValidateParams) => ShaclValidateResult | Promise<ShaclValidateResult>) => void;
 };
 
+const SHACL_FACTORY = {
+    ...DataFactory,
+    literal: (value: string, languageOrDatatype?: string | Term | null) =>
+        languageOrDatatype === undefined || languageOrDatatype === null
+            ? DataFactory.literal(value)
+            : DataFactory.literal(value, languageOrDatatype as any),
+    dataset: (): N3Store => new N3Store(),
+};
+const RDF_TYPE = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type';
+const SH_PROPERTY_SHAPE = 'http://www.w3.org/ns/shacl#PropertyShape';
+const SH_DEACTIVATED = 'http://www.w3.org/ns/shacl#deactivated';
+const SH_NAME = 'http://www.w3.org/ns/shacl#name';
+const SH_PATH = 'http://www.w3.org/ns/shacl#path';
+const SH_PROPERTY = 'http://www.w3.org/ns/shacl#property';
+const SH_TARGET_CLASS = 'http://www.w3.org/ns/shacl#targetClass';
+const SH_TARGET_NODE = 'http://www.w3.org/ns/shacl#targetNode';
+
 export class ShaclService implements OwlShaclService {
     constructor(
         private readonly sparqlService: OwlSparqlService,
@@ -89,18 +118,22 @@ export class ShaclService implements OwlShaclService {
             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 validator = new ShaclValidator(shapesDataset, {
+                factory: SHACL_FACTORY,
+                targetResolvers: shaclSparqlTargetResolvers,
+                validations: shaclSparqlValidations,
+            });
+            const report = await validator.validate({ dataset: dataDataset });
             const rawResults = Array.isArray((report as any)?.results) ? (report as any).results : [];
             const issues: ShaclValidationIssue[] = rawResults.map((result: any) => {
-                const path = formatValidationField(result?.path);
+                const path = formatValidationPath(result?.path);
                 return {
                     message: formatValidationField(result?.message) || 'Validation issue.',
-                    focusNode: formatValidationField(result?.focusNode),
+                    focusNode: formatValidationField(result?.focusNode?.term ?? result?.focusNode),
                     path,
                     propertyName: path ? propertyNameByPath.get(path) : undefined,
                     severity: formatValidationField(result?.severity),
-                    source: formatValidationField(result?.sourceConstraintComponent ?? result?.sourceShape),
+                    source: formatValidationField(result?.constraintComponent ?? result?.shape?.ptr?.term),
                 };
             });
             return {
@@ -150,49 +183,22 @@ export function registerShaclValidationRequests(connection: ConnectionLike, oml:
 }
 
 export function deriveSelectQueryFromShacl(shaclSource: string, graphIri: string): DerivedShaclSelectQuery | undefined {
-    let shapesStore: N3Store;
+    let shapeQuads: Quad[];
     try {
         const parser = new N3Parser({ format: 'text/turtle' });
-        const quads = parser.parse(shaclSource);
-        shapesStore = new N3Store(quads);
+        shapeQuads = parser.parse(shaclSource);
     } catch {
         return undefined;
     }
 
-    const validator = new SHACLValidator(shapesStore);
-    const { sh } = validator.ns;
-    const shapesGraph = validator.shapesGraph;
-    const nodeShape = shapesGraph.shapesWithTarget.find((shape: any) => !shape.isPropertyShape && !shape.deactivated);
+    const nodeShape = parsePrimaryNodeShape(shapeQuads);
     if (!nodeShape) {
         return undefined;
     }
 
-    const targetClassTerms = nodeShape.shapeNodePointer.out(sh.targetClass).terms as Term[];
-    const targetClasses = targetClassTerms.filter((term: Term): term is Term => term.termType === 'NamedNode');
-    const targetNodes = nodeShape.shapeNodePointer.out(sh.targetNode).terms as Term[];
-    if (targetClasses.length === 0 && targetNodes.length === 0) {
-        return undefined;
-    }
-
-    const propertyShapeTerms = nodeShape.shapeNodePointer.out(sh.property).terms as Term[];
-    const columns: Array<{ path: Term; name?: string }> = [];
-    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<string>(['focus']);
-    const variables = columns.map((column) => {
-        const base = normalizeSparqlVariableName(column.name || localName(column.path.value) || 'value');
+    const variables = nodeShape.columns.map((column) => {
+        const base = normalizeSparqlVariableName(column.name || localName(column.path) || 'value');
         const unique = uniqueVariableName(base, usedNames);
         usedNames.add(unique);
         const sourceVariable = uniqueVariableName(`__${unique}`, usedNames);
@@ -214,19 +220,19 @@ export function deriveSelectQueryFromShacl(shaclSource: string, graphIri: string
     const whereLines: string[] = [];
     const graphLines: string[] = [];
 
-    if (targetClasses.length > 0) {
-        const values = targetClasses.map((term: Term) => `<${term.value}>`).join(' ');
+    if (nodeShape.targetClasses.length > 0) {
+        const values = nodeShape.targetClasses.map((term: Term) => `<${term.value}>`).join(' ');
         whereLines.push(`  VALUES ?__targetClass { ${values} }`);
         graphLines.push('    ?focus a ?__targetClass .');
     }
 
-    if (targetNodes.length > 0) {
-        const values = targetNodes.map((term: Term) => termToSparql(term)).join(' ');
+    if (nodeShape.targetNodes.length > 0) {
+        const values = nodeShape.targetNodes.map((term: Term) => termToSparql(term)).join(' ');
         whereLines.push(`  VALUES ?focus { ${values} }`);
     }
 
     for (const entry of variables) {
-        graphLines.push(`    OPTIONAL { ?focus <${entry.path.value}> ?${entry.sourceVariable} . }`);
+        graphLines.push(`    OPTIONAL { ?focus <${entry.path}> ?${entry.sourceVariable} . }`);
     }
 
     whereLines.push(`  GRAPH <${escapeIriForSparql(graphIri)}> {`);
@@ -270,6 +276,93 @@ function buildValidationConstructQuery(contextIri: string): string {
     ].join('\n');
 }
 
+function parsePrimaryNodeShape(shapeQuads: readonly Quad[]): ParsedShaclNodeShape | undefined {
+    const shapesStore = new N3Store([...shapeQuads]);
+    const targetSubjects = collectSubjectsWithTargets(shapeQuads);
+
+    for (const shapeTerm of targetSubjects) {
+        if (isDeactivatedShape(shapesStore, shapeTerm) || isPropertyShape(shapesStore, shapeTerm)) {
+            continue;
+        }
+
+        const targetClasses = getObjects(shapesStore, shapeTerm, SH_TARGET_CLASS)
+            .filter((term): term is Term => term.termType === 'NamedNode');
+        const targetNodes = getObjects(shapesStore, shapeTerm, SH_TARGET_NODE);
+        if (targetClasses.length === 0 && targetNodes.length === 0) {
+            continue;
+        }
+
+        const columns = getObjects(shapesStore, shapeTerm, SH_PROPERTY)
+            .filter((term): term is Term => term.termType === 'NamedNode' || term.termType === 'BlankNode')
+            .filter((term) => !isDeactivatedShape(shapesStore, term))
+            .map((term): ParsedShaclColumn | undefined => {
+                const path = getFirstObject(shapesStore, term, SH_PATH);
+                if (!path || path.termType !== 'NamedNode') {
+                    return undefined;
+                }
+                const nameTerm = getFirstObject(shapesStore, term, SH_NAME);
+                return {
+                    path: path.value,
+                    name: nameTerm && nameTerm.termType === 'Literal' ? nameTerm.value : undefined,
+                };
+            })
+            .filter((column): column is ParsedShaclColumn => Boolean(column));
+
+        return {
+            targetClasses,
+            targetNodes,
+            columns,
+        };
+    }
+
+    return undefined;
+}
+
+function collectSubjectsWithTargets(shapeQuads: readonly Quad[]): Term[] {
+    const seen = new Set<string>();
+    const subjects: Term[] = [];
+    for (const quad of shapeQuads) {
+        if (quad.predicate.value !== SH_TARGET_CLASS && quad.predicate.value !== SH_TARGET_NODE) {
+            continue;
+        }
+        const key = termKey(quad.subject);
+        if (!key || seen.has(key)) {
+            continue;
+        }
+        seen.add(key);
+        subjects.push(quad.subject);
+    }
+    return subjects;
+}
+
+function isPropertyShape(store: N3Store, subject: Term): boolean {
+    return store.countQuads(subject, DataFactory.namedNode(RDF_TYPE), DataFactory.namedNode(SH_PROPERTY_SHAPE), null) > 0
+        || store.countQuads(subject, DataFactory.namedNode(SH_PATH), null, null) > 0;
+}
+
+function isDeactivatedShape(store: N3Store, subject: Term): boolean {
+    return getObjects(store, subject, SH_DEACTIVATED).some((term) => isTruthyLiteral(term));
+}
+
+function isTruthyLiteral(term: Term): boolean {
+    return term.termType === 'Literal' && (term.value === 'true' || term.value === '1');
+}
+
+function getObjects(store: N3Store, subject: Term, predicateIri: string): Term[] {
+    return [...store.getQuads(subject, DataFactory.namedNode(predicateIri), null, null)].map((quad) => quad.object);
+}
+
+function getFirstObject(store: N3Store, subject: Term, predicateIri: string): Term | undefined {
+    return getObjects(store, subject, predicateIri)[0];
+}
+
+function termKey(term: Term): string | undefined {
+    if (term.termType !== 'NamedNode' && term.termType !== 'BlankNode') {
+        return undefined;
+    }
+    return `${term.termType}:${term.value}`;
+}
+
 function formatValidationField(value: unknown): string | undefined {
     if (value === undefined || value === null) return undefined;
     if (Array.isArray(value)) {
@@ -280,13 +373,28 @@ function formatValidationField(value: unknown): string | undefined {
     }
     if (typeof value === 'string') return value;
     if (typeof value === 'number' || typeof value === 'boolean') return String(value);
-    if (typeof value === 'object' && 'value' in (value as any)) {
+    if (typeof value === 'object' && value !== null && 'value' in (value as any)) {
         const raw = (value as any).value;
         return typeof raw === 'string' ? raw : String(raw);
     }
     return String(value);
 }
 
+function formatValidationPath(path: unknown): string | undefined {
+    if (Array.isArray(path) && path.length === 1) {
+        const [step] = path as Array<{ quantifier?: string; start?: string; end?: string; predicates?: Array<{ value?: string }> }>;
+        if (step.quantifier === 'one'
+            && step.start === 'subject'
+            && step.end === 'object'
+            && Array.isArray(step.predicates)
+            && step.predicates.length === 1
+            && typeof step.predicates[0]?.value === 'string') {
+            return step.predicates[0].value;
+        }
+    }
+    return formatValidationField(path);
+}
+
 function collectShaclPropertyDisplayNames(shapeQuads: readonly Quad[]): Map<string, string> {
     const SH_PATH = 'http://www.w3.org/ns/shacl#path';
     const SH_NAME = 'http://www.w3.org/ns/shacl#name';
@@ -391,10 +499,6 @@ function localName(iri: string): string {
     return iri;
 }
 
-function isRdfTerm(value: unknown): value is Term {
-    return typeof value === 'object' && value !== null && 'termType' in value;
-}
-
 function escapeIriForSparql(iri: string): string {
     return iri.replace(/>/g, '\\>');
 }

package/src/shacl-engine.d.ts

@@ -0,0 +1,13 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+
+declare module 'shacl-engine' {
+    export class Validator {
+        constructor(dataset: unknown, options: unknown);
+        validate(data: unknown, shapes?: unknown): Promise<any>;
+    }
+}
+
+declare module 'shacl-engine/sparql.js' {
+    export const validations: unknown;
+    export const targetResolvers: unknown;
+}