Skip to content
This repository was archived by the owner on Feb 12, 2026. It is now read-only.

Latest commit

 

History

History
21 lines (13 loc) · 711 Bytes

File metadata and controls

21 lines (13 loc) · 711 Bytes

Validation Strategy

Validation is catalog-driven and deterministic. It prioritizes correctness and reproducibility over heuristic discovery.

Pipeline Overview

  1. Syntax validation for JSON-LD and Turtle
  2. Coherence checks between SHACL target classes and OWL classes
  3. SHACL conformance checks for JSON-LD instances
  4. Regression checks for invalid test cases

Catalog-Based Discovery

  • Required OWL and SHACL files are resolved via XML catalogs.
  • Base ontologies from imports/ are filtered by actual usage in data.
  • Fixtures are resolved via tests/catalog-v001.xml.

Inference

The validation pipeline applies RDFS inference to ensure shape targeting works across subclass hierarchies.