@prefix ex: <https://example.com/hypergraphs/query/> .
@prefix hg: <https://ontology.inferal.com/modules/hypergraphs/> .

ex:h
    a hg:Hypergraph ;
    hg:hasHyperedgeMembership ex:h-e-membership ;
    hg:hasHyperedge ex:e .

ex:e
    a hg:Hyperedge ;
    hg:hasIncidence ex:e-a, ex:e-b .

ex:h-e-membership
    a hg:HyperedgeMembership ;
    hg:membershipHypergraph ex:h ;
    hg:membershipHyperedge ex:e .

ex:e-a
    a hg:Incidence ;
    hg:incidentEdge ex:e ;
    hg:incidentVertex ex:a .

ex:e-b
    a hg:Incidence ;
    hg:incidentEdge ex:e ;
    hg:incidentVertex ex:b .