@prefix ex: <https://example.com/graphs/query/> .
@prefix graph: <https://ontology.inferal.com/modules/graphs/> .
@prefix ord: <https://ontology.inferal.com/modules/ordering/> .

ex:e
    a graph:DirectedEdge ;
    graph:endpointOrder ex:e-order ;
    graph:hasEndpoint ex:e-source, ex:e-target .

ex:e-order
    a ord:TotalOrdering .

ex:a
    a graph:Vertex .

ex:b
    a graph:Vertex .

ex:e-source
    a graph:Endpoint, ord:Comparable ;
    graph:endpointOf ex:e ;
    graph:endpointVertex ex:a ;
    ord:inOrdering ex:e-order ;
    ord:rank 1 .

ex:e-target
    a graph:Endpoint, ord:Comparable ;
    graph:endpointOf ex:e ;
    graph:endpointVertex ex:b ;
    ord:inOrdering ex:e-order ;
    ord:rank 2 ;
    ord:greaterThan ex:e-source .