@oml/owl 0.7.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (46) hide show
  1. package/README.md +46 -0
  2. package/out/index.d.ts +10 -0
  3. package/out/index.js +12 -0
  4. package/out/index.js.map +1 -0
  5. package/out/owl/owl-abox.d.ts +79 -0
  6. package/out/owl/owl-abox.js +765 -0
  7. package/out/owl/owl-abox.js.map +1 -0
  8. package/out/owl/owl-imports.d.ts +9 -0
  9. package/out/owl/owl-imports.js +102 -0
  10. package/out/owl/owl-imports.js.map +1 -0
  11. package/out/owl/owl-interfaces.d.ts +121 -0
  12. package/out/owl/owl-interfaces.js +3 -0
  13. package/out/owl/owl-interfaces.js.map +1 -0
  14. package/out/owl/owl-mapper.d.ts +80 -0
  15. package/out/owl/owl-mapper.js +1217 -0
  16. package/out/owl/owl-mapper.js.map +1 -0
  17. package/out/owl/owl-service.d.ts +65 -0
  18. package/out/owl/owl-service.js +552 -0
  19. package/out/owl/owl-service.js.map +1 -0
  20. package/out/owl/owl-shacl.d.ts +28 -0
  21. package/out/owl/owl-shacl.js +337 -0
  22. package/out/owl/owl-shacl.js.map +1 -0
  23. package/out/owl/owl-sparql.d.ts +71 -0
  24. package/out/owl/owl-sparql.js +260 -0
  25. package/out/owl/owl-sparql.js.map +1 -0
  26. package/out/owl/owl-store.d.ts +32 -0
  27. package/out/owl/owl-store.js +142 -0
  28. package/out/owl/owl-store.js.map +1 -0
  29. package/out/owl/owl-tbox.d.ts +98 -0
  30. package/out/owl/owl-tbox.js +575 -0
  31. package/out/owl/owl-tbox.js.map +1 -0
  32. package/out/owl-module.d.ts +15 -0
  33. package/out/owl-module.js +22 -0
  34. package/out/owl-module.js.map +1 -0
  35. package/package.json +52 -0
  36. package/src/index.ts +12 -0
  37. package/src/owl/owl-abox.ts +930 -0
  38. package/src/owl/owl-imports.ts +108 -0
  39. package/src/owl/owl-interfaces.ts +145 -0
  40. package/src/owl/owl-mapper.ts +1510 -0
  41. package/src/owl/owl-service.ts +642 -0
  42. package/src/owl/owl-shacl.ts +400 -0
  43. package/src/owl/owl-sparql.ts +317 -0
  44. package/src/owl/owl-store.ts +173 -0
  45. package/src/owl/owl-tbox.ts +727 -0
  46. package/src/owl-module.ts +52 -0
@@ -0,0 +1,552 @@
1
+ // Copyright (c) 2026 Modelware. All rights reserved.
2
+ import { DocumentState, URI } from 'langium';
3
+ import { getOntologyModelIndex, isDescription, isDescriptionBundle, isOntology, isVocabulary, isVocabularyBundle } from '@oml/language';
4
+ import { Oml2OwlMapper } from './owl-mapper.js';
5
+ import { ReasoningStore } from './owl-store.js';
6
+ import { ABoxChainer, ABoxEntailmentCache } from './owl-abox.js';
7
+ import { ImportGraph } from './owl-imports.js';
8
+ import { SparqlService } from './owl-sparql.js';
9
+ import { TBoxChainer, TBoxIndexBuilder, TBoxIndexCache } from './owl-tbox.js';
10
+ export class ReasoningService {
11
+ constructor(services, dependencies = {}) {
12
+ this.preparedModelAliases = new Map();
13
+ this.activeDocuments = new Set();
14
+ this.modelLoadInFlight = new Map();
15
+ this.semanticChangeListeners = new Set();
16
+ this.workspaceBuilt = false;
17
+ this.services = services;
18
+ const resolved = createDefaultDependencies(dependencies);
19
+ this.mapper = resolved.mapper;
20
+ this.reasoningStore = resolved.reasoningStore;
21
+ this.importGraph = resolved.importGraph;
22
+ this.tboxIndexCache = resolved.tboxIndexCache;
23
+ this.tboxChainer = resolved.tboxChainer;
24
+ this.tboxIndexBuilder = resolved.tboxIndexBuilder;
25
+ this.aboxChainer = resolved.aboxChainer;
26
+ this.aboxEntailmentCache = resolved.aboxEntailmentCache;
27
+ this.sparqlService = resolved.createSparqlService(this);
28
+ this.ontologyModelIndex = getOntologyModelIndex(services.shared);
29
+ services.shared.workspace.DocumentBuilder.onDocumentPhase(DocumentState.Validated, (document) => {
30
+ this.onDocumentValidated(document);
31
+ });
32
+ }
33
+ onDocumentValidated(document) {
34
+ const ontology = document.parseResult.value;
35
+ if (!isOntology(ontology)) {
36
+ return;
37
+ }
38
+ const modelUri = document.uri.toString();
39
+ const importedModelUris = this.extractImportedModelUris(ontology);
40
+ this.importGraph.update(modelUri, importedModelUris);
41
+ const quads = this.mapper.toQuads(ontology);
42
+ const diff = this.reasoningStore.diffModel(modelUri, quads);
43
+ if (diff.isEmpty) {
44
+ return;
45
+ }
46
+ this.tboxIndexCache.invalidateMerged(modelUri);
47
+ this.reasoningStore.retractModel(modelUri);
48
+ this.reasoningStore.loadModel(modelUri, quads);
49
+ const impactedByLoad = [modelUri, ...this.importGraph.dependentsOf(modelUri)];
50
+ for (const uri of impactedByLoad) {
51
+ this.sparqlService.invalidateFilteredStore(uri);
52
+ }
53
+ this.notifySemanticChanged(impactedByLoad);
54
+ if (isVocabulary(ontology)) {
55
+ this.tboxChainer.chain(modelUri);
56
+ const tboxIndex = this.tboxIndexBuilder.buildOwn(modelUri, ontology);
57
+ this.tboxIndexCache.setOwn(modelUri, tboxIndex);
58
+ const dependents = this.importGraph.dependentsOf(modelUri);
59
+ this.tboxIndexCache.invalidateMergedAll(dependents);
60
+ this.aboxEntailmentCache.markDirtyAll(dependents);
61
+ for (const dependent of dependents) {
62
+ if (!this.isActiveDocument(dependent)) {
63
+ continue;
64
+ }
65
+ this.tboxIndexCache.setMerged(dependent, this.tboxIndexBuilder.buildMerged(dependent));
66
+ }
67
+ }
68
+ else if (isVocabularyBundle(ontology)) {
69
+ const dependents = this.importGraph.dependentsOf(modelUri);
70
+ const affected = [modelUri, ...dependents];
71
+ this.tboxIndexCache.invalidateMergedAll(affected);
72
+ this.aboxEntailmentCache.markDirtyAll(affected);
73
+ for (const uri of affected) {
74
+ if (!this.isActiveDocument(uri)) {
75
+ continue;
76
+ }
77
+ this.tboxIndexCache.setMerged(uri, this.tboxIndexBuilder.buildMerged(uri));
78
+ }
79
+ }
80
+ else if (isDescription(ontology)) {
81
+ this.aboxEntailmentCache.markDirty(modelUri);
82
+ }
83
+ else if (isDescriptionBundle(ontology)) {
84
+ const dependents = this.importGraph.dependentsOf(modelUri);
85
+ const affected = [modelUri, ...dependents];
86
+ this.tboxIndexCache.invalidateMergedAll(affected);
87
+ this.aboxEntailmentCache.markDirtyAll(affected);
88
+ for (const uri of affected) {
89
+ if (!this.isActiveDocument(uri)) {
90
+ continue;
91
+ }
92
+ this.tboxIndexCache.setMerged(uri, this.tboxIndexBuilder.buildMerged(uri));
93
+ }
94
+ }
95
+ }
96
+ runInference(modelUri) {
97
+ const chainOrder = this.resolveLoadedDependencyOrder(modelUri);
98
+ let complete = true;
99
+ let iterations = 0;
100
+ let newQuadsCount = 0;
101
+ const chainedModels = [];
102
+ for (const chainedModelUri of chainOrder) {
103
+ const shouldChain = this.aboxEntailmentCache.isDirty(chainedModelUri)
104
+ || (chainedModelUri === modelUri && this.aboxEntailmentCache.isAbsent(chainedModelUri));
105
+ if (!shouldChain) {
106
+ continue;
107
+ }
108
+ this.ensureOwnTboxIndexesForDependencies(chainedModelUri);
109
+ let merged = this.tboxIndexCache.getMerged(chainedModelUri);
110
+ if (!merged || this.tboxIndexCache.isMergedDirty(chainedModelUri)) {
111
+ merged = this.tboxIndexBuilder.buildMerged(chainedModelUri);
112
+ this.tboxIndexCache.setMerged(chainedModelUri, merged);
113
+ }
114
+ const readScope = this.resolveLoadedDependencyOrder(chainedModelUri);
115
+ const delta = this.aboxEntailmentCache.consumeDelta(chainedModelUri);
116
+ const result = this.aboxChainer.chain(chainedModelUri, merged, readScope, delta.plus, delta.minus);
117
+ this.aboxEntailmentCache.setValidationWarnings(chainedModelUri, result.validationWarnings);
118
+ chainedModels.push(chainedModelUri);
119
+ complete = complete && result.complete;
120
+ iterations += result.iterations;
121
+ newQuadsCount += result.newQuadsCount;
122
+ if (result.complete) {
123
+ this.aboxEntailmentCache.markClean(chainedModelUri);
124
+ }
125
+ else {
126
+ this.aboxEntailmentCache.markDirty(chainedModelUri);
127
+ }
128
+ }
129
+ if (!chainedModels.includes(modelUri)) {
130
+ return { complete: true, iterations: 0, newQuadsCount: 0, validationWarnings: [] };
131
+ }
132
+ return { complete, iterations, newQuadsCount, validationWarnings: [] };
133
+ }
134
+ removeModel(modelUri) {
135
+ const dependents = this.importGraph.dependentsOf(modelUri);
136
+ this.importGraph.remove(modelUri);
137
+ this.reasoningStore.retractModel(modelUri);
138
+ this.ontologyModelIndex.removeModel(modelUri);
139
+ this.tboxIndexCache.invalidateOwn(modelUri);
140
+ this.tboxIndexCache.invalidateMerged(modelUri);
141
+ this.aboxEntailmentCache.invalidate(modelUri);
142
+ this.tboxIndexCache.invalidateMergedAll(dependents);
143
+ this.aboxEntailmentCache.markDirtyAll(dependents);
144
+ this.sparqlService.removeFilteredStore(modelUri);
145
+ for (const dependent of dependents) {
146
+ this.sparqlService.invalidateFilteredStore(dependent);
147
+ }
148
+ this.notifySemanticChanged([modelUri, ...dependents]);
149
+ this.activeDocuments.delete(modelUri);
150
+ }
151
+ onSemanticChanged(listener) {
152
+ this.semanticChangeListeners.add(listener);
153
+ return () => {
154
+ this.semanticChangeListeners.delete(listener);
155
+ };
156
+ }
157
+ getStore() {
158
+ return this.reasoningStore;
159
+ }
160
+ getImportGraph() {
161
+ return this.importGraph;
162
+ }
163
+ getSparqlService() {
164
+ return {
165
+ invalidateFilteredStore: (modelUri) => {
166
+ this.sparqlService.invalidateFilteredStore(this.resolveQueryModelUri(modelUri));
167
+ },
168
+ removeFilteredStore: (modelUri) => {
169
+ this.sparqlService.removeFilteredStore(this.resolveQueryModelUri(modelUri));
170
+ },
171
+ query: (modelUri, sparql) => {
172
+ return this.sparqlService.query(this.resolveQueryModelUri(modelUri), sparql);
173
+ },
174
+ construct: (modelUri, sparql) => {
175
+ return this.sparqlService.construct(this.resolveQueryModelUri(modelUri), sparql);
176
+ },
177
+ };
178
+ }
179
+ loadPreparedDataset(models) {
180
+ this.preparedModelAliases.clear();
181
+ for (const model of models) {
182
+ this.preparedModelAliases.set(model.modelUri, model.modelUri);
183
+ for (const alias of model.aliases ?? []) {
184
+ this.preparedModelAliases.set(alias, model.modelUri);
185
+ }
186
+ this.importGraph.update(model.modelUri, [...model.imports]);
187
+ this.reasoningStore.loadModel(model.modelUri, [...model.assertedQuads]);
188
+ this.reasoningStore.loadEntailments(model.modelUri, [...model.entailedQuads]);
189
+ this.aboxEntailmentCache.markClean(model.modelUri);
190
+ this.aboxEntailmentCache.setValidationWarnings(model.modelUri, [...(model.validationWarnings ?? [])]);
191
+ this.sparqlService.invalidateFilteredStore(model.modelUri);
192
+ }
193
+ this.workspaceBuilt = true;
194
+ this.workspaceBuildPromise = undefined;
195
+ }
196
+ async ensureQueryContext(modelUri) {
197
+ const resolvedModelUri = this.resolveQueryModelUri(modelUri);
198
+ await this.ensureWorkspaceBuilt();
199
+ await this.ensureModelLoaded(resolvedModelUri);
200
+ await this.ensureContextDatasetReady(resolvedModelUri);
201
+ }
202
+ getContextIri(modelUri) {
203
+ return this.resolveOntologyIriForModelUri(this.resolveQueryModelUri(modelUri));
204
+ }
205
+ setActiveDocuments(modelUris) {
206
+ this.activeDocuments.clear();
207
+ for (const modelUri of modelUris) {
208
+ this.activeDocuments.add(modelUri);
209
+ }
210
+ }
211
+ markDocumentActive(modelUri) {
212
+ this.activeDocuments.add(modelUri);
213
+ }
214
+ markDocumentInactive(modelUri) {
215
+ this.activeDocuments.delete(modelUri);
216
+ }
217
+ extractImportedModelUris(ontology) {
218
+ const prefixes = this.buildPrefixMap(ontology);
219
+ const imports = ontology.ownedImports ?? [];
220
+ const importedModelUris = imports
221
+ .map((ownedImport) => this.resolveImportedModelUri(ownedImport, prefixes))
222
+ .filter((uri) => Boolean(uri));
223
+ return [...new Set(importedModelUris)];
224
+ }
225
+ resolveImportedModelUri(ownedImport, prefixes) {
226
+ if (ownedImport.imported?.ref && isOntology(ownedImport.imported.ref)) {
227
+ const importedDocumentUri = ownedImport.imported.ref?.$document?.uri?.toString();
228
+ if (importedDocumentUri) {
229
+ return importedDocumentUri;
230
+ }
231
+ const importedNamespace = this.normalizeNamespace(ownedImport.imported.ref.namespace ?? '');
232
+ return this.resolveModelUriFromOntologyIdentifier(importedNamespace);
233
+ }
234
+ const refText = ownedImport.imported?.$refText ?? ownedImport.imported?.refText;
235
+ if (!refText) {
236
+ return undefined;
237
+ }
238
+ const ontologyIdentifier = this.resolveFromRefText(refText, prefixes);
239
+ if (!ontologyIdentifier || BUILT_IN_ONTOLOGIES.has(ontologyIdentifier)) {
240
+ return undefined;
241
+ }
242
+ return this.resolveModelUriFromOntologyIdentifier(ontologyIdentifier);
243
+ }
244
+ buildPrefixMap(ontology) {
245
+ const map = new Map();
246
+ const ontologyPrefix = ontology.prefix;
247
+ const ontologyNamespace = this.normalizeNamespace(ontology.namespace ?? '');
248
+ if (ontologyPrefix && ontologyNamespace) {
249
+ map.set(ontologyPrefix, ontologyNamespace);
250
+ }
251
+ for (const ownedImport of ontology.ownedImports ?? []) {
252
+ const imported = ownedImport.imported?.ref;
253
+ const importedPrefix = ownedImport.prefix ?? imported?.prefix;
254
+ const importedNamespace = imported ? this.normalizeNamespace(imported.namespace ?? '') : undefined;
255
+ if (importedPrefix && importedNamespace) {
256
+ map.set(importedPrefix, importedNamespace);
257
+ }
258
+ }
259
+ return map;
260
+ }
261
+ resolveFromRefText(refText, prefixes) {
262
+ if (refText.startsWith('<') && refText.endsWith('>')) {
263
+ return refText.slice(1, -1);
264
+ }
265
+ const parts = refText.split(':');
266
+ if (parts.length === 2) {
267
+ const namespace = prefixes.get(parts[0]);
268
+ if (namespace) {
269
+ return `${namespace}${parts[1]}`;
270
+ }
271
+ }
272
+ return undefined;
273
+ }
274
+ normalizeNamespace(namespace) {
275
+ return namespace.replace(/^<|>$/g, '');
276
+ }
277
+ resolveModelUriFromOntologyIdentifier(identifier) {
278
+ return this.ontologyModelIndex.resolveModelUri(identifier);
279
+ }
280
+ resolveQueryModelUri(modelUri) {
281
+ return this.resolveWorkspaceModelUri(modelUri) ?? modelUri;
282
+ }
283
+ isActiveDocument(modelUri) {
284
+ return this.activeDocuments.has(modelUri);
285
+ }
286
+ resolveOntologyIriForModelUri(modelUri) {
287
+ const resolvedModelUri = this.resolveWorkspaceModelUri(modelUri) ?? modelUri;
288
+ return this.ontologyModelIndex.resolveOntologyIri(resolvedModelUri)
289
+ ?? this.reasoningStore.graphs(resolvedModelUri).own.value;
290
+ }
291
+ async ensureModelLoaded(modelUri) {
292
+ try {
293
+ this.reasoningStore.graphs(modelUri);
294
+ return;
295
+ }
296
+ catch {
297
+ // fall through to on-demand load
298
+ }
299
+ const inFlight = this.modelLoadInFlight.get(modelUri);
300
+ if (inFlight) {
301
+ await inFlight;
302
+ }
303
+ else {
304
+ const loadPromise = (async () => {
305
+ const uri = URI.parse(modelUri);
306
+ let document = this.services.shared.workspace.LangiumDocuments.getDocument(uri);
307
+ if (!document) {
308
+ try {
309
+ document = await this.services.shared.workspace.LangiumDocuments.getOrCreateDocument(uri);
310
+ }
311
+ catch {
312
+ // Another concurrent caller may have created it first.
313
+ document = this.services.shared.workspace.LangiumDocuments.getDocument(uri);
314
+ if (!document) {
315
+ throw new Error(`Unable to access model document '${modelUri}'.`);
316
+ }
317
+ }
318
+ }
319
+ await this.services.shared.workspace.DocumentBuilder.build([document], { validation: true });
320
+ })().finally(() => {
321
+ this.modelLoadInFlight.delete(modelUri);
322
+ });
323
+ this.modelLoadInFlight.set(modelUri, loadPromise);
324
+ await loadPromise;
325
+ }
326
+ try {
327
+ this.reasoningStore.graphs(modelUri);
328
+ }
329
+ catch {
330
+ throw new Error(`Unknown model '${modelUri}'. Load the model first.`);
331
+ }
332
+ }
333
+ async ensureWorkspaceBuilt() {
334
+ if (this.workspaceBuilt) {
335
+ return;
336
+ }
337
+ if (this.workspaceBuildPromise) {
338
+ await this.workspaceBuildPromise;
339
+ return;
340
+ }
341
+ this.workspaceBuildPromise = (async () => {
342
+ const workspace = this.services.shared.workspace.WorkspaceManager;
343
+ const documents = this.services.shared.workspace.LangiumDocuments;
344
+ const builder = this.services.shared.workspace.DocumentBuilder;
345
+ await workspace.ready;
346
+ const folderUris = workspace.workspaceFolders ?? [];
347
+ const omlUris = new Set();
348
+ for (const folder of folderUris) {
349
+ const entries = await workspace.searchFolder(URI.parse(folder.uri));
350
+ for (const entry of entries) {
351
+ const uri = entry.toString();
352
+ if (uri.toLowerCase().endsWith('.oml')) {
353
+ omlUris.add(uri);
354
+ }
355
+ }
356
+ }
357
+ if (omlUris.size === 0) {
358
+ this.workspaceBuilt = true;
359
+ return;
360
+ }
361
+ const docs = await Promise.all([...omlUris].map((uri) => documents.getOrCreateDocument(URI.parse(uri))));
362
+ await builder.build(docs, { validation: true });
363
+ this.workspaceBuilt = true;
364
+ })().finally(() => {
365
+ this.workspaceBuildPromise = undefined;
366
+ });
367
+ await this.workspaceBuildPromise;
368
+ }
369
+ async ensureContextDatasetReady(modelUri) {
370
+ const attemptedLoads = new Set();
371
+ while (true) {
372
+ const allUris = [modelUri, ...this.importGraph.dependenciesOf(modelUri)];
373
+ const unresolvedIdentifiers = [];
374
+ const resolvedModelUris = [];
375
+ const seenResolved = new Set();
376
+ for (const uri of allUris) {
377
+ const workspaceModelUri = this.resolveWorkspaceModelUri(uri);
378
+ if (!workspaceModelUri) {
379
+ unresolvedIdentifiers.push(uri);
380
+ continue;
381
+ }
382
+ if (!seenResolved.has(workspaceModelUri)) {
383
+ seenResolved.add(workspaceModelUri);
384
+ resolvedModelUris.push(workspaceModelUri);
385
+ }
386
+ }
387
+ const unloadedModelUris = resolvedModelUris.filter((uri) => !this.isModelLoaded(uri));
388
+ if (unresolvedIdentifiers.length === 0 && unloadedModelUris.length === 0) {
389
+ return;
390
+ }
391
+ const loadFailures = [];
392
+ let loadedAny = false;
393
+ for (const uri of unloadedModelUris) {
394
+ if (attemptedLoads.has(uri)) {
395
+ continue;
396
+ }
397
+ attemptedLoads.add(uri);
398
+ try {
399
+ await this.ensureModelLoaded(uri);
400
+ loadedAny = true;
401
+ }
402
+ catch (error) {
403
+ const message = error instanceof Error ? error.message : String(error);
404
+ loadFailures.push(`${uri} (${message})`);
405
+ }
406
+ }
407
+ if (loadFailures.length > 0) {
408
+ throw new Error(`Context dataset could not include the full import closure for '${modelUri}'. `
409
+ + `Failed to load models: ${loadFailures.join(', ')}`);
410
+ }
411
+ if (loadedAny) {
412
+ continue;
413
+ }
414
+ const unresolved = [...new Set(unresolvedIdentifiers)];
415
+ const unloaded = [...new Set(unloadedModelUris)];
416
+ const details = [];
417
+ if (unresolved.length > 0) {
418
+ details.push(`unresolved imports: ${unresolved.join(', ')}`);
419
+ }
420
+ if (unloaded.length > 0) {
421
+ details.push(`unloaded models: ${unloaded.join(', ')}`);
422
+ }
423
+ throw new Error(`Context dataset could not include the full import closure for '${modelUri}'. `
424
+ + `${details.join('; ')}`);
425
+ }
426
+ }
427
+ async countContextDatasetQuads(modelUri) {
428
+ await this.ensureWorkspaceBuilt();
429
+ await this.ensureModelLoaded(modelUri);
430
+ await this.ensureContextDatasetReady(modelUri);
431
+ const store = this.reasoningStore.getStore();
432
+ const queryGraphs = this.resolveContextGraphs(modelUri);
433
+ let total = 0;
434
+ for (const graph of queryGraphs) {
435
+ total += store.countQuads(null, null, null, graph);
436
+ }
437
+ return total;
438
+ }
439
+ resolveWorkspaceModelUri(uri) {
440
+ const prepared = this.preparedModelAliases.get(uri);
441
+ if (prepared) {
442
+ return prepared;
443
+ }
444
+ if (isWorkspaceModelUri(uri)) {
445
+ return uri;
446
+ }
447
+ return this.ontologyModelIndex.resolveModelUri(uri);
448
+ }
449
+ resolveLoadedDependencyOrder(modelUri) {
450
+ const ordered = [...this.importGraph.dependenciesOf(modelUri), modelUri];
451
+ const seen = new Set();
452
+ const resolved = [];
453
+ for (const uri of ordered) {
454
+ const model = this.resolveWorkspaceModelUri(uri);
455
+ if (!model || seen.has(model) || !this.isModelLoaded(model)) {
456
+ continue;
457
+ }
458
+ seen.add(model);
459
+ resolved.push(model);
460
+ }
461
+ return resolved;
462
+ }
463
+ resolveContextGraphs(modelUri) {
464
+ const seen = new Set();
465
+ const graphs = [];
466
+ for (const uri of [...this.importGraph.dependenciesOf(modelUri), modelUri]) {
467
+ const modelGraphs = this.reasoningStore.graphs(uri);
468
+ if (!seen.has(modelGraphs.own.value)) {
469
+ seen.add(modelGraphs.own.value);
470
+ graphs.push(modelGraphs.own);
471
+ }
472
+ }
473
+ const ownGraphs = this.reasoningStore.graphs(modelUri);
474
+ if (!seen.has(ownGraphs.entailments.value)) {
475
+ seen.add(ownGraphs.entailments.value);
476
+ graphs.push(ownGraphs.entailments);
477
+ }
478
+ return graphs;
479
+ }
480
+ isModelLoaded(modelUri) {
481
+ try {
482
+ this.reasoningStore.graphs(modelUri);
483
+ return true;
484
+ }
485
+ catch {
486
+ return false;
487
+ }
488
+ }
489
+ ensureOwnTboxIndexesForDependencies(modelUri) {
490
+ const ordered = this.resolveLoadedDependencyOrder(modelUri);
491
+ for (const uri of ordered) {
492
+ if (this.tboxIndexCache.hasOwn(uri)) {
493
+ continue;
494
+ }
495
+ const document = this.services.shared.workspace.LangiumDocuments.getDocument(URI.parse(uri));
496
+ if (!document) {
497
+ continue;
498
+ }
499
+ const ontology = document.parseResult.value;
500
+ if (!isVocabulary(ontology)) {
501
+ continue;
502
+ }
503
+ this.tboxChainer.chain(uri);
504
+ this.tboxIndexCache.setOwn(uri, this.tboxIndexBuilder.buildOwn(uri));
505
+ }
506
+ }
507
+ notifySemanticChanged(modelUris) {
508
+ const unique = [...new Set(modelUris)];
509
+ for (const listener of this.semanticChangeListeners) {
510
+ listener(unique);
511
+ }
512
+ }
513
+ }
514
+ function isWorkspaceModelUri(modelUri) {
515
+ try {
516
+ const parsed = URI.parse(modelUri);
517
+ return parsed.path.toLowerCase().endsWith('.oml');
518
+ }
519
+ catch {
520
+ return false;
521
+ }
522
+ }
523
+ const BUILT_IN_ONTOLOGIES = new Set([
524
+ 'http://www.w3.org/2001/XMLSchema',
525
+ 'http://www.w3.org/1999/02/22-rdf-syntax-ns',
526
+ 'http://www.w3.org/2000/01/rdf-schema',
527
+ 'http://www.w3.org/2002/07/owl',
528
+ 'http://www.w3.org/2003/11/swrlb',
529
+ ]);
530
+ function createDefaultDependencies(overrides) {
531
+ const mapper = overrides.mapper ?? new Oml2OwlMapper();
532
+ const reasoningStore = overrides.reasoningStore ?? new ReasoningStore();
533
+ const importGraph = overrides.importGraph ?? new ImportGraph();
534
+ const tboxIndexCache = overrides.tboxIndexCache ?? new TBoxIndexCache();
535
+ const tboxChainer = overrides.tboxChainer ?? new TBoxChainer(reasoningStore);
536
+ const tboxIndexBuilder = overrides.tboxIndexBuilder ?? new TBoxIndexBuilder(reasoningStore, tboxIndexCache, importGraph);
537
+ const aboxChainer = overrides.aboxChainer ?? new ABoxChainer(reasoningStore);
538
+ const aboxEntailmentCache = overrides.aboxEntailmentCache ?? new ABoxEntailmentCache();
539
+ const createSparqlService = overrides.createSparqlService ?? ((runner) => new SparqlService(reasoningStore, importGraph, aboxEntailmentCache, runner));
540
+ return {
541
+ mapper,
542
+ reasoningStore,
543
+ importGraph,
544
+ tboxChainer,
545
+ tboxIndexBuilder,
546
+ tboxIndexCache,
547
+ aboxChainer,
548
+ aboxEntailmentCache,
549
+ createSparqlService,
550
+ };
551
+ }
552
+ //# sourceMappingURL=owl-service.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"owl-service.js","sourceRoot":"","sources":["../../src/owl/owl-service.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,aAAa,EAAE,GAAG,EAAwB,MAAM,SAAS,CAAC;AAEnE,OAAO,EAAsB,qBAAqB,EAAE,aAAa,EAAE,mBAAmB,EAAE,UAAU,EAAE,YAAY,EAAE,kBAAkB,EAAgD,MAAM,eAAe,CAAC;AAC1M,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAuB,MAAM,eAAe,CAAC;AACtF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAc9E,MAAM,OAAO,gBAAgB;IAmBzB,YAAY,QAAqB,EAAE,eAAkD,EAAE;QAPtE,yBAAoB,GAAG,IAAI,GAAG,EAAkB,CAAC;QACjD,oBAAe,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,sBAAiB,GAAG,IAAI,GAAG,EAAyB,CAAC;QACrD,4BAAuB,GAAG,IAAI,GAAG,EAAiC,CAAC;QAE5E,mBAAc,GAAG,KAAK,CAAC;QAG3B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,MAAM,QAAQ,GAAG,yBAAyB,CAAC,YAAY,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC9B,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC,cAAc,CAAC;QAC9C,IAAI,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;QACxC,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC,cAAc,CAAC;QAC9C,IAAI,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;QACxC,IAAI,CAAC,gBAAgB,GAAG,QAAQ,CAAC,gBAAgB,CAAC;QAClD,IAAI,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;QACxC,IAAI,CAAC,mBAAmB,GAAG,QAAQ,CAAC,mBAAmB,CAAC;QACxD,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,CAAC,kBAAkB,GAAG,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAEjE,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,eAAe,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE;YAC5F,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACP,CAAC;IAED,mBAAmB,CAAC,QAAyB;QACzC,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC;QAC5C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxB,OAAO;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzC,MAAM,iBAAiB,GAAG,IAAI,CAAC,wBAAwB,CAAC,QAAoB,CAAC,CAAC;QAC9E,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QAErD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAoB,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO;QACX,CAAC;QACD,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC/C,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9E,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,CAAC,aAAa,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,CAAC,qBAAqB,CAAC,cAAc,CAAC,CAAC;QAC3C,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACjC,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACrE,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAChD,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3D,IAAI,CAAC,cAAc,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;YACpD,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;YAClD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACjC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;oBACpC,SAAS;gBACb,CAAC;gBACD,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC;YAC3F,CAAC;QACL,CAAC;aAAM,IAAI,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3D,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,GAAG,UAAU,CAAC,CAAC;YAC3C,IAAI,CAAC,cAAc,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;YAClD,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAChD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC9B,SAAS;gBACb,CAAC;gBACD,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/E,CAAC;QACL,CAAC;aAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3D,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,GAAG,UAAU,CAAC,CAAC;YAC3C,IAAI,CAAC,cAAc,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;YAClD,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAChD,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC9B,SAAS;gBACb,CAAC;gBACD,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/E,CAAC;QACL,CAAC;IACL,CAAC;IAED,YAAY,CAAC,QAAgB;QACzB,MAAM,UAAU,GAAG,IAAI,CAAC,4BAA4B,CAAC,QAAQ,CAAC,CAAC;QAC/D,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,MAAM,aAAa,GAAa,EAAE,CAAC;QAEnC,KAAK,MAAM,eAAe,IAAI,UAAU,EAAE,CAAC;YACvC,MAAM,WAAW,GACb,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,eAAe,CAAC;mBAC9C,CAAC,eAAe,KAAK,QAAQ,IAAI,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;YAC5F,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,SAAS;YACb,CAAC;YAED,IAAI,CAAC,mCAAmC,CAAC,eAAe,CAAC,CAAC;YAC1D,IAAI,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;YAC5D,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,EAAE,CAAC;gBAChE,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;gBAC5D,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YAC3D,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,4BAA4B,CAAC,eAAe,CAAC,CAAC;YACrE,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC;YACrE,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACnG,IAAI,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,eAAe,EAAE,MAAM,CAAC,kBAAkB,CAAC,CAAC;YAC3F,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACpC,QAAQ,GAAG,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC;YACvC,UAAU,IAAI,MAAM,CAAC,UAAU,CAAC;YAChC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC;YACtC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBAClB,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;YACxD,CAAC;iBAAM,CAAC;gBACJ,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;YACxD,CAAC;QACL,CAAC;QAED,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,kBAAkB,EAAE,EAAE,EAAE,CAAC;QACvF,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,kBAAkB,EAAE,EAAE,EAAE,CAAC;IAC3E,CAAC;IAED,WAAW,CAAC,QAAgB;QACxB,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC3D,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAClC,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,CAAC,cAAc,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,CAAC,mBAAmB,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,CAAC,aAAa,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACjD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACjC,IAAI,CAAC,aAAa,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC;QACtD,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAED,iBAAiB,CAAC,QAAuC;QACrD,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3C,OAAO,GAAG,EAAE;YACR,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAClD,CAAC,CAAC;IACN,CAAC;IAED,QAAQ;QACJ,OAAO,IAAI,CAAC,cAAc,CAAC;IAC/B,CAAC;IAED,cAAc;QACV,OAAO,IAAI,CAAC,WAAW,CAAC;IAC5B,CAAC;IAED,gBAAgB;QACZ,OAAO;YACH,uBAAuB,EAAE,CAAC,QAAgB,EAAE,EAAE;gBAC1C,IAAI,CAAC,aAAa,CAAC,uBAAuB,CAAC,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;YACpF,CAAC;YACD,mBAAmB,EAAE,CAAC,QAAgB,EAAE,EAAE;gBACtC,IAAI,CAAC,aAAa,CAAC,mBAAmB,CAAC,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;YAChF,CAAC;YACD,KAAK,EAAE,CAAC,QAAgB,EAAE,MAAc,EAAE,EAAE;gBACxC,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;YACjF,CAAC;YACD,SAAS,EAAE,CAAC,QAAgB,EAAE,MAAc,EAAE,EAAE;gBAC5C,OAAO,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;YACrF,CAAC;SACJ,CAAC;IACN,CAAC;IAED,mBAAmB,CAAC,MAA4C;QAC5D,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YACzB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC9D,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBACtC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAC5D,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;YACxE,IAAI,CAAC,cAAc,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;YAC9E,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACnD,IAAI,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACtG,IAAI,CAAC,aAAa,CAAC,uBAAuB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;QAC3B,IAAI,CAAC,qBAAqB,GAAG,SAAS,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,kBAAkB,CAAC,QAAgB;QACrC,MAAM,gBAAgB,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC7D,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAClC,MAAM,IAAI,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;QAC/C,MAAM,IAAI,CAAC,yBAAyB,CAAC,gBAAgB,CAAC,CAAC;IAC3D,CAAC;IAED,aAAa,CAAC,QAAgB;QAC1B,OAAO,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,kBAAkB,CAAC,SAAmB;QAClC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IAED,kBAAkB,CAAC,QAAgB;QAC/B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,oBAAoB,CAAC,QAAgB;QACjC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAEO,wBAAwB,CAAC,QAAkB;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC;QAC5C,MAAM,iBAAiB,GAAG,OAAO;aAC5B,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;aACzE,MAAM,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC3C,CAAC;IAEO,uBAAuB,CAAC,WAAmB,EAAE,QAA6B;QAC9E,IAAI,WAAW,CAAC,QAAQ,EAAE,GAAG,IAAI,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACpE,MAAM,mBAAmB,GAAI,WAAW,CAAC,QAAQ,CAAC,GAAW,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;YAC1F,IAAI,mBAAmB,EAAE,CAAC;gBACtB,OAAO,mBAAmB,CAAC;YAC/B,CAAC;YACD,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB,CAAE,WAAW,CAAC,QAAQ,CAAC,GAAW,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;YACrG,OAAO,IAAI,CAAC,qCAAqC,CAAC,iBAAiB,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,OAAO,GAAI,WAAW,CAAC,QAAgB,EAAE,QAAQ,IAAK,WAAW,CAAC,QAAgB,EAAE,OAAO,CAAC;QAClG,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACrB,CAAC;QACD,MAAM,kBAAkB,GAAG,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACtE,IAAI,CAAC,kBAAkB,IAAI,mBAAmB,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACrE,OAAO,SAAS,CAAC;QACrB,CAAC;QACD,OAAO,IAAI,CAAC,qCAAqC,CAAC,kBAAkB,CAAC,CAAC;IAC1E,CAAC;IAEO,cAAc,CAAC,QAAkB;QACrC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;QACtC,MAAM,cAAc,GAAI,QAAgB,CAAC,MAAM,CAAC;QAChD,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB,CAAE,QAAgB,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACrF,IAAI,cAAc,IAAI,iBAAiB,EAAE,CAAC;YACtC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC;QAC/C,CAAC;QACD,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC;YAC3C,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,IAAK,QAAgB,EAAE,MAAM,CAAC;YACvE,MAAM,iBAAiB,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAE,QAAgB,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5G,IAAI,cAAc,IAAI,iBAAiB,EAAE,CAAC;gBACtC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC;YAC/C,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC;IACf,CAAC;IAEO,kBAAkB,CAAC,OAAe,EAAE,QAA6B;QACrE,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACnD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,IAAI,SAAS,EAAE,CAAC;gBACZ,OAAO,GAAG,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,CAAC;QACL,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAEO,kBAAkB,CAAC,SAAiB;QACxC,OAAO,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC;IAEO,qCAAqC,CAAC,UAAkB;QAC5D,OAAO,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;IAC/D,CAAC;IAEO,oBAAoB,CAAC,QAAgB;QACzC,OAAO,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;IAC/D,CAAC;IAEO,gBAAgB,CAAC,QAAgB;QACrC,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAEO,6BAA6B,CAAC,QAAgB;QAClD,MAAM,gBAAgB,GAAG,IAAI,CAAC,wBAAwB,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;QAC7E,OAAO,IAAI,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,gBAAgB,CAAC;eAC5D,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IAClE,CAAC;IACO,KAAK,CAAC,iBAAiB,CAAC,QAAgB;QAC5C,IAAI,CAAC;YACD,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACrC,OAAO;QACX,CAAC;QAAC,MAAM,CAAC;YACL,iCAAiC;QACrC,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,QAAQ,EAAE,CAAC;YACX,MAAM,QAAQ,CAAC;QACnB,CAAC;aAAM,CAAC;YACJ,MAAM,WAAW,GAAG,CAAC,KAAK,IAAI,EAAE;gBAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAChC,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;gBAChF,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACZ,IAAI,CAAC;wBACD,QAAQ,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;oBAC9F,CAAC;oBAAC,MAAM,CAAC;wBACL,uDAAuD;wBACvD,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;wBAC5E,IAAI,CAAC,QAAQ,EAAE,CAAC;4BACZ,MAAM,IAAI,KAAK,CAAC,oCAAoC,QAAQ,IAAI,CAAC,CAAC;wBACtE,CAAC;oBACL,CAAC;gBACL,CAAC;gBACD,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YACjG,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE;gBACd,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;YAEH,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,WAAW,CAAC;QACtB,CAAC;QAED,IAAI,CAAC;YACD,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;QAAC,MAAM,CAAC;YACL,MAAM,IAAI,KAAK,CAAC,kBAAkB,QAAQ,0BAA0B,CAAC,CAAC;QAC1E,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,oBAAoB;QAC9B,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,OAAO;QACX,CAAC;QACD,IAAI,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC7B,MAAM,IAAI,CAAC,qBAAqB,CAAC;YACjC,OAAO;QACX,CAAC;QAED,IAAI,CAAC,qBAAqB,GAAG,CAAC,KAAK,IAAI,EAAE;YACrC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC;YAClE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC;YAClE,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC;YAC/D,MAAM,SAAS,CAAC,KAAK,CAAC;YAEtB,MAAM,UAAU,GAAG,SAAS,CAAC,gBAAgB,IAAI,EAAE,CAAC;YACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAClC,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;gBAC9B,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;oBAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;oBAC7B,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;wBACrC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACrB,CAAC;gBACL,CAAC;YACL,CAAC;YAED,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;gBAC3B,OAAO;YACX,CAAC;YAED,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAC1B,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAC3E,CAAC;YACF,MAAM,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAChD,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;QAC/B,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE;YACd,IAAI,CAAC,qBAAqB,GAAG,SAAS,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,MAAM,IAAI,CAAC,qBAAqB,CAAC;IACrC,CAAC;IAEO,KAAK,CAAC,yBAAyB,CAAC,QAAgB;QACpD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QAEzC,OAAO,IAAI,EAAE,CAAC;YACV,MAAM,OAAO,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,MAAM,qBAAqB,GAAa,EAAE,CAAC;YAC3C,MAAM,iBAAiB,GAAa,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;YACvC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;gBACxB,MAAM,iBAAiB,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;gBAC7D,IAAI,CAAC,iBAAiB,EAAE,CAAC;oBACrB,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAChC,SAAS;gBACb,CAAC;gBACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBACvC,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;oBACpC,iBAAiB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;gBAC9C,CAAC;YACL,CAAC;YAED,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;YACtF,IAAI,qBAAqB,CAAC,MAAM,KAAK,CAAC,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvE,OAAO;YACX,CAAC;YAED,MAAM,YAAY,GAAa,EAAE,CAAC;YAClC,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,KAAK,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;gBAClC,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1B,SAAS;gBACb,CAAC;gBACD,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxB,IAAI,CAAC;oBACD,MAAM,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;oBAClC,SAAS,GAAG,IAAI,CAAC;gBACrB,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBACvE,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,OAAO,GAAG,CAAC,CAAC;gBAC7C,CAAC;YACL,CAAC;YACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CACX,kEAAkE,QAAQ,KAAK;sBAC7E,0BAA0B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxD,CAAC;YACN,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACZ,SAAS;YACb,CAAC;YAED,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC;YACvD,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;YACjD,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,uBAAuB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC,oBAAoB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;YACD,MAAM,IAAI,KAAK,CACX,kEAAkE,QAAQ,KAAK;kBAC7E,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5B,CAAC;QACN,CAAC;IACL,CAAC;IAED,KAAK,CAAC,wBAAwB,CAAC,QAAgB;QAC3C,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAClC,MAAM,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAC9B,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,wBAAwB,CAAC,GAAW;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,QAAQ,EAAE,CAAC;YACX,OAAO,QAAQ,CAAC;QACpB,CAAC;QACD,IAAI,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,OAAO,GAAG,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;IAEO,4BAA4B,CAAC,QAAgB;QACjD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;YACjD,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1D,SAAS;YACb,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEO,oBAAoB,CAAC,QAAgB;QACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;YACzE,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAChC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACjC,CAAC;QACL,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IAEO,aAAa,CAAC,QAAgB;QAClC,IAAI,CAAC;YACD,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACrC,OAAO,IAAI,CAAC;QAChB,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAEO,mCAAmC,CAAC,QAAgB;QACxD,MAAM,OAAO,GAAG,IAAI,CAAC,4BAA4B,CAAC,QAAQ,CAAC,CAAC;QAC5D,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClC,SAAS;YACb,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7F,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,SAAS;YACb,CAAC;YACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC;YAC5C,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1B,SAAS;YACb,CAAC;YACD,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QACzE,CAAC;IACL,CAAC;IAEO,qBAAqB,CAAC,SAAmB;QAC7C,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QACvC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,uBAAuB,EAAE,CAAC;YAClD,QAAQ,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;IACL,CAAC;CACJ;AAWD,SAAS,mBAAmB,CAAC,QAAgB;IACzC,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnC,OAAO,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,KAAK,CAAC;IACjB,CAAC;AACL,CAAC;AAED,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAChC,kCAAkC;IAClC,4CAA4C;IAC5C,sCAAsC;IACtC,+BAA+B;IAC/B,iCAAiC;CACpC,CAAC,CAAC;AAEH,SAAS,yBAAyB,CAAC,SAA4C;IAC3E,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;IACvD,MAAM,cAAc,GAAG,SAAS,CAAC,cAAc,IAAI,IAAI,cAAc,EAAE,CAAC;IACxE,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,IAAI,IAAI,WAAW,EAAE,CAAC;IAC/D,MAAM,cAAc,GAAG,SAAS,CAAC,cAAc,IAAI,IAAI,cAAc,EAAE,CAAC;IACxE,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,IAAI,IAAI,WAAW,CAAC,cAAc,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG,SAAS,CAAC,gBAAgB,IAAI,IAAI,gBAAgB,CAAC,cAAc,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC;IACzH,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,IAAI,IAAI,WAAW,CAAC,cAAc,CAAC,CAAC;IAC7E,MAAM,mBAAmB,GAAG,SAAS,CAAC,mBAAmB,IAAI,IAAI,mBAAmB,EAAE,CAAC;IACvF,MAAM,mBAAmB,GAAG,SAAS,CAAC,mBAAmB,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,aAAa,CACvF,cAAc,EACd,WAAW,EACX,mBAAmB,EACnB,MAAM,CACT,CAAC,CAAC;IACH,OAAO;QACH,MAAM;QACN,cAAc;QACd,WAAW;QACX,WAAW;QACX,gBAAgB;QAChB,cAAc;QACd,WAAW;QACX,mBAAmB;QACnB,mBAAmB;KACtB,CAAC;AACN,CAAC"}
@@ -0,0 +1,28 @@
1
+ import type { OwlShaclService, OwlShaclValidationIssue, OwlShaclValidationResult, OwlSparqlService } from './owl-interfaces.js';
2
+ export declare const ShaclValidateRequest = "oml/table-editor/validate";
3
+ export interface ShaclValidateParams {
4
+ modelUri?: string;
5
+ shaclSource: string;
6
+ }
7
+ export type ShaclValidationIssue = OwlShaclValidationIssue;
8
+ export type ShaclValidationResult = OwlShaclValidationResult;
9
+ export type ShaclValidateResult = ShaclValidationResult;
10
+ export type DerivedShaclSelectQuery = {
11
+ sparql: string;
12
+ columnVariables: string[];
13
+ columnLabels: Map<string, string>;
14
+ };
15
+ type ConnectionLike = {
16
+ onRequest: (type: string, handler: (params: ShaclValidateParams) => ShaclValidateResult | Promise<ShaclValidateResult>) => void;
17
+ };
18
+ export declare class ShaclService implements OwlShaclService {
19
+ private readonly sparqlService;
20
+ private readonly prepareContext;
21
+ private readonly resolveContextIri;
22
+ constructor(sparqlService: OwlSparqlService, prepareContext: (modelUri: string) => Promise<void>, resolveContextIri: (modelUri: string) => string);
23
+ validateShacl(modelUri: string | undefined, shaclSource: string): Promise<ShaclValidationResult>;
24
+ }
25
+ export declare function createDefaultShaclService(sparqlService: OwlSparqlService, prepareContext: (modelUri: string) => Promise<void>, resolveContextIri: (modelUri: string) => string): OwlShaclService;
26
+ export declare function registerShaclValidationRequests(connection: ConnectionLike, oml: any): void;
27
+ export declare function deriveSelectQueryFromShacl(shaclSource: string, graphIri: string): DerivedShaclSelectQuery | undefined;
28
+ export {};