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

# Example for composition-audit.rq: one product-conjunction activity records
# its input assessments, output assessment, operator, and independence
# assumption so the derivation can be listed for review.
ex:name-confidence
    a :ConfidenceAssessment ;
    :assessmentTarget ex:name-evidence ;
    :confidenceValue ex:name-confidence-value .

ex:name-confidence-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.82 .

ex:email-confidence
    a :ConfidenceAssessment ;
    :assessmentTarget ex:email-evidence ;
    :confidenceValue ex:email-confidence-value .

ex:email-confidence-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.90 .

ex:derive-contact-confidence
    a prov:Activity, :ConfidenceComposition ;
    prov:used ex:name-confidence, ex:email-confidence ;
    prov:generated ex:contact-confidence ;
    :usedOperator :ProductConjunction ;
    :recordedAssumption :IndependenceAssumption .

ex:contact-confidence
    a :ConfidenceAssessment ;
    prov:wasGeneratedBy ex:derive-contact-confidence ;
    prov:wasDerivedFrom ex:name-confidence, ex:email-confidence ;
    :assessmentTarget ex:contact-derived-claim ;
    :confidenceValue ex:contact-confidence-value .

ex:contact-confidence-value
    a :ProbabilityValue ;
    :scale :ProbabilityScale ;
    :score 0.738 .