@prefix ex: <https://example.com/ontology-migration/> .
@prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
@prefix om: <https://ontology.inferal.com/modules/ontology-migration/> .
@prefix qt: <http://www.w3.org/2001/sw/DataAccess/tests/test-query#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

ex:person-v1-to-v2
    a om:OntologyMigrationSet ;
    om:sourceOntology <https://example.com/person/v1/> ;
    om:targetOntology <https://example.com/person/v2/> .

ex:NameVerification
    a om:MigrationVerificationCase ;
    rdfs:label "name verification" ;
    rdfs:comment "Pairs source and target name observations." ;
    om:verificationOf ex:person-v1-to-v2 ;
    om:sourceTest ex:SourceNameTest ;
    om:targetTest ex:TargetNameTest .

ex:SourceNameTest
    a mf:QueryEvaluationTest ;
    rdfs:label "source name observation test" ;
    rdfs:comment "Observes the version 1 source fixture as canonical name statements." ;
    mf:action [
        qt:query ex:SourceNameQuery ;
        qt:data ex:SourceData ;
    ] ;
    mf:result ex:ExpectedNameObservation .

ex:TargetNameTest
    a mf:QueryEvaluationTest ;
    rdfs:label "target name observation test" ;
    rdfs:comment "Observes the migrated version 2 fixture as canonical name statements." ;
    mf:action [
        qt:query ex:TargetNameQuery ;
        qt:data ex:TargetData ;
    ] ;
    mf:result ex:ExpectedNameObservation .