@oml/owl 0.19.3 → 0.20.1
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/out/index.d.ts +3 -0
- package/out/index.js +3 -0
- package/out/index.js.map +1 -1
- package/out/owl/owl-abox.d.ts +16 -5
- package/out/owl/owl-abox.js +365 -188
- package/out/owl/owl-abox.js.map +1 -1
- package/out/owl/owl-imports.js +4 -2
- package/out/owl/owl-imports.js.map +1 -1
- package/out/owl/owl-interfaces.d.ts +26 -1
- package/out/owl/owl-mapper.d.ts +2 -0
- package/out/owl/owl-mapper.js +77 -38
- package/out/owl/owl-mapper.js.map +1 -1
- package/out/owl/owl-service.d.ts +4 -0
- package/out/owl/owl-service.js +139 -44
- package/out/owl/owl-service.js.map +1 -1
- package/out/owl/owl-shacl.d.ts +8 -9
- package/out/owl/owl-shacl.js +43 -117
- package/out/owl/owl-shacl.js.map +1 -1
- package/out/owl/owl-sparql-engine.d.ts +6 -0
- package/out/owl/owl-sparql-engine.js +11 -0
- package/out/owl/owl-sparql-engine.js.map +1 -0
- package/out/owl/owl-sparql-oxigraph.d.ts +34 -0
- package/out/owl/owl-sparql-oxigraph.js +436 -0
- package/out/owl/owl-sparql-oxigraph.js.map +1 -0
- package/out/owl/owl-sparql.d.ts +0 -44
- package/out/owl/owl-sparql.js +0 -320
- package/out/owl/owl-sparql.js.map +1 -1
- package/out/owl/owl-store-lean.d.ts +29 -0
- package/out/owl/owl-store-lean.js +445 -0
- package/out/owl/owl-store-lean.js.map +1 -0
- package/out/owl/owl-store.d.ts +11 -1
- package/out/owl/owl-store.js +80 -6
- package/out/owl/owl-store.js.map +1 -1
- package/package.json +3 -3
- package/src/index.ts +3 -0
- package/src/owl/owl-abox.ts +401 -200
- package/src/owl/owl-imports.ts +4 -2
- package/src/owl/owl-interfaces.ts +28 -1
- package/src/owl/owl-mapper.ts +79 -41
- package/src/owl/owl-service.ts +149 -49
- package/src/owl/owl-shacl.ts +55 -132
- package/src/owl/owl-sparql-engine.ts +34 -0
- package/src/owl/owl-sparql-oxigraph.ts +527 -0
- package/src/owl/owl-sparql.ts +3 -366
- package/src/owl/owl-store-lean.ts +438 -0
- package/src/owl/owl-store.ts +86 -7
package/out/index.d.ts
CHANGED
|
@@ -2,10 +2,13 @@ export * from './owl-module.js';
|
|
|
2
2
|
export * from './owl/owl-mapper.js';
|
|
3
3
|
export * from './owl/owl-interfaces.js';
|
|
4
4
|
export * from './owl/owl-store.js';
|
|
5
|
+
export * from './owl/owl-store-lean.js';
|
|
5
6
|
export * from './owl/owl-abox.js';
|
|
6
7
|
export * from './owl/owl-imports.js';
|
|
7
8
|
export * from './owl/owl-service.js';
|
|
8
9
|
export * from './owl/owl-sparql.js';
|
|
10
|
+
export * from './owl/owl-sparql-oxigraph.js';
|
|
11
|
+
export * from './owl/owl-sparql-engine.js';
|
|
9
12
|
export * from './owl/owl-shacl.js';
|
|
10
13
|
export * from './owl/owl-tbox.js';
|
|
11
14
|
export * from './owl/owl-closure.js';
|
package/out/index.js
CHANGED
|
@@ -3,10 +3,13 @@ export * from './owl-module.js';
|
|
|
3
3
|
export * from './owl/owl-mapper.js';
|
|
4
4
|
export * from './owl/owl-interfaces.js';
|
|
5
5
|
export * from './owl/owl-store.js';
|
|
6
|
+
export * from './owl/owl-store-lean.js';
|
|
6
7
|
export * from './owl/owl-abox.js';
|
|
7
8
|
export * from './owl/owl-imports.js';
|
|
8
9
|
export * from './owl/owl-service.js';
|
|
9
10
|
export * from './owl/owl-sparql.js';
|
|
11
|
+
export * from './owl/owl-sparql-oxigraph.js';
|
|
12
|
+
export * from './owl/owl-sparql-engine.js';
|
|
10
13
|
export * from './owl/owl-shacl.js';
|
|
11
14
|
export * from './owl/owl-tbox.js';
|
|
12
15
|
export * from './owl/owl-closure.js';
|
package/out/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,cAAc,iBAAiB,CAAC;AAChC,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,oBAAoB,CAAC;AACnC,cAAc,yBAAyB,CAAC;AACxC,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC"}
|
package/out/owl/owl-abox.d.ts
CHANGED
|
@@ -29,6 +29,8 @@ export declare class ABoxEntailmentCache {
|
|
|
29
29
|
}
|
|
30
30
|
export declare class ABoxChainer {
|
|
31
31
|
private readonly reasoningStore;
|
|
32
|
+
private readonly termCache;
|
|
33
|
+
private readonly ruleAnchorIndexCache;
|
|
32
34
|
constructor(reasoningStore: OwlStore);
|
|
33
35
|
chain(modelUri: string, tboxIndex: TBoxIndex, readModelUris: ReadonlyArray<string>, deltaPlus: Quad[], deltaMinus: Quad[]): ChainingResult;
|
|
34
36
|
private overdelete;
|
|
@@ -39,18 +41,24 @@ export declare class ABoxChainer {
|
|
|
39
41
|
private hasHasValueSupport;
|
|
40
42
|
private hasTransitiveSupport;
|
|
41
43
|
private applyForwardRulesTriggeredByFact;
|
|
44
|
+
private forwardRuleAnchorsForFact;
|
|
45
|
+
private getForwardRuleAnchorIndex;
|
|
42
46
|
private hasForwardRuleSupport;
|
|
43
47
|
private resolveRuleBody;
|
|
44
|
-
private
|
|
45
|
-
private findMatchesForAtom;
|
|
48
|
+
private resolvePending;
|
|
46
49
|
private candidateFacts;
|
|
47
|
-
private
|
|
48
|
-
private
|
|
50
|
+
private matchAtomToFactMut;
|
|
51
|
+
private matchPatternMut;
|
|
52
|
+
private undoBindings;
|
|
49
53
|
private resolvePatternTerm;
|
|
54
|
+
private internNamed;
|
|
55
|
+
private internLiteral;
|
|
50
56
|
private instantiateRuleAtom;
|
|
51
57
|
private sameTerm;
|
|
52
58
|
private resolveScope;
|
|
53
|
-
private
|
|
59
|
+
private emptyWorkingIndex;
|
|
60
|
+
private addResolvedScopeFact;
|
|
61
|
+
private ensureWorkingIndex;
|
|
54
62
|
private insertOwnEntailedFact;
|
|
55
63
|
private removeOwnEntailedFact;
|
|
56
64
|
private canInsertEntailedFact;
|
|
@@ -78,5 +86,8 @@ export declare class ABoxChainer {
|
|
|
78
86
|
private uniqueFacts;
|
|
79
87
|
private indexAdd;
|
|
80
88
|
private indexRemove;
|
|
89
|
+
private removeFactFromArray;
|
|
81
90
|
private collectValidationWarnings;
|
|
91
|
+
private collectValidationWarningsFromFacts;
|
|
92
|
+
private validationFactsForProperty;
|
|
82
93
|
}
|