@prefix : <https://ontology.inferal.com/modules/ontology-migration/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix mod: <https://w3id.org/mod#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix pubacc: <https://ontology.inferal.com/modules/publication-access/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .

<https://ontology.inferal.com/modules/ontology-migration/owl>
    a owl:Ontology, pubacc:PublicationManagedOntology ;
    dcterms:accessRights pubacc:PublicAccess ;
    owl:imports : ;
    dcterms:title "Ontology Data Migration — OWL Addendum" ;
    dcterms:description "OWL class and object-property declarations layered on the portable ontology migration set vocabulary, including inverse case membership, inverse retraction-rule attachment, source and target validation discovery, reverse-migration discovery, migration verification cases, and imported ordering semantics." ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    dcterms:source : ;
    vann:preferredNamespacePrefix "om" ;
    vann:preferredNamespaceUri "https://ontology.inferal.com/modules/ontology-migration/" ;
    mod:status "draft" ;
    rdfs:label "Ontology Data Migration — OWL Addendum" ;
    rdfs:comment "This addendum supplies OWL term kinds and inverse relations for set-to-case membership and case-to-retraction-rule attachment. It deliberately gives reverse migration no symmetry or inverse-behavior axiom. Cardinality, swapped endpoints, executable-distribution completeness, paired-test structure, dependency scheduling, phase ordering, and rule well-formedness are expressed in SHACL and processor contracts." ;
    owl:versionInfo "0.1.0" .

:OntologyMigrationSet a owl:Class .
:MigrationVerificationCase a owl:Class .
:sourceOntology a owl:ObjectProperty .
:targetOntology a owl:ObjectProperty .
:hasCase a owl:ObjectProperty ; owl:inverseOf :caseOf .
:caseOf a owl:ObjectProperty .
:sourceShapesGraph a owl:ObjectProperty .
:targetShapesGraph a owl:ObjectProperty .
:executionShapesGraph a owl:ObjectProperty .
:reverseMigration a owl:ObjectProperty .
:hasRetractionRule a owl:ObjectProperty ; owl:inverseOf :retractionRuleOf .
:retractionRuleOf a owl:ObjectProperty .
:verificationOf a owl:ObjectProperty .
:sourceTest a owl:ObjectProperty .
:targetTest a owl:ObjectProperty .