Validation & Enforcement

Overview

Control how strictly ontology rules are enforced and validate data against ontology constraints.

Enforcement Modes

Control how strictly ontology rules are enforced with three modes:

GQL
-- Check current enforcement mode
SHOW ONTOLOGY ENFORCEMENT

-- Enable strict enforcement
SET ONTOLOGY ENFORCEMENT STRICT

-- Enable warning mode
SET ONTOLOGY ENFORCEMENT WARNING

-- Disable enforcement
SET ONTOLOGY ENFORCEMENT OFF

Strict Mode

In STRICT mode, any ontology constraint violation will cause an error and block the operation. Use this in production to ensure data quality.

GQL
-- Setup domain/range constraints
CREATE OBJECT PROPERTY @ex:worksFor DOMAIN @ex:Person RANGE @ex:Organization

SET ONTOLOGY ENFORCEMENT STRICT

-- This succeeds: Person -> Organization
INSERT (@ex:Person {name: 'Alice'})-[@ex:worksFor]->(@ex:Organization {name: 'Acme'})

-- This fails: Organization -> Organization violates DOMAIN
INSERT (@ex:Organization {name: 'Org1'})-[@ex:worksFor]->(@ex:Organization {name: 'Org2'})

Warning Mode

In WARNING mode, constraint violations are logged but operations proceed. Use this during migration or development to identify issues without blocking work.

GQL
SET ONTOLOGY ENFORCEMENT WARNING

-- This succeeds but logs a warning
-- Warning logged: Domain constraint violation - source should be @ex:Person
INSERT (@ex:Organization {name: 'Org1'})-[@ex:worksFor]->(@ex:Organization {name: 'Org2'})

View warnings after operations:

GQL
SHOW ONTOLOGY WARNINGS

Result:

Bulk Import Workflow

For large data imports, disable enforcement during import and validate afterward for better performance.

GQL
-- Disable enforcement for bulk import
SET ONTOLOGY ENFORCEMENT OFF

-- Perform bulk import operations
INSERT (@ex:Person {name: 'Alice'})
INSERT (@ex:Person {name: 'Bob'})
INSERT (@ex:Organization {name: 'Acme'})
// thousands more inserts ...

-- Re-enable enforcement
SET ONTOLOGY ENFORCEMENT WARNING

-- Validate the imported data
VALIDATE ONTOLOGY

Validating Ontology

VALIDATE ONTOLOGY returns a one-row snapshot of the current ontology and the count of accumulated warnings. It does not rescan data — to find individual violations, look at SHOW ONTOLOGY WARNINGS (populated as INSERTs run under WARNING mode).

GQL
VALIDATE ONTOLOGY

Example output:

Returned columns:

Worked example — set up a constraint, plant a violation under WARNING, then check the report:

GQL
CREATE OBJECT PROPERTY @ex:employs DOMAIN @ex:Organization RANGE @ex:Person

SET ONTOLOGY ENFORCEMENT WARNING

-- DOMAIN_MISMATCH: source should be @ex:Organization, not @ex:Person
INSERT (@ex:Person {name: 'Alice'})-[@ex:employs]->(@ex:Person {name: 'Bob'})

VALIDATE ONTOLOGY

The report increments warnings and flips status to WARNINGS, while the per-row details are available via SHOW ONTOLOGY WARNINGS.

VALIDATE ONTOLOGY also accepts an optional mode that updates the current enforcement before running:

GQL
VALIDATE ONTOLOGY STRICT
VALIDATE ONTOLOGY WARNING

Validation Types

The ontology validator checks for the following types of constraint violations. The same types appear in SHOW ONTOLOGY WARNINGS and in VALIDATE ONTOLOGY output.

Domain violation example:

GQL
CREATE OBJECT PROPERTY @ex:employs DOMAIN @ex:Organization RANGE @ex:Person

-- Wrong: Person cannot employ (domain is Organization)
-- DOMAIN_MISMATCH: source must be @ex:Organization
INSERT (@ex:Person {name: 'Alice'})-[@ex:employs]->(@ex:Person {name: 'Bob'})

Range violation example:

GQL
-- Wrong: Organization cannot be employed (range is Person)
-- RANGE_MISMATCH: target must be @ex:Person
INSERT (@ex:Organization {name: 'Acme'})-[@ex:employs]->(@ex:Organization {name: 'Other'})

Viewing Warnings

When using WARNING mode, violations are stored in a warnings log that you can query.

GQL
SHOW ONTOLOGY WARNINGS

Example output:

Reset the accumulated warnings log:

GQL
CLEAR ONTOLOGY WARNINGS

Transitive Inference Depth

TRANSITIVE object properties expand inference chains across edges. Use SET ONTOLOGY TRANSITIVE DEPTH to cap how many hops the engine will traverse — useful in deep graphs where unbounded expansion is too expensive.

GQL
SET ONTOLOGY TRANSITIVE DEPTH 5

The depth is the maximum length of the real-edge chain that produces an inferred edge. With 5, source-to-target chains of 1–5 real edges yield an inferred edge; chains of 6 or more do not.

For a chain A → B → C → D → E → F → G (each → a real TRANSITIVE edge):

The value must be a positive integer (>= 1), or the sentinel -1 for unbounded expansion. 0 and any other negative value are rejected. The default when never set is 10.

GQL
-- Unbounded expansion (no depth cap)
SET ONTOLOGY TRANSITIVE DEPTH -1

Use -1 deliberately — unbounded expansion on a deep graph can be expensive.