@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix ex: <https://example.com/reverse-query/> .
@prefix om: <https://ontology.inferal.com/modules/ontology-migration/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .

<https://example.com/ontology/a>
    a owl:Ontology ;
    dcterms:title "Example reverse-discovery ontology A" ;
    dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
    vann:preferredNamespacePrefix "a" ;
    vann:preferredNamespaceUri "https://example.com/ontology/a" ;
    rdfs:label "Reverse-discovery ontology A" ;
    owl:versionInfo "1" .

<https://example.com/ontology/b>
    a owl:Ontology ;
    dcterms:title "Example reverse-discovery ontology B" ;
    dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
    vann:preferredNamespacePrefix "b" ;
    vann:preferredNamespaceUri "https://example.com/ontology/b" ;
    rdfs:label "Reverse-discovery ontology B" ;
    owl:versionInfo "1" .

<https://example.com/ontology/c>
    a owl:Ontology ;
    dcterms:title "Example reverse-discovery ontology C" ;
    dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
    vann:preferredNamespacePrefix "c" ;
    vann:preferredNamespaceUri "https://example.com/ontology/c" ;
    rdfs:label "Reverse-discovery ontology C" ;
    owl:versionInfo "1" .

ex:a-to-b
    a om:OntologyMigrationSet ;
    om:sourceOntology <https://example.com/ontology/a> ;
    om:targetOntology <https://example.com/ontology/b> ;
    om:reverseMigration ex:b-to-a .

ex:b-to-a
    a om:OntologyMigrationSet ;
    om:sourceOntology <https://example.com/ontology/b> ;
    om:targetOntology <https://example.com/ontology/a> .

ex:c-to-a
    a om:OntologyMigrationSet ;
    om:sourceOntology <https://example.com/ontology/c> ;
    om:targetOntology <https://example.com/ontology/a> ;
    om:reverseMigration ex:a-to-b .