@prefix ex: <https://example.com/localization/query/disagreement/> .
@prefix loc: <https://ontology.inferal.com/modules/localization/> .
@prefix ord: <https://ontology.inferal.com/modules/ordering/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rng: <https://ontology.inferal.com/modules/range/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

# The query looks for localization claims whose ordered range values cannot
# overlap. The bound loci include ord:inOrdering as if the ordering
# materialization query has already been applied.
ex:manuscript-date
    a loc:Locus ;
    loc:inFrame loc:UTCTimeline ;
    ord:inOrdering loc:UTCTimelineOrdering .

ex:year-1100
    a loc:Locus ;
    loc:inFrame loc:UTCTimeline ;
    loc:at "1100"^^xsd:gYear ;
    ord:inOrdering loc:UTCTimelineOrdering .

ex:year-1150
    a loc:Locus ;
    loc:inFrame loc:UTCTimeline ;
    loc:at "1150"^^xsd:gYear ;
    ord:inOrdering loc:UTCTimelineOrdering ;
    ord:follows ex:year-1100 .

ex:year-1200
    a loc:Locus ;
    loc:inFrame loc:UTCTimeline ;
    loc:at "1200"^^xsd:gYear ;
    ord:inOrdering loc:UTCTimelineOrdering ;
    ord:follows ex:year-1150 .

ex:before-1100
    a rng:Range ;
    rng:upperBound ex:year-1100 ;
    rng:upperInclusive true .

ex:after-1200
    a rng:Range ;
    rng:lowerBound ex:year-1200 ;
    rng:lowerInclusive true .

ex:catalog-date
    a loc:Localization ;
    loc:localizes ex:manuscript-date ;
    loc:at ex:before-1100 ;
    prov:wasAttributedTo ex:legacy-catalog .

ex:lab-date
    a loc:Localization ;
    loc:localizes ex:manuscript-date ;
    loc:at ex:after-1200 ;
    prov:wasAttributedTo ex:c14-lab .