@oml/owl 0.7.0

package/README.md

@@ -0,0 +1,46 @@
+# OML OWL
+
+`@oml/owl` contains the semantic web layer for OML.
+
+It is responsible for:
+
+- mapping OML models to OWL/RDF
+- reasoning services and prepared datasets
+- SPARQL query and construct execution
+- SHACL validation
+- semantic service composition through `createOwlServices(...)`
+
+## Package Boundary
+
+- `@oml/language` owns syntax, AST, language services, validation, scope, rename, hover, formatting, and workspace mechanics
+- `@oml/owl` depends on `@oml/language`
+- `@oml/markdown` depends on `@oml/owl`
+
+This keeps semantic web concerns out of the language package.
+
+## Main Exports
+
+- `createOwlServices`
+- `ReasoningService`
+- `PreparedReasonedModel`
+- `Oml2OwlMapper`
+- `createOwlOntologyQuads`
+- `owlOntologyPrefixes`
+- `deriveSelectQueryFromShape`
+- `createDefaultShaclService`
+- `registerShaclValidationRequests`
+
+## Instructions
+
+Use this package when you need OML semantic services instead of core language services alone.
+
+Typical usage:
+
+```ts
+import { createOwlServices } from '@oml/owl';
+
+const { shared, Oml } = createOwlServices(context);
+const reasoningService = Oml.reasoning.ReasoningService;
+```
+
+For pure language tooling without the semantic layer, use `@oml/language`.

package/out/index.d.ts

@@ -0,0 +1,10 @@
+export * from './owl-module.js';
+export * from './owl/owl-mapper.js';
+export * from './owl/owl-interfaces.js';
+export * from './owl/owl-store.js';
+export * from './owl/owl-abox.js';
+export * from './owl/owl-imports.js';
+export * from './owl/owl-service.js';
+export * from './owl/owl-sparql.js';
+export * from './owl/owl-shacl.js';
+export * from './owl/owl-tbox.js';

package/out/index.js

@@ -0,0 +1,12 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+export * from './owl-module.js';
+export * from './owl/owl-mapper.js';
+export * from './owl/owl-interfaces.js';
+export * from './owl/owl-store.js';
+export * from './owl/owl-abox.js';
+export * from './owl/owl-imports.js';
+export * from './owl/owl-service.js';
+export * from './owl/owl-sparql.js';
+export * from './owl/owl-shacl.js';
+export * from './owl/owl-tbox.js';
+//# sourceMappingURL=index.js.map

package/out/index.js.map

@@ -0,0 +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"}

package/out/owl/owl-abox.d.ts

@@ -0,0 +1,79 @@
+import type { Quad } from 'n3';
+import type { OwlStore } from './owl-interfaces.js';
+import type { TBoxIndex } from './owl-tbox.js';
+export interface ChainingResult {
+    complete: boolean;
+    iterations: number;
+    newQuadsCount: number;
+    validationWarnings: string[];
+}
+export declare class ABoxEntailmentCache {
+    private readonly state;
+    private readonly deltaPlus;
+    private readonly deltaMinus;
+    private readonly validationWarnings;
+    markDirty(modelUri: string): void;
+    markDirtyWithDelta(modelUri: string, asserted: Quad[], retracted: Quad[]): void;
+    markClean(modelUri: string): void;
+    markDirtyAll(modelUris: string[]): void;
+    isDirty(modelUri: string): boolean;
+    isAbsent(modelUri: string): boolean;
+    consumeDelta(modelUri: string): {
+        plus: Quad[];
+        minus: Quad[];
+    };
+    getValidationWarnings(modelUri: string): string[];
+    setValidationWarnings(modelUri: string, warnings: string[]): void;
+    invalidate(modelUri: string): void;
+    private quadKey;
+}
+export declare class ABoxChainer {
+    private readonly reasoningStore;
+    constructor(reasoningStore: OwlStore);
+    chain(modelUri: string, tboxIndex: TBoxIndex, readModelUris: ReadonlyArray<string>, deltaPlus: Quad[], deltaMinus: Quad[]): ChainingResult;
+    private overdelete;
+    private materializeAdd;
+    private forwardRules;
+    private reverseAnchoredHeads;
+    private hasSupport;
+    private hasTransitiveSupport;
+    private applyForwardRulesTriggeredByFact;
+    private hasForwardRuleSupport;
+    private resolveRuleBody;
+    private resolvePendingAtoms;
+    private findMatchesForAtom;
+    private candidateFacts;
+    private matchAtomToFact;
+    private matchPattern;
+    private resolvePatternTerm;
+    private instantiateRuleAtom;
+    private sameTerm;
+    private resolveScope;
+    private buildIndex;
+    private insertOwnEntailedFact;
+    private removeOwnEntailedFact;
+    private canInsertEntailedFact;
+    private getTypes;
+    private getEdgeFacts;
+    private getOutgoingEdges;
+    private getIncomingEdges;
+    private getIncomingEdgesByProperty;
+    private getSuperClasses;
+    private getSuperProperties;
+    private getDomains;
+    private getObjectRanges;
+    private getInverses;
+    private isSymmetricProperty;
+    private isTransitiveProperty;
+    private typeFact;
+    private edgeFact;
+    private isTypeFact;
+    private asFact;
+    private asQuadSubject;
+    private asQuadObject;
+    private factKey;
+    private uniqueFacts;
+    private indexAdd;
+    private indexRemove;
+    private collectValidationWarnings;
+}