module · ontology-migration
Ontology Data Migration
Describes executable migration sets that carry RDF data between ontology versions or ontology families, select source and target validation gates, identify additive transformation and staged retraction cases, relate corresponding reverse migrations, and pair source and target query-evaluation tests without claiming semantic completeness.
Ontology
Core vocabulary: classes, properties, and axioms.
| File | Format | |
|---|---|---|
| ontology.ttl | TTL |
OWL
OWL Turtle projection of the ontology, suitable for reasoners.
| File | Format | |
|---|---|---|
| ontology-owl.ttl | TTL |
Shapes
SHACL constraints validating instances of the vocabulary.
| File | Format | |
|---|---|---|
| shapes.ttl | TTL |
Examples
Illustrative instance data using the vocabulary.
Queries
SPARQL queries that define or exercise semantics.
| File | Format | |
|---|---|---|
| queries/find-retraction-rules.rq | SPARQL | |
| queries/find-reverse-migrations.rq | SPARQL | |
| queries/find-transformation-cases.rq | SPARQL | |
| queries/find-verification-cases.rq | SPARQL | |
| queries/migration-readiness.rq | SPARQL | |
| queries/source-term-coverage.rq | SPARQL | |
| queries/verification-summary.rq | SPARQL |
Specification
Human-readable specification (HTML).
| File | Format | |
|---|---|---|
| spec/ | HTML |