rdf-reasoner-konclude 0.3.0 → 0.3.2
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/dist/konclude.wasm +0 -0
- package/dist/worker.js +1 -1
- package/dist/worker.js.map +1 -1
- package/package.json +3 -3
package/dist/konclude.wasm
CHANGED
|
Binary file
|
package/dist/worker.js
CHANGED
|
@@ -16,7 +16,7 @@ import createKoncludeModule from "./konclude.mjs";
|
|
|
16
16
|
// ---------------------------------------------------------------------------
|
|
17
17
|
// Eager initialisation
|
|
18
18
|
// ---------------------------------------------------------------------------
|
|
19
|
-
const initPromise = createKoncludeModule({ print: () => { }, printErr: (msg) =>
|
|
19
|
+
const initPromise = createKoncludeModule({ print: () => { }, printErr: (msg) => self.postMessage({ type: "log", msg }) })
|
|
20
20
|
.then((mod) => {
|
|
21
21
|
self.postMessage({ type: "ready" });
|
|
22
22
|
return mod;
|
package/dist/worker.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"worker.js","sourceRoot":"","sources":["../ts/worker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,uEAAuE;AACvE,sEAAsE;AACtE,OAAO,oBAGN,MAAM,gBAAgB,CAAC;AA+BxB,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,MAAM,WAAW,GAA4B,oBAAoB,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,
|
|
1
|
+
{"version":3,"file":"worker.js","sourceRoot":"","sources":["../ts/worker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,uEAAuE;AACvE,sEAAsE;AACtE,OAAO,oBAGN,MAAM,gBAAgB,CAAC;AA+BxB,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,MAAM,WAAW,GAA4B,oBAAoB,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;KACtJ,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;IACZ,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAwB,CAAC,CAAC;IAC1D,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;KACD,KAAK,CAAC,CAAC,GAAY,EAAE,EAAE;IACtB,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAA4B,CAAC,CAAC;IAC9E,MAAM,GAAG,CAAC;AACZ,CAAC,CAAC,CAAC;AAEL,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAE9E,IAAI,SAAS,GAAoC,IAAI,CAAC;AAEtD,SAAS,mBAAmB,CAAC,GAAmB;IAC9C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,SAAS,GAAG,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,KAAkC;IAElC,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;IAExC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC;QAC9B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QAE1C,QAAQ,MAAM,EAAE,CAAC;YACf,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,CAAC,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;gBACnC,CAAC,CAAC,KAAK,EAAE,CAAC;gBACV,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAgB,CAAC;gBACxC,MAAM,UAAU,GAAG,IAAI,CAAC,CAAC,CAAgB,CAAC;gBAC1C,MAAM,cAAc,GAAI,IAAI,CAAC,CAAC,CAAa,IAAI,KAAK,CAAC;gBACrD,MAAM,WAAW,GAAG,QAAQ,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC,qBAAqB;gBAEnE,MAAM,WAAW,GAAG,QAAQ,CAAC,UAAU,CAAC;gBACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC;gBAEvC,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;gBAC3C,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAC1C,IAAI,CAAC;oBACH,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;oBACpD,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;oBACxD,CAAC,CAAC,gBAAgB,CAAC,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;gBACpF,CAAC;wBAAS,CAAC;oBACT,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;oBACrB,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBACzB,CAAC;gBACD,MAAM,GAAG,IAAI,CAAC;gBACd,MAAM;YACR,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,GAAG,QAAQ,CAAC,cAAc,EAAE,CAAC;gBACnC,MAAM;YACR,CAAC;YACD,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;gBAChC,MAAM;YACR,CAAC;YACD,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;gBAChC,MAAM;YACR,CAAC;YACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;gBAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,EAAE,CAAC;gBACjD,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;oBACZ,MAAM,GAAG,GAAG,QAAQ,CAAC,0BAA0B,EAAE,CAAC;oBAClD,0EAA0E;oBAC1E,0EAA0E;oBAC1E,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;oBAC/C,MAAM,QAAQ,GAAmB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC9D,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;oBAC3C,OAAO;gBACT,CAAC;gBACD,kEAAkE;gBAClE,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;gBACjC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC1C,MAAM,aAAa,GAAmB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;gBAC5D,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;gBACzC,OAAO;YACT,CAAC;YACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;gBAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,EAAE,CAAC;gBACjD,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;oBACZ,MAAM,GAAG,GAAG,QAAQ,CAAC,0BAA0B,EAAE,CAAC;oBAClD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;oBAC/C,MAAM,QAAQ,GAAmB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC9D,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;oBAC3C,OAAO;gBACT,CAAC;gBACD,kEAAkE;gBAClE,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;gBACjC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC1C,MAAM,aAAa,GAAmB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;gBAC5D,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;gBACzC,OAAO;YACT,CAAC;YACD,KAAK,6BAA6B,CAAC,CAAC,CAAC;gBACnC,MAAM,GAAG,QAAQ,CAAC,6BAA6B,EAAE,CAAC;gBAClD,MAAM;YACR,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACR,MAAM,QAAQ,GAAmB;oBAC/B,EAAE;oBACF,KAAK,EAAE,mBAAmB,MAAM,EAAE;iBACnC,CAAC;gBACF,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;gBAC3B,OAAO;YACT,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAmB,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAChD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,GAAY,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjE,MAAM,QAAQ,GAAmB,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QACxD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,wCAAwC;AACxC,IAAI,CAAC,SAAS,GAAG,aAAa,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,12 +1,12 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "rdf-reasoner-konclude",
|
|
3
|
-
"version": "0.3.
|
|
3
|
+
"version": "0.3.2",
|
|
4
4
|
"description": "OWL-DL tableau reasoning via Konclude compiled to WebAssembly. Async TypeScript API — pass an N3.js Store, get inferred triples back. Uses RDF.js Quad types throughout.",
|
|
5
5
|
"main": "./dist/index.js",
|
|
6
6
|
"types": "./dist/index.d.ts",
|
|
7
7
|
"type": "module",
|
|
8
8
|
"bin": {
|
|
9
|
-
"owl-reason": "
|
|
9
|
+
"owl-reason": "dist/cli.js"
|
|
10
10
|
},
|
|
11
11
|
"sideEffects": [
|
|
12
12
|
"./dist/worker.js"
|
|
@@ -72,7 +72,7 @@
|
|
|
72
72
|
"homepage": "https://github.com/ThHanke/rdf-reasoner-konclude#readme",
|
|
73
73
|
"repository": {
|
|
74
74
|
"type": "git",
|
|
75
|
-
"url": "https://github.com/ThHanke/rdf-reasoner-konclude"
|
|
75
|
+
"url": "git+https://github.com/ThHanke/rdf-reasoner-konclude.git"
|
|
76
76
|
},
|
|
77
77
|
"publishConfig": {
|
|
78
78
|
"access": "public"
|