@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.
- package/README.md +46 -0
- package/out/index.d.ts +10 -0
- package/out/index.js +12 -0
- package/out/index.js.map +1 -0
- package/out/owl/owl-abox.d.ts +79 -0
- package/out/owl/owl-abox.js +765 -0
- package/out/owl/owl-abox.js.map +1 -0
- package/out/owl/owl-imports.d.ts +9 -0
- package/out/owl/owl-imports.js +102 -0
- package/out/owl/owl-imports.js.map +1 -0
- package/out/owl/owl-interfaces.d.ts +121 -0
- package/out/owl/owl-interfaces.js +3 -0
- package/out/owl/owl-interfaces.js.map +1 -0
- package/out/owl/owl-mapper.d.ts +80 -0
- package/out/owl/owl-mapper.js +1217 -0
- package/out/owl/owl-mapper.js.map +1 -0
- package/out/owl/owl-service.d.ts +65 -0
- package/out/owl/owl-service.js +552 -0
- package/out/owl/owl-service.js.map +1 -0
- package/out/owl/owl-shacl.d.ts +28 -0
- package/out/owl/owl-shacl.js +337 -0
- package/out/owl/owl-shacl.js.map +1 -0
- package/out/owl/owl-sparql.d.ts +71 -0
- package/out/owl/owl-sparql.js +260 -0
- package/out/owl/owl-sparql.js.map +1 -0
- package/out/owl/owl-store.d.ts +32 -0
- package/out/owl/owl-store.js +142 -0
- package/out/owl/owl-store.js.map +1 -0
- package/out/owl/owl-tbox.d.ts +98 -0
- package/out/owl/owl-tbox.js +575 -0
- package/out/owl/owl-tbox.js.map +1 -0
- package/out/owl-module.d.ts +15 -0
- package/out/owl-module.js +22 -0
- package/out/owl-module.js.map +1 -0
- package/package.json +52 -0
- package/src/index.ts +12 -0
- package/src/owl/owl-abox.ts +930 -0
- package/src/owl/owl-imports.ts +108 -0
- package/src/owl/owl-interfaces.ts +145 -0
- package/src/owl/owl-mapper.ts +1510 -0
- package/src/owl/owl-service.ts +642 -0
- package/src/owl/owl-shacl.ts +400 -0
- package/src/owl/owl-sparql.ts +317 -0
- package/src/owl/owl-store.ts +173 -0
- package/src/owl/owl-tbox.ts +727 -0
- 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 {};
|