@kanonak-protocol/types 4.13.0 → 4.14.0

package/dist/object/resolution/types.d.ts

@@ -67,14 +67,6 @@ export interface ResourceResolver {
      * Clears cache for a specific document.
      */
     clearCache(documentKey: string): void;
-    /**
-     * Checks if a class is a subclass of another class (direct or transitive)
-     */
-    isSubclassOfAsync(className: string, parentClassName: string, document: KanonakDocument): Promise<boolean>;
-    /**
-     * Checks if a property is a subproperty of another property (direct or transitive)
-     */
-    isSubpropertyOfAsync(propertyName: string, parentPropertyName: string, document: KanonakDocument): Promise<boolean>;
 }
 /**
  * Classifies Kanonak resources by their semantic type (Class, Property, Instance, etc.).     This is the canonical source of truth for resource type classification.     Uses resolved KanonakUri, NOT document-scoped aliases.

package/dist/object/validation/rules/repository/types.d.ts

@@ -3,6 +3,17 @@ import { KanonakDocument } from '../../../../document/models/types';
 import { KanonakUri } from '../../../../object/uris/types';
 import { IRepositoryValidationRule } from '../../../../object/validation/rules/repository/index';
 import { OntologyValidationError } from '../../../../object/validation/types';
+/**
+ * Validates that a property's declared kind matches the nature of its range: a
+ * DatatypeProperty must range over a datatype (xsd type, rdfs.Literal, or a
+ * datatype-derived class), an ObjectProperty over a plain class. The nature is
+ * decided by walking the range's subClassOf chain (a datatype-derived class is
+ * datatype-valued even though rdfs.Datatype is a kind of rdfs.Class).
+ */
+export interface PropertyKindRangeConsistencyRule extends IRepositoryValidationRule {
+    readonly ruleName: string;
+    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
+}
 /**
  * Validates that references to entities or properties are unambiguous.     When multiple imports define the same entity/property name, namespace aliases     MUST be used to disambiguate (e.g., 'people.name' vs 'heroes.name').     When only one source defines an entity, aliases are optional.     Design Philosophy:     - Aliases are document-scoped only (not transitive)     - Aliases are required ONLY when ambiguity exists     - Aliases are optional when references are unambiguous
  */
@@ -24,13 +35,6 @@ export interface ClassHierarchyCycleRule extends IRepositoryValidationRule {
     readonly ruleName: string;
     validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
 }
-/**
- * Validates that properties used on Class and Property definitions are actually defined.     When a class or property definition uses a property (e.g., "icon: ✅"),     this rule ensures that the property "icon" is defined as an ObjectProperty     or DatatypeProperty either locally or in imported namespaces.
- */
-export interface DefinitionPropertyReferenceRule extends IRepositoryValidationRule {
-    readonly ruleName: string;
-    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
-}
 export interface ImportErrorDetails {
     message: string;
     suggestion: string;
@@ -57,13 +61,6 @@ export interface NamespaceImportCycleRule extends IRepositoryValidationRule {
     readonly ruleName: string;
     validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
 }
-/**
- * Validates that namespaces for ObjectProperty range classes are imported
- */
-export interface ObjectPropertyImportRule extends IRepositoryValidationRule {
-    readonly ruleName: string;
-    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
-}
 /**
  * Validates that ALL ObjectProperty values point to existing entities.     Uses TypeResolver to determine which properties are ObjectProperties (explicit or inferred from range).
  */
@@ -104,13 +101,6 @@ export interface PropertyRangeRequiredRule extends IRepositoryValidationRule {
     readonly ruleName: string;
     validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
 }
-/**
- * Validates that instance property values match their declared property types and ranges.     Prevents setting complex objects on DatatypeProperties and ensures ObjectProperty values are valid.
- */
-export interface PropertyValueTypeRule extends IRepositoryValidationRule {
-    readonly ruleName: string;
-    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
-}
 /**
  * Validates that subClassOf references point to existing classes
  */
@@ -139,10 +129,3 @@ export interface UnresolvedReferenceRule extends IRepositoryValidationRule {
     readonly ruleName: string;
     validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
 }
-/**
- * Validates that XSD namespace is imported when DatatypeProperty uses XSD types
- */
-export interface XsdImportRule extends IRepositoryValidationRule {
-    readonly ruleName: string;
-    validateAsync(document: KanonakDocument, repository: IKanonakDocumentRepository): Promise<Array<OntologyValidationError>>;
-}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kanonak-protocol/types",
-  "version": "4.13.0",
+  "version": "4.14.0",
   "description": "Shared TypeScript type definitions for the Kanonak Protocol object model.",
   "type": "module",
   "main": "./dist/index.js",