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

ex:number-order a ord:Ordering .

ex:one
    a ord:Comparable ;
    ord:inOrdering ex:number-order .

ex:one-equivalent
    a ord:Comparable ;
    ord:inOrdering ex:number-order ;
    ord:sameRankAs ex:one .

ex:two
    a ord:Comparable ;
    ord:inOrdering ex:number-order ;
    ord:greaterThan ex:one .

ex:three
    a ord:Comparable ;
    ord:inOrdering ex:number-order ;
    ord:greaterThan ex:two .

ex:four
    a ord:Comparable ;
    ord:inOrdering ex:number-order ;
    ord:greaterThan ex:three .

ex:one-to-three-closed
    a rng:Range ;
    rng:lowerBound ex:one ;
    rng:lowerInclusive true ;
    rng:upperBound ex:three ;
    rng:upperInclusive true .

ex:after-one
    a rng:Range ;
    rng:lowerBound ex:one ;
    rng:lowerInclusive false .

ex:before-three
    a rng:Range ;
    rng:upperBound ex:three ;
    rng:upperInclusive false .

ex:one-to-three-closed-by-rank
    a rng:Range ;
    rng:lowerBound ex:one-equivalent ;
    rng:lowerInclusive true ;
    rng:upperBound ex:three ;
    rng:upperInclusive true .