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

# Example for missing-required-assumptions.rq: the valid activity records the
# independence assumption required by product conjunction, while the invalid
# activity intentionally omits it so the query and SHACL shape can flag it.
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:valid-product-composition
    a prov:Activity, :ConfidenceComposition ;
    prov:used ex:source-a-confidence, ex:source-b-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:source-a-confidence, ex:source-b-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:source-a-confidence, ex:source-b-confidence ;
    prov:generated ex:invalid-output-confidence ;
    :usedOperator :ProductConjunction .

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

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