@prefix : <https://ontology.inferal.com/modules/confidence/> .
@prefix ex: <https://example.com/confidence/query/> .
@prefix prov: <http://www.w3.org/ns/prov#> .

# Example for cumulative-confidence-chain.rq: a second derived assessment points
# to a first derived assessment, which points to two original source
# assessments. A third assessment is derived through a composition activity
# only, without a prov:wasDerivedFrom shortcut, to show the query follows
# activity-level provenance too.
ex:source-a-confidence
    a :ConfidenceAssessment ;
    :confidenceValue ex:source-a-value .

ex:source-a-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.80 .

ex:source-b-confidence
    a :ConfidenceAssessment ;
    :confidenceValue ex:source-b-value .

ex:source-b-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.75 .

ex:first-derived-confidence
    a :ConfidenceAssessment ;
    prov:wasDerivedFrom ex:source-a-confidence, ex:source-b-confidence ;
    :confidenceValue ex:first-derived-value .

ex:first-derived-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.60 .

ex:second-derived-confidence
    a :ConfidenceAssessment ;
    prov:wasDerivedFrom ex:first-derived-confidence ;
    :confidenceValue ex:second-derived-value .

ex:second-derived-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.57 .

ex:negate-second-derived
    a prov:Activity, :ConfidenceComposition ;
    prov:used ex:second-derived-confidence ;
    prov:generated ex:third-derived-confidence ;
    :usedOperator :ProbabilityComplement .

ex:third-derived-confidence
    a :ConfidenceAssessment ;
    prov:wasGeneratedBy ex:negate-second-derived ;
    :confidenceValue ex:third-derived-value .

ex:third-derived-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.43 .