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

# Example for probability-product-conjunction-check.rq: the valid output is
# 0.80 * 0.75 = 0.60, while the invalid output declares 0.61 so the query can
# demonstrate a calculable product-conjunction mismatch.
ex:left-confidence
    a :ConfidenceAssessment ;
    :confidenceValue ex:left-confidence-value .

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

ex:right-confidence
    a :ConfidenceAssessment ;
    :confidenceValue ex:right-confidence-value .

ex:right-confidence-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.75 .

ex:valid-product-composition
    a prov:Activity, :ConfidenceComposition ;
    prov:used ex:left-confidence, ex:right-confidence ;
    prov:generated ex:valid-output-confidence ;
    :usedOperator :ProductConjunction ;
    :recordedAssumption :IndependenceAssumption .

ex:valid-output-confidence
    a :ConfidenceAssessment ;
    prov:wasGeneratedBy ex:valid-product-composition ;
    prov:wasDerivedFrom ex:left-confidence, ex:right-confidence ;
    :confidenceValue ex:valid-output-value .

ex:valid-output-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.60 .

ex:invalid-product-composition
    a prov:Activity, :ConfidenceComposition ;
    prov:used ex:left-confidence, ex:right-confidence ;
    prov:generated ex:invalid-output-confidence ;
    :usedOperator :ProductConjunction ;
    :recordedAssumption :IndependenceAssumption .

ex:invalid-output-confidence
    a :ConfidenceAssessment ;
    prov:wasGeneratedBy ex:invalid-product-composition ;
    prov:wasDerivedFrom ex:left-confidence, ex:right-confidence ;
    :confidenceValue ex:invalid-output-value .

ex:invalid-output-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.61 .