@shaclmate/compiler 4.0.94 → 4.0.95

package/dist/input/input.shaclmate.d.ts

@@ -1,6 +1,5 @@
 import type { BlankNode, Literal, NamedNode, Quad_Graph, Variable } from "@rdfjs/types";
 import { PropertyPath as RdfxResourcePropertyPath, Resource } from "@rdfx/resource";
-import { NTriplesTerm } from "@rdfx/string";
 import { Either, Maybe } from "purify-ts";
 type $_FromRdfResourceFunction<T> = (resource: Resource, options: {
     context: undefined | unknown;
@@ -27,6 +26,7 @@ export type $FromRdfResourceValuesFunction<ValueT, ValueSchemaT> = (resourceValu
  * NamespaceBuilder type excerpted from @rdfjs/namespace (MIT license) in lieu of a type import.
  */
 export type $NamespaceBuilder<TermNames extends string = any> = Record<TermNames, NamedNode> & ((property?: TemplateStringsArray | TermNames) => NamedNode);
+export type $ObjectTypeGuardFunction<ObjectT extends $Object> = (object: $Object) => object is ObjectT;
 export type $PropertyPath = RdfxResourcePropertyPath;
 export declare namespace $PropertyPath {
     const fromRdfResource: $FromRdfResourceFunction<$PropertyPath>;
@@ -40,15 +40,39 @@ export interface $ShaclPropertySchema<TypeSchemaT> {
     readonly path: $PropertyPath;
     readonly type: TypeSchemaT;
 }
+export type $ToStringFunction<T> = (value: T) => string;
+export type $ToStringRecordFunction<T> = (value: T) => Record<string, string>;
 export type NodeShape = {
     readonly $identifier: () => NodeShape.Identifier;
-    readonly $type: "NodeShape";
     readonly and: Maybe<readonly (BlankNode | NamedNode)[]>;
     readonly classes: readonly NamedNode[];
     readonly closed: Maybe<boolean>;
     readonly comment: Maybe<string>;
     readonly datatype: Maybe<NamedNode>;
     readonly deactivated: Maybe<boolean>;
+    /**
+     * The type discriminant value to use when a type in a discriminated union needs to be wrapped in a discriminant envelope.
+     *
+     * Example:
+     *
+     *     sh:xone ([
+     *             shaclmate:discriminantValue "date" ;
+     *             sh:datatype xsd:date
+     *         ]
+     *         [
+     *             shaclmate:discriminantValue "dateTime" ;
+     *             sh:datatype xsd:dateTime
+     *         ]
+     *     )
+     *
+     * Because xsd:date and xsd:dateTime are both Date in JavaScript, the generated discriminated union needs to be wrapped in an envelope like:
+     *
+     * { $type: 'type1'; value: Date } | { $type: 'type2'; value: Date }
+     *
+     * in order to discriminate values at runtime. With shaclmate:discriminantValue from the example above, the generated type would be:
+     *
+     * { $type: 'date'; value: Date } | { $type: 'dateTime'; value: Date }
+     */
     readonly discriminantValue: Maybe<string>;
     readonly extern: Maybe<boolean>;
     readonly flags: Maybe<string>;
@@ -70,6 +94,9 @@ export type NodeShape = {
     readonly minExclusive: Maybe<Literal>;
     readonly minInclusive: Maybe<Literal>;
     readonly minLength: Maybe<bigint>;
+    /**
+     * Whether the code generated from the shape should be mutable e.g., a mutable property, a mutable array, etc.
+     */
     readonly mutable: Maybe<boolean>;
     readonly node: Maybe<BlankNode | NamedNode>;
     readonly nodeKind: Maybe<NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal">>;
@@ -79,6 +106,9 @@ export type NodeShape = {
     readonly properties: readonly (BlankNode | NamedNode)[];
     readonly rdfType: Maybe<NamedNode>;
     readonly severity: Maybe<Severity>;
+    /**
+     * Name to use in generated code. Used on node shapes (which don't permit sh:name) and to override sh:name in property shapes.
+     */
     readonly shaclmateName: Maybe<string>;
     readonly subClassOf: readonly NamedNode[];
     readonly targetClasses: readonly NamedNode[];
@@ -91,56 +121,10 @@ export type NodeShape = {
     readonly xone: Maybe<readonly (BlankNode | NamedNode)[]>;
 };
 export declare namespace NodeShape {
-    const _fromRdfResource: $_FromRdfResourceFunction<NodeShape>;
-    const $toString: (_nodeShape: NodeShape) => string;
-    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
-        readonly $defaultNamespace?: $DefaultNamespaceT;
-        readonly $identifier?: (() => NodeShape.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
-        readonly and?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
-        readonly classes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly closed?: boolean | Maybe<boolean>;
-        readonly comment?: string | Maybe<string>;
-        readonly datatype?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
-        readonly deactivated?: boolean | Maybe<boolean>;
-        readonly discriminantValue?: string | Maybe<string>;
-        readonly extern?: boolean | Maybe<boolean>;
-        readonly flags?: string | Maybe<string>;
-        readonly fromRdfType?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
-        readonly hasValues?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
-        readonly ignore?: boolean;
-        readonly ignoredProperties?: readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[] | Maybe<readonly NamedNode[]>;
-        readonly in_?: readonly (NamedNode | Literal)[] | Maybe<readonly (NamedNode | Literal)[]>;
-        readonly isDefinedBy?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
-        readonly label?: string | Maybe<string>;
-        readonly languageIn?: readonly string[] | Maybe<readonly string[]>;
-        readonly maxExclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
-        readonly maxInclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
-        readonly maxLength?: bigint | number | string | Maybe<bigint>;
-        readonly message?: string | Maybe<string>;
-        readonly minExclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
-        readonly minInclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
-        readonly minLength?: bigint | number | string | Maybe<bigint>;
-        readonly mutable?: boolean | Maybe<boolean>;
-        readonly node?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
-        readonly nodeKind?: ("http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal") | NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal"> | Maybe<NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal">>;
-        readonly not?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
-        readonly or?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
-        readonly pattern?: string | Maybe<string>;
-        readonly properties?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
-        readonly rdfType?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
-        readonly severity?: Severity["value"] | Severity | Maybe<Severity>;
-        readonly shaclmateName?: string | Maybe<string>;
-        readonly subClassOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly targetClasses?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly targetNodes?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
-        readonly targetObjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly targetSubjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly toRdfTypes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly tsImports?: string | readonly string[];
-        readonly types?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly xone?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
-    }) => Either<Error, NodeShape>;
-    function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
+    const _fromRdfResource: $_FromRdfResourceFunction<NodeShape.Discriminated>;
+    const $toString: $ToStringFunction<Pick<NodeShape, "$identifier" | "label" | "shaclmateName">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: NodeShape.CreateParameters<$DefaultNamespaceT>) => Either<Error, NodeShape.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
         readonly $defaultNamespace?: $DefaultNamespaceT;
         readonly $identifier?: (() => NodeShape.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
         readonly and?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
@@ -186,15 +170,18 @@ export declare namespace NodeShape {
         readonly tsImports?: string | readonly string[];
         readonly types?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
         readonly xone?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
-    }): NodeShape;
-    const fromRdfResource: $FromRdfResourceFunction<NodeShape>;
-    const fromRdfResourceValues: $FromRdfResourceValuesFunction<NodeShape, NodeShape.Schema>;
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: NodeShape.CreateParameters<$DefaultNamespaceT>) => NodeShape.Discriminated;
+    type Discriminated = NodeShape & {
+        readonly $type: "NodeShape";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<NodeShape.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<NodeShape.Discriminated, NodeShape.Schema>;
     type Identifier = BlankNode | NamedNode;
     namespace Identifier {
         const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
-        const stringify: typeof NTriplesTerm.stringify;
     }
-    const isNodeShape: (object: $Object) => object is NodeShape;
+    const isNodeShape: $ObjectTypeGuardFunction<NodeShape.Discriminated>;
     const schema: {
         readonly properties: {
             readonly $identifier: {
@@ -208,10 +195,6 @@ export declare namespace NodeShape {
                 readonly kind: "RdfType";
                 readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#NodeShape">];
             };
-            readonly $type: {
-                readonly kind: "Discriminant";
-                readonly value: "NodeShape";
-            };
             readonly and: {
                 readonly kind: "Shacl";
                 readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#and">;
@@ -242,6 +225,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -252,6 +236,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -272,6 +257,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -282,6 +268,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -292,6 +279,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -302,6 +290,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -333,6 +322,7 @@ export declare namespace NodeShape {
                     readonly kind: "DefaultValue";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                     readonly defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
                 };
@@ -381,6 +371,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -393,6 +384,7 @@ export declare namespace NodeShape {
                         readonly kind: "List";
                         readonly itemType: {
                             readonly kind: "String";
+                            readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                         };
                     };
                 };
@@ -424,6 +416,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -434,6 +427,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -464,6 +458,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -474,6 +469,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -528,6 +524,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -570,6 +567,7 @@ export declare namespace NodeShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -641,6 +639,7 @@ export declare namespace NodeShape {
                     readonly kind: "Set";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -670,37 +669,128 @@ export declare namespace NodeShape {
         };
     };
     type Schema = typeof schema;
-    const toStringRecord: (_nodeShape: NodeShape) => Record<string, string>;
+    const toStringRecord: $ToStringRecordFunction<Pick<NodeShape, "$identifier" | "label" | "shaclmateName">>;
 }
 export type Ontology = {
     readonly $identifier: () => Ontology.Identifier;
-    readonly $type: "Ontology";
     readonly comment: Maybe<string>;
     readonly label: Maybe<string>;
 };
 export declare namespace Ontology {
-    const _fromRdfResource: $_FromRdfResourceFunction<Ontology>;
-    const $toString: (_ontology: Ontology) => string;
-    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
+    const _fromRdfResource: $_FromRdfResourceFunction<Ontology.Discriminated>;
+    const $toString: $ToStringFunction<Omit<Ontology, "comment">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: Ontology.CreateParameters<$DefaultNamespaceT>) => Either<Error, Ontology.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
         readonly $defaultNamespace?: $DefaultNamespaceT;
         readonly $identifier?: (() => Ontology.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
         readonly comment?: string | Maybe<string>;
         readonly label?: string | Maybe<string>;
-    }) => Either<Error, Ontology>;
-    function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: Ontology.CreateParameters<$DefaultNamespaceT>) => Ontology.Discriminated;
+    type Discriminated = Ontology & {
+        readonly $type: "Ontology";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<Ontology.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<Ontology.Discriminated, Ontology.Schema>;
+    type Identifier = BlankNode | NamedNode;
+    namespace Identifier {
+        const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
+    }
+    const isOntology: $ObjectTypeGuardFunction<Ontology.Discriminated>;
+    const schema: {
+        readonly properties: {
+            readonly $identifier: {
+                readonly kind: "Identifier";
+                readonly type: {
+                    readonly kind: "Identifier";
+                };
+            };
+            readonly $rdfType: {
+                readonly fromRdfType: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2002/07/owl#Ontology">;
+                readonly kind: "RdfType";
+                readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2002/07/owl#Ontology">];
+            };
+            readonly comment: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#comment">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly label: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#label">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+        };
+    };
+    type Schema = typeof schema;
+    const toStringRecord: $ToStringRecordFunction<Omit<Ontology, "comment">>;
+}
+/**
+ * Service operation
+ */
+export type Operation = {
+    readonly $identifier: () => Operation.Identifier;
+    /**
+     * Transport bindings for the operation, loosely modeled after WSDL. If no bindings are specified the operation will be excluded from transport client and server generation.
+     */
+    readonly bindings: readonly OperationHttpBinding[];
+    readonly comment: Maybe<string>;
+    /**
+     * Error types associated with the operation
+     */
+    readonly error: readonly OperationError[];
+    readonly label: Maybe<string>;
+    /**
+     * Identifier-safe name of the operation, incorporated into generated code.
+     */
+    readonly name: Maybe<string>;
+    /**
+     * Optional parameter type. This must be a node shape with properties (a 'struct').
+     */
+    readonly parameter: Maybe<OperationParameter>;
+    /**
+     * Optional result type. The type is a property shape in order to incorporate cardinality.
+     */
+    readonly result: Maybe<OperationResult>;
+};
+export declare namespace Operation {
+    const _fromRdfResource: $_FromRdfResourceFunction<Operation.Discriminated>;
+    const $toString: $ToStringFunction<Pick<Operation, "$identifier" | "label" | "name">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: Operation.CreateParameters<$DefaultNamespaceT>) => Either<Error, Operation.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
         readonly $defaultNamespace?: $DefaultNamespaceT;
-        readonly $identifier?: (() => Ontology.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
+        readonly $identifier?: (() => Operation.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
+        readonly bindings?: OperationHttpBinding | readonly OperationHttpBinding[];
         readonly comment?: string | Maybe<string>;
+        readonly error?: OperationError | readonly OperationError[];
         readonly label?: string | Maybe<string>;
-    }): Ontology;
-    const fromRdfResource: $FromRdfResourceFunction<Ontology>;
-    const fromRdfResourceValues: $FromRdfResourceValuesFunction<Ontology, Ontology.Schema>;
+        readonly name?: string | Maybe<string>;
+        readonly parameter?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<OperationParameter>;
+        readonly result?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<OperationResult>;
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: Operation.CreateParameters<$DefaultNamespaceT>) => Operation.Discriminated;
+    type Discriminated = Operation & {
+        readonly $type: "Operation";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<Operation.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<Operation.Discriminated, Operation.Schema>;
     type Identifier = BlankNode | NamedNode;
     namespace Identifier {
         const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
-        const stringify: typeof NTriplesTerm.stringify;
     }
-    const isOntology: (object: $Object) => object is Ontology;
+    const isOperation: $ObjectTypeGuardFunction<Operation.Discriminated>;
     const schema: {
         readonly properties: {
             readonly $identifier: {
@@ -710,13 +800,46 @@ export declare namespace Ontology {
                 };
             };
             readonly $rdfType: {
-                readonly fromRdfType: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2002/07/owl#Ontology">;
+                readonly fromRdfType: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#Operation">;
                 readonly kind: "RdfType";
-                readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2002/07/owl#Ontology">];
+                readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#Operation">];
             };
-            readonly $type: {
-                readonly kind: "Discriminant";
-                readonly value: "Ontology";
+            readonly bindings: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#binding">;
+                readonly type: {
+                    kind: "Set";
+                    readonly itemType: {
+                        readonly properties: {
+                            readonly $identifier: {
+                                readonly kind: "Identifier";
+                                readonly type: {
+                                    readonly kind: "Identifier";
+                                };
+                            };
+                            readonly method: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://schema.org/httpMethod">;
+                                readonly type: {
+                                    kind: "Option";
+                                    readonly itemType: {
+                                        kind: "String";
+                                        in: readonly ["DELETE", "GET", "POST", "PUT"];
+                                        datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                    };
+                                };
+                            };
+                            readonly urlTemplate: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://schema.org/urlTemplate">;
+                                readonly type: {
+                                    readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                };
+                            };
+                        };
+                    };
+                };
             };
             readonly comment: {
                 readonly kind: "Shacl";
@@ -725,53 +848,768 @@ export declare namespace Ontology {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly error: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#error">;
+                readonly type: {
+                    kind: "Set";
+                    readonly itemType: {
+                        readonly properties: {
+                            readonly $identifier: {
+                                readonly kind: "Identifier";
+                                readonly type: {
+                                    readonly kind: "Identifier";
+                                };
+                            };
+                            readonly classes: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#class">;
+                                readonly type: {
+                                    readonly kind: "Set";
+                                    readonly itemType: {
+                                        readonly kind: "Iri";
+                                    };
+                                };
+                            };
+                            readonly closed: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#closed">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "Boolean";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
+                                    };
+                                };
+                            };
+                            readonly comment: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#comment">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                    };
+                                };
+                            };
+                            readonly deactivated: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#deactivated">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "Boolean";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
+                                    };
+                                };
+                            };
+                            readonly extern: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#extern">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "Boolean";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
+                                    };
+                                };
+                            };
+                            readonly fromRdfType: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#fromRdfType">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "Iri";
+                                    };
+                                };
+                            };
+                            readonly ignoredProperties: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#ignoredProperties">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "List";
+                                        readonly itemType: {
+                                            readonly kind: "Iri";
+                                        };
+                                    };
+                                };
+                            };
+                            readonly isDefinedBy: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#isDefinedBy">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "Identifier";
+                                    };
+                                };
+                            };
+                            readonly label: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#label">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                    };
+                                };
+                            };
+                            readonly message: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#message">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                    };
+                                };
+                            };
+                            readonly nodeKind: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#nodeKind">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "Iri";
+                                        readonly in: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#BlankNode">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#BlankNodeOrIRI">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#BlankNodeOrLiteral">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#IRI">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#IRIOrLiteral">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#Literal">];
+                                    };
+                                };
+                            };
+                            readonly properties: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#property">;
+                                readonly type: {
+                                    readonly kind: "Set";
+                                    readonly itemType: {
+                                        readonly kind: "Identifier";
+                                    };
+                                    readonly minCount: 1;
+                                };
+                            };
+                            readonly rdfType: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#rdfType">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "Iri";
+                                    };
+                                };
+                            };
+                            readonly severity: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#severity">;
+                                readonly type: {
+                                    kind: "Option";
+                                    readonly itemType: {
+                                        kind: "Iri";
+                                        in: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#Info" | "http://www.w3.org/ns/shacl#Warning" | "http://www.w3.org/ns/shacl#Violation">[];
+                                        inValues: readonly ["http://www.w3.org/ns/shacl#Info", "http://www.w3.org/ns/shacl#Warning", "http://www.w3.org/ns/shacl#Violation"];
+                                    };
+                                };
+                            };
+                            readonly shaclmateName: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#name">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                    };
+                                };
+                            };
+                            readonly subClassOf: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#subClassOf">;
+                                readonly type: {
+                                    readonly kind: "Set";
+                                    readonly itemType: {
+                                        readonly kind: "Iri";
+                                    };
+                                };
+                            };
+                            readonly toRdfTypes: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#toRdfType">;
+                                readonly type: {
+                                    readonly kind: "Set";
+                                    readonly itemType: {
+                                        readonly kind: "Iri";
+                                    };
+                                };
+                            };
+                            readonly tsImports: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#tsImport">;
+                                readonly type: {
+                                    readonly kind: "Set";
+                                    readonly itemType: {
+                                        readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                    };
+                                };
+                            };
+                            readonly types: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/1999/02/22-rdf-syntax-ns#type">;
+                                readonly type: {
+                                    readonly kind: "Set";
+                                    readonly itemType: {
+                                        readonly kind: "Iri";
+                                    };
+                                };
+                            };
+                        };
+                    };
+                };
+            };
+            readonly label: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#label">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly name: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#name">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly parameter: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#parameter">;
+                readonly type: {
+                    kind: "Option";
+                    readonly itemType: {
+                        kind: "Identifier";
+                    };
+                };
+            };
+            readonly result: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#result">;
+                readonly type: {
+                    kind: "Option";
+                    readonly itemType: {
+                        kind: "Identifier";
+                    };
+                };
+            };
+        };
+    };
+    type Schema = typeof schema;
+    const toStringRecord: $ToStringRecordFunction<Pick<Operation, "$identifier" | "label" | "name">>;
+}
+/**
+ * Error type associated with an operation. Must be a struct type (i.e., have at least one sh:property).
+ */
+export type OperationError = {
+    readonly $identifier: () => OperationError.Identifier;
+    readonly classes: readonly NamedNode[];
+    readonly closed: Maybe<boolean>;
+    readonly comment: Maybe<string>;
+    readonly deactivated: Maybe<boolean>;
+    readonly extern: Maybe<boolean>;
+    readonly fromRdfType: Maybe<NamedNode>;
+    readonly ignoredProperties: Maybe<readonly NamedNode[]>;
+    readonly isDefinedBy: Maybe<BlankNode | NamedNode>;
+    readonly label: Maybe<string>;
+    readonly message: Maybe<string>;
+    readonly nodeKind: Maybe<NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal">>;
+    readonly properties: readonly (BlankNode | NamedNode)[];
+    readonly rdfType: Maybe<NamedNode>;
+    readonly severity: Maybe<Severity>;
+    /**
+     * Name to use in generated code. Used on node shapes (which don't permit sh:name) and to override sh:name in property shapes.
+     */
+    readonly shaclmateName: Maybe<string>;
+    readonly subClassOf: readonly NamedNode[];
+    readonly toRdfTypes: readonly NamedNode[];
+    readonly tsImports: readonly string[];
+    readonly types: readonly NamedNode[];
+};
+export declare namespace OperationError {
+    const _fromRdfResource: $_FromRdfResourceFunction<OperationError.Discriminated>;
+    const $toString: $ToStringFunction<Pick<OperationError, "$identifier" | "label" | "shaclmateName">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: OperationError.CreateParameters<$DefaultNamespaceT>) => Either<Error, OperationError.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
+        readonly $defaultNamespace?: $DefaultNamespaceT;
+        readonly $identifier?: (() => OperationError.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
+        readonly classes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
+        readonly closed?: boolean | Maybe<boolean>;
+        readonly comment?: string | Maybe<string>;
+        readonly deactivated?: boolean | Maybe<boolean>;
+        readonly extern?: boolean | Maybe<boolean>;
+        readonly fromRdfType?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
+        readonly ignoredProperties?: readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[] | Maybe<readonly NamedNode[]>;
+        readonly isDefinedBy?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
+        readonly label?: string | Maybe<string>;
+        readonly message?: string | Maybe<string>;
+        readonly nodeKind?: ("http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal") | NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal"> | Maybe<NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal">>;
+        readonly properties?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
+        readonly rdfType?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
+        readonly severity?: Severity["value"] | Severity | Maybe<Severity>;
+        readonly shaclmateName?: string | Maybe<string>;
+        readonly subClassOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
+        readonly toRdfTypes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
+        readonly tsImports?: string | readonly string[];
+        readonly types?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: OperationError.CreateParameters<$DefaultNamespaceT>) => OperationError.Discriminated;
+    type Discriminated = OperationError & {
+        readonly $type: "OperationError";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<OperationError.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<OperationError.Discriminated, OperationError.Schema>;
+    type Identifier = BlankNode | NamedNode;
+    namespace Identifier {
+        const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
+    }
+    const isOperationError: $ObjectTypeGuardFunction<OperationError.Discriminated>;
+    const schema: {
+        readonly properties: {
+            readonly $identifier: {
+                readonly kind: "Identifier";
+                readonly type: {
+                    readonly kind: "Identifier";
+                };
+            };
+            readonly classes: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#class">;
+                readonly type: {
+                    readonly kind: "Set";
+                    readonly itemType: {
+                        readonly kind: "Iri";
+                    };
+                };
+            };
+            readonly closed: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#closed">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
+                    };
+                };
+            };
+            readonly comment: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#comment">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly deactivated: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#deactivated">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
+                    };
+                };
+            };
+            readonly extern: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#extern">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
+                    };
+                };
+            };
+            readonly fromRdfType: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#fromRdfType">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "Iri";
+                    };
+                };
+            };
+            readonly ignoredProperties: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#ignoredProperties">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "List";
+                        readonly itemType: {
+                            readonly kind: "Iri";
+                        };
+                    };
+                };
+            };
+            readonly isDefinedBy: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#isDefinedBy">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "Identifier";
+                    };
+                };
+            };
+            readonly label: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#label">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly message: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#message">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly nodeKind: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#nodeKind">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "Iri";
+                        readonly in: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#BlankNode">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#BlankNodeOrIRI">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#BlankNodeOrLiteral">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#IRI">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#IRIOrLiteral">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#Literal">];
+                    };
+                };
+            };
+            readonly properties: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#property">;
+                readonly type: {
+                    readonly kind: "Set";
+                    readonly itemType: {
+                        readonly kind: "Identifier";
+                    };
+                    readonly minCount: 1;
+                };
+            };
+            readonly rdfType: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#rdfType">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "Iri";
+                    };
+                };
+            };
+            readonly severity: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#severity">;
+                readonly type: {
+                    kind: "Option";
+                    readonly itemType: {
+                        kind: "Iri";
+                        in: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#Info" | "http://www.w3.org/ns/shacl#Warning" | "http://www.w3.org/ns/shacl#Violation">[];
+                        inValues: readonly ["http://www.w3.org/ns/shacl#Info", "http://www.w3.org/ns/shacl#Warning", "http://www.w3.org/ns/shacl#Violation"];
+                    };
+                };
+            };
+            readonly shaclmateName: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#name">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly subClassOf: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#subClassOf">;
+                readonly type: {
+                    readonly kind: "Set";
+                    readonly itemType: {
+                        readonly kind: "Iri";
+                    };
+                };
+            };
+            readonly toRdfTypes: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#toRdfType">;
+                readonly type: {
+                    readonly kind: "Set";
+                    readonly itemType: {
+                        readonly kind: "Iri";
+                    };
+                };
+            };
+            readonly tsImports: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#tsImport">;
+                readonly type: {
+                    readonly kind: "Set";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly types: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/1999/02/22-rdf-syntax-ns#type">;
+                readonly type: {
+                    readonly kind: "Set";
+                    readonly itemType: {
+                        readonly kind: "Iri";
+                    };
+                };
+            };
+        };
+    };
+    type Schema = typeof schema;
+    const toStringRecord: $ToStringRecordFunction<Pick<OperationError, "$identifier" | "label" | "shaclmateName">>;
+}
+/**
+ * HTTP binding for an operation error
+ */
+export type OperationErrorHttpBinding = {
+    readonly $identifier: () => OperationErrorHttpBinding.Identifier;
+    /**
+     * HTTP client/server error code for the bound error.
+     */
+    readonly statusCode: OperationErrorHttpBindingStatusCode;
+};
+export declare namespace OperationErrorHttpBinding {
+    const _fromRdfResource: $_FromRdfResourceFunction<OperationErrorHttpBinding.Discriminated>;
+    const $toString: $ToStringFunction<Pick<OperationErrorHttpBinding, "$identifier">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: OperationErrorHttpBinding.CreateParameters<$DefaultNamespaceT>) => Either<Error, OperationErrorHttpBinding.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
+        readonly $defaultNamespace?: $DefaultNamespaceT;
+        readonly $identifier?: (() => OperationErrorHttpBinding.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
+        readonly statusCode: OperationErrorHttpBindingStatusCode;
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: OperationErrorHttpBinding.CreateParameters<$DefaultNamespaceT>) => OperationErrorHttpBinding.Discriminated;
+    type Discriminated = OperationErrorHttpBinding & {
+        readonly $type: "OperationErrorHttpBinding";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<OperationErrorHttpBinding.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<OperationErrorHttpBinding.Discriminated, OperationErrorHttpBinding.Schema>;
+    type Identifier = BlankNode | NamedNode;
+    namespace Identifier {
+        const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
+    }
+    const isOperationErrorHttpBinding: $ObjectTypeGuardFunction<OperationErrorHttpBinding.Discriminated>;
+    const schema: {
+        readonly properties: {
+            readonly $identifier: {
+                readonly kind: "Identifier";
+                readonly type: {
+                    readonly kind: "Identifier";
+                };
+            };
+            readonly statusCode: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#httpStatusCode">;
+                readonly type: {
+                    kind: "Int";
+                    in: readonly [400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 421, 422, 423, 424, 425, 426, 428, 429, 431, 451, 500, 501, 502, 503, 504, 505, 506, 507, 508, 510, 511];
+                    datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#int">;
+                };
+            };
+        };
+    };
+    type Schema = typeof schema;
+    const toStringRecord: $ToStringRecordFunction<Pick<OperationErrorHttpBinding, "$identifier">>;
+}
+export type OperationErrorHttpBindingStatusCode = OperationErrorHttpBindingStatusCode.Schema["in"][number];
+export declare namespace OperationErrorHttpBindingStatusCode {
+    const schema: {
+        kind: "Int";
+        in: readonly [400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 421, 422, 423, 424, 425, 426, 428, 429, 431, 451, 500, 501, 502, 503, 504, 505, 506, 507, 508, 510, 511];
+        datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#int">;
+    };
+    type Schema = typeof schema;
+}
+/**
+ * HTTP binding for an operation
+ */
+export type OperationHttpBinding = {
+    readonly $identifier: () => OperationHttpBinding.Identifier;
+    /**
+     * HTTP request body method. If this is not specified, it's inferred from the existence of path, query, and/or body parameters
+     */
+    readonly method: Maybe<OperationHttpBindingMethod>;
+    /**
+     * RFC 6570 URI template for the HTTP request. Variables in the template must correspond to properties of the parameter. Any other properties of the parameter are serialized into the HTTP requets body following the given/inferred content type.
+     */
+    readonly urlTemplate: string;
+};
+export declare namespace OperationHttpBinding {
+    const _fromRdfResource: $_FromRdfResourceFunction<OperationHttpBinding.Discriminated>;
+    const $toString: $ToStringFunction<Pick<OperationHttpBinding, "$identifier">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: OperationHttpBinding.CreateParameters<$DefaultNamespaceT>) => Either<Error, OperationHttpBinding.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
+        readonly $defaultNamespace?: $DefaultNamespaceT;
+        readonly $identifier?: (() => OperationHttpBinding.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
+        readonly method?: OperationHttpBindingMethod | Maybe<OperationHttpBindingMethod>;
+        readonly urlTemplate: string;
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: OperationHttpBinding.CreateParameters<$DefaultNamespaceT>) => OperationHttpBinding.Discriminated;
+    type Discriminated = OperationHttpBinding & {
+        readonly $type: "OperationHttpBinding";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<OperationHttpBinding.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<OperationHttpBinding.Discriminated, OperationHttpBinding.Schema>;
+    type Identifier = BlankNode | NamedNode;
+    namespace Identifier {
+        const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
+    }
+    const isOperationHttpBinding: $ObjectTypeGuardFunction<OperationHttpBinding.Discriminated>;
+    const schema: {
+        readonly properties: {
+            readonly $identifier: {
+                readonly kind: "Identifier";
+                readonly type: {
+                    readonly kind: "Identifier";
+                };
+            };
+            readonly method: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://schema.org/httpMethod">;
+                readonly type: {
+                    kind: "Option";
+                    readonly itemType: {
+                        kind: "String";
+                        in: readonly ["DELETE", "GET", "POST", "PUT"];
+                        datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
-            readonly label: {
+            readonly urlTemplate: {
                 readonly kind: "Shacl";
-                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#label">;
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://schema.org/urlTemplate">;
                 readonly type: {
-                    readonly kind: "Option";
-                    readonly itemType: {
-                        readonly kind: "String";
-                    };
+                    readonly kind: "String";
+                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                 };
             };
         };
     };
     type Schema = typeof schema;
-    const toStringRecord: (_ontology: Ontology) => Record<string, string>;
+    const toStringRecord: $ToStringRecordFunction<Pick<OperationHttpBinding, "$identifier">>;
+}
+export type OperationHttpBindingMethod = OperationHttpBindingMethod.Schema["in"][number];
+export declare namespace OperationHttpBindingMethod {
+    const schema: {
+        kind: "String";
+        in: readonly ["DELETE", "GET", "POST", "PUT"];
+        datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+    };
+    type Schema = typeof schema;
+}
+export type OperationHttpBindingStatusCode = OperationHttpBindingStatusCode.Schema["in"][number];
+export declare namespace OperationHttpBindingStatusCode {
+    const schema: {
+        kind: "Int";
+        in: readonly [200, 201, 202, 203, 204, 205, 206, 207, 208, 226];
+        datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#int">;
+    };
+    type Schema = typeof schema;
+}
+export type OperationParameter = BlankNode | NamedNode;
+export declare namespace OperationParameter {
+    const schema: {
+        kind: "Identifier";
+    };
+    type Schema = typeof schema;
+}
+export type OperationParameterHttpBindingContentType = OperationParameterHttpBindingContentType.Schema["in"][number];
+export declare namespace OperationParameterHttpBindingContentType {
+    const schema: {
+        kind: "String";
+        in: readonly ["application/json"];
+        datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+    };
+    type Schema = typeof schema;
+}
+export type OperationResult = BlankNode | NamedNode;
+export declare namespace OperationResult {
+    const schema: {
+        kind: "Identifier";
+    };
+    type Schema = typeof schema;
+}
+export type OperationResultHttpBindingContentType = OperationResultHttpBindingContentType.Schema["in"][number];
+export declare namespace OperationResultHttpBindingContentType {
+    const schema: {
+        kind: "String";
+        in: readonly ["application/json"];
+        datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+    };
+    type Schema = typeof schema;
 }
 export type PropertyGroup = {
     readonly $identifier: () => PropertyGroup.Identifier;
-    readonly $type: "PropertyGroup";
     readonly comment: Maybe<string>;
     readonly label: Maybe<string>;
 };
 export declare namespace PropertyGroup {
-    const _fromRdfResource: $_FromRdfResourceFunction<PropertyGroup>;
-    const $toString: (_propertyGroup: PropertyGroup) => string;
-    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
-        readonly $defaultNamespace?: $DefaultNamespaceT;
-        readonly $identifier?: (() => PropertyGroup.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
-        readonly comment?: string | Maybe<string>;
-        readonly label?: string | Maybe<string>;
-    }) => Either<Error, PropertyGroup>;
-    function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
+    const _fromRdfResource: $_FromRdfResourceFunction<PropertyGroup.Discriminated>;
+    const $toString: $ToStringFunction<Omit<PropertyGroup, "comment">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: PropertyGroup.CreateParameters<$DefaultNamespaceT>) => Either<Error, PropertyGroup.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
         readonly $defaultNamespace?: $DefaultNamespaceT;
         readonly $identifier?: (() => PropertyGroup.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
         readonly comment?: string | Maybe<string>;
         readonly label?: string | Maybe<string>;
-    }): PropertyGroup;
-    const fromRdfResource: $FromRdfResourceFunction<PropertyGroup>;
-    const fromRdfResourceValues: $FromRdfResourceValuesFunction<PropertyGroup, PropertyGroup.Schema>;
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: PropertyGroup.CreateParameters<$DefaultNamespaceT>) => PropertyGroup.Discriminated;
+    type Discriminated = PropertyGroup & {
+        readonly $type: "PropertyGroup";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<PropertyGroup.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<PropertyGroup.Discriminated, PropertyGroup.Schema>;
     type Identifier = BlankNode | NamedNode;
     namespace Identifier {
         const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
-        const stringify: typeof NTriplesTerm.stringify;
     }
-    const isPropertyGroup: (object: $Object) => object is PropertyGroup;
+    const isPropertyGroup: $ObjectTypeGuardFunction<PropertyGroup.Discriminated>;
     const schema: {
         readonly properties: {
             readonly $identifier: {
@@ -785,10 +1623,6 @@ export declare namespace PropertyGroup {
                 readonly kind: "RdfType";
                 readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#PropertyGroup">];
             };
-            readonly $type: {
-                readonly kind: "Discriminant";
-                readonly value: "PropertyGroup";
-            };
             readonly comment: {
                 readonly kind: "Shacl";
                 readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#comment">;
@@ -796,6 +1630,7 @@ export declare namespace PropertyGroup {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -806,17 +1641,17 @@ export declare namespace PropertyGroup {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
         };
     };
     type Schema = typeof schema;
-    const toStringRecord: (_propertyGroup: PropertyGroup) => Record<string, string>;
+    const toStringRecord: $ToStringRecordFunction<Omit<PropertyGroup, "comment">>;
 }
 export type PropertyShape = {
     readonly $identifier: () => PropertyShape.Identifier;
-    readonly $type: "PropertyShape";
     readonly and: Maybe<readonly (BlankNode | NamedNode)[]>;
     readonly classes: readonly NamedNode[];
     readonly comment: Maybe<string>;
@@ -852,6 +1687,9 @@ export type PropertyShape = {
     readonly minExclusive: Maybe<Literal>;
     readonly minInclusive: Maybe<Literal>;
     readonly minLength: Maybe<bigint>;
+    /**
+     * Whether the code generated from the shape should be mutable e.g., a mutable property, a mutable array, etc.
+     */
     readonly mutable: Maybe<boolean>;
     readonly name: Maybe<string>;
     readonly node: Maybe<BlankNode | NamedNode>;
@@ -867,6 +1705,9 @@ export type PropertyShape = {
     readonly qualifiedValueShapesDisjoint: Maybe<boolean>;
     readonly resolve: Maybe<BlankNode | NamedNode>;
     readonly severity: Maybe<Severity>;
+    /**
+     * Name to use in generated code. Used on node shapes (which don't permit sh:name) and to override sh:name in property shapes.
+     */
     readonly shaclmateName: Maybe<string>;
     readonly targetClasses: readonly NamedNode[];
     readonly targetNodes: readonly (NamedNode | Literal)[];
@@ -876,64 +1717,10 @@ export type PropertyShape = {
     readonly xone: Maybe<readonly (BlankNode | NamedNode)[]>;
 };
 export declare namespace PropertyShape {
-    const _fromRdfResource: $_FromRdfResourceFunction<PropertyShape>;
-    const $toString: (_propertyShape: PropertyShape) => string;
-    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
-        readonly $defaultNamespace?: $DefaultNamespaceT;
-        readonly $identifier?: (() => PropertyShape.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
-        readonly and?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
-        readonly classes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly comment?: string | Maybe<string>;
-        readonly datatype?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
-        readonly deactivated?: boolean | Maybe<boolean>;
-        readonly defaultValue?: (NamedNode | Literal) | Maybe<NamedNode | Literal>;
-        readonly description?: string | Maybe<string>;
-        readonly disjoint?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly display?: boolean;
-        readonly equals?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly flags?: string | Maybe<string>;
-        readonly groups?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
-        readonly hasValues?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
-        readonly ignore?: boolean;
-        readonly in_?: readonly (NamedNode | Literal)[] | Maybe<readonly (NamedNode | Literal)[]>;
-        readonly isDefinedBy?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
-        readonly label?: string | Maybe<string>;
-        readonly languageIn?: readonly string[] | Maybe<readonly string[]>;
-        readonly lessThan?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly lessThanOrEquals?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly maxCount?: bigint | number | string | Maybe<bigint>;
-        readonly maxExclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
-        readonly maxInclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
-        readonly maxLength?: bigint | number | string | Maybe<bigint>;
-        readonly message?: string | Maybe<string>;
-        readonly minCount?: bigint | number | string | Maybe<bigint>;
-        readonly minExclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
-        readonly minInclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
-        readonly minLength?: bigint | number | string | Maybe<bigint>;
-        readonly mutable?: boolean | Maybe<boolean>;
-        readonly name?: string | Maybe<string>;
-        readonly node?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
-        readonly nodeKind?: ("http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal") | NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal"> | Maybe<NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal">>;
-        readonly not?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
-        readonly or?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
-        readonly order?: number | Maybe<number>;
-        readonly path: $PropertyPath;
-        readonly pattern?: string | Maybe<string>;
-        readonly qualifiedMaxCount?: bigint | number | string | Maybe<bigint>;
-        readonly qualifiedMinCount?: bigint | number | string | Maybe<bigint>;
-        readonly qualifiedValueShape?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
-        readonly qualifiedValueShapesDisjoint?: boolean | Maybe<boolean>;
-        readonly resolve?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
-        readonly severity?: Severity["value"] | Severity | Maybe<Severity>;
-        readonly shaclmateName?: string | Maybe<string>;
-        readonly targetClasses?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly targetNodes?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
-        readonly targetObjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly targetSubjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
-        readonly uniqueLang?: boolean | Maybe<boolean>;
-        readonly xone?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
-    }) => Either<Error, PropertyShape>;
-    function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
+    const _fromRdfResource: $_FromRdfResourceFunction<PropertyShape.Discriminated>;
+    const $toString: $ToStringFunction<Pick<PropertyShape, "$identifier" | "label" | "name" | "path" | "shaclmateName">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: PropertyShape.CreateParameters<$DefaultNamespaceT>) => Either<Error, PropertyShape.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
         readonly $defaultNamespace?: $DefaultNamespaceT;
         readonly $identifier?: (() => PropertyShape.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
         readonly and?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
@@ -987,15 +1774,18 @@ export declare namespace PropertyShape {
         readonly targetSubjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
         readonly uniqueLang?: boolean | Maybe<boolean>;
         readonly xone?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
-    }): PropertyShape;
-    const fromRdfResource: $FromRdfResourceFunction<PropertyShape>;
-    const fromRdfResourceValues: $FromRdfResourceValuesFunction<PropertyShape, PropertyShape.Schema>;
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: PropertyShape.CreateParameters<$DefaultNamespaceT>) => PropertyShape.Discriminated;
+    type Discriminated = PropertyShape & {
+        readonly $type: "PropertyShape";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<PropertyShape.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<PropertyShape.Discriminated, PropertyShape.Schema>;
     type Identifier = BlankNode | NamedNode;
     namespace Identifier {
         const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
-        const stringify: typeof NTriplesTerm.stringify;
     }
-    const isPropertyShape: (object: $Object) => object is PropertyShape;
+    const isPropertyShape: $ObjectTypeGuardFunction<PropertyShape.Discriminated>;
     const schema: {
         readonly properties: {
             readonly $identifier: {
@@ -1009,10 +1799,6 @@ export declare namespace PropertyShape {
                 readonly kind: "RdfType";
                 readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#PropertyShape">];
             };
-            readonly $type: {
-                readonly kind: "Discriminant";
-                readonly value: "PropertyShape";
-            };
             readonly and: {
                 readonly kind: "Shacl";
                 readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#and">;
@@ -1043,6 +1829,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -1063,6 +1850,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -1084,6 +1872,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -1104,6 +1893,7 @@ export declare namespace PropertyShape {
                     readonly kind: "DefaultValue";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                     readonly defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
                 };
@@ -1125,6 +1915,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -1156,6 +1947,7 @@ export declare namespace PropertyShape {
                     readonly kind: "DefaultValue";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                     readonly defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
                 };
@@ -1191,6 +1983,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -1203,6 +1996,7 @@ export declare namespace PropertyShape {
                         readonly kind: "List";
                         readonly itemType: {
                             readonly kind: "String";
+                            readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                         };
                     };
                 };
@@ -1234,6 +2028,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -1264,6 +2059,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -1274,6 +2070,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -1284,6 +2081,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -1314,6 +2112,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -1324,6 +2123,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -1334,6 +2134,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -1388,6 +2189,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Float";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#double">;
                     };
                 };
             };
@@ -1403,6 +2205,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -1413,6 +2216,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -1423,6 +2227,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -1443,6 +2248,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -1475,6 +2281,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -1526,6 +2333,7 @@ export declare namespace PropertyShape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -1545,7 +2353,431 @@ export declare namespace PropertyShape {
         };
     };
     type Schema = typeof schema;
-    const toStringRecord: (_propertyShape: PropertyShape) => Record<string, string>;
+    const toStringRecord: $ToStringRecordFunction<Pick<PropertyShape, "$identifier" | "label" | "name" | "path" | "shaclmateName">>;
+}
+/**
+ * Service with operations
+ */
+export type Service = {
+    readonly $identifier: () => Service.Identifier;
+    readonly comment: Maybe<string>;
+    readonly label: Maybe<string>;
+    /**
+     * Identifier-safe name of the service
+     */
+    readonly name: Maybe<string>;
+    /**
+     * Set of operations associated with the service
+     */
+    readonly operations: readonly Operation[];
+};
+export declare namespace Service {
+    const _fromRdfResource: $_FromRdfResourceFunction<Service.Discriminated>;
+    const $toString: $ToStringFunction<Omit<Service, "comment" | "operations">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: Service.CreateParameters<$DefaultNamespaceT>) => Either<Error, Service.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
+        readonly $defaultNamespace?: $DefaultNamespaceT;
+        readonly $identifier?: (() => Service.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
+        readonly comment?: string | Maybe<string>;
+        readonly label?: string | Maybe<string>;
+        readonly name?: string | Maybe<string>;
+        readonly operations?: Operation | readonly Operation[];
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: Service.CreateParameters<$DefaultNamespaceT>) => Service.Discriminated;
+    type Discriminated = Service & {
+        readonly $type: "Service";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<Service.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<Service.Discriminated, Service.Schema>;
+    type Identifier = BlankNode | NamedNode;
+    namespace Identifier {
+        const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
+    }
+    const isService: $ObjectTypeGuardFunction<Service.Discriminated>;
+    const schema: {
+        readonly properties: {
+            readonly $identifier: {
+                readonly kind: "Identifier";
+                readonly type: {
+                    readonly kind: "Identifier";
+                };
+            };
+            readonly $rdfType: {
+                readonly fromRdfType: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#Service">;
+                readonly kind: "RdfType";
+                readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#Service">];
+            };
+            readonly comment: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#comment">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly label: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#label">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly name: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#name">;
+                readonly type: {
+                    readonly kind: "Option";
+                    readonly itemType: {
+                        readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                    };
+                };
+            };
+            readonly operations: {
+                readonly kind: "Shacl";
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#operation">;
+                readonly type: {
+                    kind: "Set";
+                    readonly itemType: {
+                        readonly properties: {
+                            readonly $identifier: {
+                                readonly kind: "Identifier";
+                                readonly type: {
+                                    readonly kind: "Identifier";
+                                };
+                            };
+                            readonly $rdfType: {
+                                readonly fromRdfType: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#Operation">;
+                                readonly kind: "RdfType";
+                                readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#Operation">];
+                            };
+                            readonly bindings: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#binding">;
+                                readonly type: {
+                                    kind: "Set";
+                                    readonly itemType: {
+                                        readonly properties: {
+                                            readonly $identifier: {
+                                                readonly kind: "Identifier";
+                                                readonly type: {
+                                                    readonly kind: "Identifier";
+                                                };
+                                            };
+                                            readonly method: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://schema.org/httpMethod">;
+                                                readonly type: {
+                                                    kind: "Option";
+                                                    readonly itemType: {
+                                                        kind: "String";
+                                                        in: readonly ["DELETE", "GET", "POST", "PUT"];
+                                                        datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                                    };
+                                                };
+                                            };
+                                            readonly urlTemplate: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://schema.org/urlTemplate">;
+                                                readonly type: {
+                                                    readonly kind: "String";
+                                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                                };
+                                            };
+                                        };
+                                    };
+                                };
+                            };
+                            readonly comment: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#comment">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                    };
+                                };
+                            };
+                            readonly error: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#error">;
+                                readonly type: {
+                                    kind: "Set";
+                                    readonly itemType: {
+                                        readonly properties: {
+                                            readonly $identifier: {
+                                                readonly kind: "Identifier";
+                                                readonly type: {
+                                                    readonly kind: "Identifier";
+                                                };
+                                            };
+                                            readonly classes: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#class">;
+                                                readonly type: {
+                                                    readonly kind: "Set";
+                                                    readonly itemType: {
+                                                        readonly kind: "Iri";
+                                                    };
+                                                };
+                                            };
+                                            readonly closed: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#closed">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "Boolean";
+                                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
+                                                    };
+                                                };
+                                            };
+                                            readonly comment: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#comment">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "String";
+                                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                                    };
+                                                };
+                                            };
+                                            readonly deactivated: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#deactivated">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "Boolean";
+                                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
+                                                    };
+                                                };
+                                            };
+                                            readonly extern: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#extern">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "Boolean";
+                                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
+                                                    };
+                                                };
+                                            };
+                                            readonly fromRdfType: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#fromRdfType">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "Iri";
+                                                    };
+                                                };
+                                            };
+                                            readonly ignoredProperties: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#ignoredProperties">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "List";
+                                                        readonly itemType: {
+                                                            readonly kind: "Iri";
+                                                        };
+                                                    };
+                                                };
+                                            };
+                                            readonly isDefinedBy: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#isDefinedBy">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "Identifier";
+                                                    };
+                                                };
+                                            };
+                                            readonly label: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#label">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "String";
+                                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                                    };
+                                                };
+                                            };
+                                            readonly message: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#message">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "String";
+                                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                                    };
+                                                };
+                                            };
+                                            readonly nodeKind: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#nodeKind">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "Iri";
+                                                        readonly in: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#BlankNode">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#BlankNodeOrIRI">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#BlankNodeOrLiteral">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#IRI">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#IRIOrLiteral">, import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#Literal">];
+                                                    };
+                                                };
+                                            };
+                                            readonly properties: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#property">;
+                                                readonly type: {
+                                                    readonly kind: "Set";
+                                                    readonly itemType: {
+                                                        readonly kind: "Identifier";
+                                                    };
+                                                    readonly minCount: 1;
+                                                };
+                                            };
+                                            readonly rdfType: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#rdfType">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "Iri";
+                                                    };
+                                                };
+                                            };
+                                            readonly severity: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#severity">;
+                                                readonly type: {
+                                                    kind: "Option";
+                                                    readonly itemType: {
+                                                        kind: "Iri";
+                                                        in: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#Info" | "http://www.w3.org/ns/shacl#Warning" | "http://www.w3.org/ns/shacl#Violation">[];
+                                                        inValues: readonly ["http://www.w3.org/ns/shacl#Info", "http://www.w3.org/ns/shacl#Warning", "http://www.w3.org/ns/shacl#Violation"];
+                                                    };
+                                                };
+                                            };
+                                            readonly shaclmateName: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#name">;
+                                                readonly type: {
+                                                    readonly kind: "Option";
+                                                    readonly itemType: {
+                                                        readonly kind: "String";
+                                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                                    };
+                                                };
+                                            };
+                                            readonly subClassOf: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#subClassOf">;
+                                                readonly type: {
+                                                    readonly kind: "Set";
+                                                    readonly itemType: {
+                                                        readonly kind: "Iri";
+                                                    };
+                                                };
+                                            };
+                                            readonly toRdfTypes: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#toRdfType">;
+                                                readonly type: {
+                                                    readonly kind: "Set";
+                                                    readonly itemType: {
+                                                        readonly kind: "Iri";
+                                                    };
+                                                };
+                                            };
+                                            readonly tsImports: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#tsImport">;
+                                                readonly type: {
+                                                    readonly kind: "Set";
+                                                    readonly itemType: {
+                                                        readonly kind: "String";
+                                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                                    };
+                                                };
+                                            };
+                                            readonly types: {
+                                                readonly kind: "Shacl";
+                                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/1999/02/22-rdf-syntax-ns#type">;
+                                                readonly type: {
+                                                    readonly kind: "Set";
+                                                    readonly itemType: {
+                                                        readonly kind: "Iri";
+                                                    };
+                                                };
+                                            };
+                                        };
+                                    };
+                                };
+                            };
+                            readonly label: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2000/01/rdf-schema#label">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                    };
+                                };
+                            };
+                            readonly name: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#name">;
+                                readonly type: {
+                                    readonly kind: "Option";
+                                    readonly itemType: {
+                                        readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
+                                    };
+                                };
+                            };
+                            readonly parameter: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#parameter">;
+                                readonly type: {
+                                    kind: "Option";
+                                    readonly itemType: {
+                                        kind: "Identifier";
+                                    };
+                                };
+                            };
+                            readonly result: {
+                                readonly kind: "Shacl";
+                                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#result">;
+                                readonly type: {
+                                    kind: "Option";
+                                    readonly itemType: {
+                                        kind: "Identifier";
+                                    };
+                                };
+                            };
+                        };
+                    };
+                };
+            };
+        };
+    };
+    type Schema = typeof schema;
+    const toStringRecord: $ToStringRecordFunction<Omit<Service, "comment" | "operations">>;
 }
 export type Severity = NamedNode<(typeof Severity.schema)["inValues"][number]>;
 export declare namespace Severity {
@@ -1554,39 +2786,36 @@ export declare namespace Severity {
         in: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#Info" | "http://www.w3.org/ns/shacl#Warning" | "http://www.w3.org/ns/shacl#Violation">[];
         inValues: readonly ["http://www.w3.org/ns/shacl#Info", "http://www.w3.org/ns/shacl#Warning", "http://www.w3.org/ns/shacl#Violation"];
     };
+    type Schema = typeof schema;
 }
 export type ValidationReport = {
     readonly $identifier: () => ValidationReport.Identifier;
-    readonly $type: "ValidationReport";
     readonly conforms: boolean;
     readonly results: readonly ValidationResult[];
     readonly shapesGraphWellFormed: Maybe<boolean>;
 };
 export declare namespace ValidationReport {
-    const _fromRdfResource: $_FromRdfResourceFunction<ValidationReport>;
-    const $toString: (_validationReport: ValidationReport) => string;
-    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
-        readonly $defaultNamespace?: $DefaultNamespaceT;
-        readonly $identifier?: (() => ValidationReport.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
-        readonly conforms: boolean;
-        readonly results?: ValidationResult | readonly ValidationResult[];
-        readonly shapesGraphWellFormed?: boolean | Maybe<boolean>;
-    }) => Either<Error, ValidationReport>;
-    function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
+    const _fromRdfResource: $_FromRdfResourceFunction<ValidationReport.Discriminated>;
+    const $toString: $ToStringFunction<Pick<ValidationReport, "$identifier">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: ValidationReport.CreateParameters<$DefaultNamespaceT>) => Either<Error, ValidationReport.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
         readonly $defaultNamespace?: $DefaultNamespaceT;
         readonly $identifier?: (() => ValidationReport.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
         readonly conforms: boolean;
         readonly results?: ValidationResult | readonly ValidationResult[];
         readonly shapesGraphWellFormed?: boolean | Maybe<boolean>;
-    }): ValidationReport;
-    const fromRdfResource: $FromRdfResourceFunction<ValidationReport>;
-    const fromRdfResourceValues: $FromRdfResourceValuesFunction<ValidationReport, ValidationReport.Schema>;
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: ValidationReport.CreateParameters<$DefaultNamespaceT>) => ValidationReport.Discriminated;
+    type Discriminated = ValidationReport & {
+        readonly $type: "ValidationReport";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<ValidationReport.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<ValidationReport.Discriminated, ValidationReport.Schema>;
     type Identifier = BlankNode | NamedNode;
     namespace Identifier {
         const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
-        const stringify: typeof NTriplesTerm.stringify;
     }
-    const isValidationReport: (object: $Object) => object is ValidationReport;
+    const isValidationReport: $ObjectTypeGuardFunction<ValidationReport.Discriminated>;
     const schema: {
         readonly properties: {
             readonly $identifier: {
@@ -1600,15 +2829,12 @@ export declare namespace ValidationReport {
                 readonly kind: "RdfType";
                 readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#ValidationReport">];
             };
-            readonly $type: {
-                readonly kind: "Discriminant";
-                readonly value: "ValidationReport";
-            };
             readonly conforms: {
                 readonly kind: "Shacl";
                 readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#conforms">;
                 readonly type: {
                     readonly kind: "Boolean";
+                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                 };
             };
             readonly results: {
@@ -1629,10 +2855,6 @@ export declare namespace ValidationReport {
                                 readonly kind: "RdfType";
                                 readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#ValidationResult">];
                             };
-                            readonly $type: {
-                                readonly kind: "Discriminant";
-                                readonly value: "ValidationResult";
-                            };
                             readonly details: {
                                 readonly kind: "Shacl";
                                 readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#detail">;
@@ -1659,6 +2881,7 @@ export declare namespace ValidationReport {
                                     readonly kind: "Option";
                                     readonly itemType: {
                                         readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                     };
                                 };
                             };
@@ -1718,17 +2941,17 @@ export declare namespace ValidationReport {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
         };
     };
     type Schema = typeof schema;
-    const toStringRecord: (_validationReport: ValidationReport) => Record<string, string>;
+    const toStringRecord: $ToStringRecordFunction<Pick<ValidationReport, "$identifier">>;
 }
 export type ValidationResult = {
     readonly $identifier: () => ValidationResult.Identifier;
-    readonly $type: "ValidationResult";
     readonly details: readonly (BlankNode | NamedNode | Literal)[];
     readonly focusNode: BlankNode | NamedNode | Literal;
     readonly message: Maybe<string>;
@@ -1739,9 +2962,10 @@ export type ValidationResult = {
     readonly value: Maybe<BlankNode | NamedNode | Literal>;
 };
 export declare namespace ValidationResult {
-    const _fromRdfResource: $_FromRdfResourceFunction<ValidationResult>;
-    const $toString: (_validationResult: ValidationResult) => string;
-    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
+    const _fromRdfResource: $_FromRdfResourceFunction<ValidationResult.Discriminated>;
+    const $toString: $ToStringFunction<Pick<ValidationResult, "$identifier">>;
+    const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: ValidationResult.CreateParameters<$DefaultNamespaceT>) => Either<Error, ValidationResult.Discriminated>;
+    type CreateParameters<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder> = {
         readonly $defaultNamespace?: $DefaultNamespaceT;
         readonly $identifier?: (() => ValidationResult.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
         readonly details?: (BlankNode | NamedNode | Literal) | readonly (BlankNode | NamedNode | Literal)[];
@@ -1752,27 +2976,18 @@ export declare namespace ValidationResult {
         readonly sourceConstraintComponent: (keyof $DefaultNamespaceT & string) | NamedNode;
         readonly sourceShape?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
         readonly value?: (BlankNode | NamedNode | Literal) | Maybe<BlankNode | NamedNode | Literal>;
-    }) => Either<Error, ValidationResult>;
-    function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
-        readonly $defaultNamespace?: $DefaultNamespaceT;
-        readonly $identifier?: (() => ValidationResult.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
-        readonly details?: (BlankNode | NamedNode | Literal) | readonly (BlankNode | NamedNode | Literal)[];
-        readonly focusNode: BlankNode | NamedNode | Literal;
-        readonly message?: string | Maybe<string>;
-        readonly path?: $PropertyPath | Maybe<$PropertyPath>;
-        readonly severity: Severity["value"] | Severity;
-        readonly sourceConstraintComponent: (keyof $DefaultNamespaceT & string) | NamedNode;
-        readonly sourceShape?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
-        readonly value?: (BlankNode | NamedNode | Literal) | Maybe<BlankNode | NamedNode | Literal>;
-    }): ValidationResult;
-    const fromRdfResource: $FromRdfResourceFunction<ValidationResult>;
-    const fromRdfResourceValues: $FromRdfResourceValuesFunction<ValidationResult, ValidationResult.Schema>;
+    };
+    const createUnsafe: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: ValidationResult.CreateParameters<$DefaultNamespaceT>) => ValidationResult.Discriminated;
+    type Discriminated = ValidationResult & {
+        readonly $type: "ValidationResult";
+    };
+    const fromRdfResource: $FromRdfResourceFunction<ValidationResult.Discriminated>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<ValidationResult.Discriminated, ValidationResult.Schema>;
     type Identifier = BlankNode | NamedNode;
     namespace Identifier {
         const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
-        const stringify: typeof NTriplesTerm.stringify;
     }
-    const isValidationResult: (object: $Object) => object is ValidationResult;
+    const isValidationResult: $ObjectTypeGuardFunction<ValidationResult.Discriminated>;
     const schema: {
         readonly properties: {
             readonly $identifier: {
@@ -1786,10 +3001,6 @@ export declare namespace ValidationResult {
                 readonly kind: "RdfType";
                 readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#ValidationResult">];
             };
-            readonly $type: {
-                readonly kind: "Discriminant";
-                readonly value: "ValidationResult";
-            };
             readonly details: {
                 readonly kind: "Shacl";
                 readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#detail">;
@@ -1816,6 +3027,7 @@ export declare namespace ValidationResult {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -1867,19 +3079,18 @@ export declare namespace ValidationResult {
         };
     };
     type Schema = typeof schema;
-    const toStringRecord: (_validationResult: ValidationResult) => Record<string, string>;
+    const toStringRecord: $ToStringRecordFunction<Pick<ValidationResult, "$identifier">>;
 }
-export type Shape = NodeShape | PropertyShape;
+export type Shape = NodeShape.Discriminated | PropertyShape.Discriminated;
 export declare namespace Shape {
-    const $toString: (value: Shape) => string;
+    const $toString: $ToStringFunction<Shape>;
     const fromRdfResource: $FromRdfResourceFunction<Shape>;
-    const fromRdfResourceValues: $FromRdfResourceValuesFunction<Shape, typeof Shape.schema>;
+    const fromRdfResourceValues: $FromRdfResourceValuesFunction<Shape, Shape.Schema>;
     type Identifier = BlankNode | NamedNode;
     namespace Identifier {
         const parse: (value: string) => Either<Error, import("@rdfx/string/dist/Identifier.js").Identifier>;
-        const stringify: typeof NTriplesTerm.stringify;
     }
-    function isShape(object: $Object): object is Shape;
+    const isShape: $ObjectTypeGuardFunction<Shape>;
     const schema: {
         readonly kind: "ObjectDiscriminatedUnion";
         readonly members: {
@@ -1898,10 +3109,6 @@ export declare namespace Shape {
                             readonly kind: "RdfType";
                             readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#NodeShape">];
                         };
-                        readonly $type: {
-                            readonly kind: "Discriminant";
-                            readonly value: "NodeShape";
-                        };
                         readonly and: {
                             readonly kind: "Shacl";
                             readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#and">;
@@ -1932,6 +3139,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                             };
                         };
@@ -1942,6 +3150,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -1962,6 +3171,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                             };
                         };
@@ -1972,6 +3182,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -1982,6 +3193,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                             };
                         };
@@ -1992,6 +3204,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2023,6 +3236,7 @@ export declare namespace Shape {
                                 readonly kind: "DefaultValue";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                                 readonly defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
                             };
@@ -2071,6 +3285,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2083,6 +3298,7 @@ export declare namespace Shape {
                                     readonly kind: "List";
                                     readonly itemType: {
                                         readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                     };
                                 };
                             };
@@ -2114,6 +3330,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "BigInt";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                                 };
                             };
                         };
@@ -2124,6 +3341,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2154,6 +3372,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "BigInt";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                                 };
                             };
                         };
@@ -2164,6 +3383,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                             };
                         };
@@ -2218,6 +3438,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2260,6 +3481,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2331,6 +3553,7 @@ export declare namespace Shape {
                                 readonly kind: "Set";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2375,10 +3598,6 @@ export declare namespace Shape {
                             readonly kind: "RdfType";
                             readonly toRdfTypes: readonly [import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#PropertyShape">];
                         };
-                        readonly $type: {
-                            readonly kind: "Discriminant";
-                            readonly value: "PropertyShape";
-                        };
                         readonly and: {
                             readonly kind: "Shacl";
                             readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#and">;
@@ -2409,6 +3628,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2429,6 +3649,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                             };
                         };
@@ -2450,6 +3671,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2470,6 +3692,7 @@ export declare namespace Shape {
                                 readonly kind: "DefaultValue";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                                 readonly defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
                             };
@@ -2491,6 +3714,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2522,6 +3746,7 @@ export declare namespace Shape {
                                 readonly kind: "DefaultValue";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                                 readonly defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
                             };
@@ -2557,6 +3782,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2569,6 +3795,7 @@ export declare namespace Shape {
                                     readonly kind: "List";
                                     readonly itemType: {
                                         readonly kind: "String";
+                                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                     };
                                 };
                             };
@@ -2600,6 +3827,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "BigInt";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                                 };
                             };
                         };
@@ -2630,6 +3858,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "BigInt";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                                 };
                             };
                         };
@@ -2640,6 +3869,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2650,6 +3880,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "BigInt";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                                 };
                             };
                         };
@@ -2680,6 +3911,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "BigInt";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                                 };
                             };
                         };
@@ -2690,6 +3922,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                             };
                         };
@@ -2700,6 +3933,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2754,6 +3988,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "Float";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#double">;
                                 };
                             };
                         };
@@ -2769,6 +4004,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2779,6 +4015,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "BigInt";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                                 };
                             };
                         };
@@ -2789,6 +4026,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "BigInt";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                                 };
                             };
                         };
@@ -2809,6 +4047,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                             };
                         };
@@ -2841,6 +4080,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "String";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                                 };
                             };
                         };
@@ -2892,6 +4132,7 @@ export declare namespace Shape {
                                 readonly kind: "Option";
                                 readonly itemType: {
                                     readonly kind: "Boolean";
+                                    readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                                 };
                             };
                         };
@@ -2943,6 +4184,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -2963,6 +4205,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -2973,6 +4216,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -2994,6 +4238,7 @@ export declare namespace Shape {
                     readonly kind: "DefaultValue";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                     readonly defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
                 };
@@ -3029,6 +4274,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -3041,6 +4287,7 @@ export declare namespace Shape {
                         readonly kind: "List";
                         readonly itemType: {
                             readonly kind: "String";
+                            readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                         };
                     };
                 };
@@ -3072,6 +4319,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -3082,6 +4330,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -3112,6 +4361,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "BigInt";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#integer">;
                     };
                 };
             };
@@ -3122,6 +4372,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "Boolean";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#boolean">;
                     };
                 };
             };
@@ -3176,6 +4427,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -3198,6 +4450,7 @@ export declare namespace Shape {
                     readonly kind: "Option";
                     readonly itemType: {
                         readonly kind: "String";
+                        readonly datatype: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/2001/XMLSchema#string">;
                     };
                 };
             };
@@ -3257,8 +4510,9 @@ export declare namespace Shape {
             };
         };
     };
+    type Schema = typeof schema;
 }
-export type $Object = NodeShape | Ontology | PropertyGroup | PropertyShape | ValidationReport | ValidationResult;
+export type $Object = NodeShape.Discriminated | Ontology.Discriminated | Operation.Discriminated | OperationError.Discriminated | OperationErrorHttpBinding.Discriminated | OperationHttpBinding.Discriminated | PropertyGroup.Discriminated | PropertyShape.Discriminated | Service.Discriminated | ValidationReport.Discriminated | ValidationResult.Discriminated;
 export declare namespace $Object {
     function $toString(object: $Object): string;
 }