@prefix duplo: <https://ontology.inferal.com/modules/data-usage-processing-lineage/> .
@prefix dcls: <https://ontology.inferal.com/modules/data-classification/> .
@prefix dpv: <https://w3id.org/dpv#> .
@prefix ex: <https://example.com/duplo/query/mitigation-gap/> .
@prefix prov: <http://www.w3.org/ns/prov#> .

ex:email-element a dcls:DataElement .
ex:context a dcls:ClassificationContext .
ex:unassessed-output a prov:Entity .
ex:assessed-output a prov:Entity .
ex:wrongly-assessed-output a prov:Entity .
ex:email-classification
    a dcls:DataClassification ;
    dcls:classifiesElement ex:email-element ;
    duplo:hasMitigationRequirement ex:pseudonymisation-requirement .

ex:pseudonymisation-requirement
    a duplo:MitigationRequirement ;
    duplo:requiredMeasure dpv:Pseudonymisation ;
    duplo:hasRequirementScope duplo:OutputState ;
    duplo:requirementContext ex:context .

ex:unassessed-run
    a duplo:ProcessingActivity ;
    duplo:processingContext ex:context ;
    prov:used ex:email-element ;
    prov:generated ex:unassessed-output .

ex:assessed-run
    a duplo:ProcessingActivity ;
    duplo:appliedMeasure dpv:Pseudonymisation ;
    duplo:processingContext ex:context ;
    prov:used ex:email-element ;
    prov:generated ex:assessed-output .

ex:wrongly-assessed-run
    a duplo:ProcessingActivity ;
    duplo:appliedMeasure dpv:Encryption ;
    duplo:processingContext ex:context ;
    prov:used ex:email-element ;
    prov:generated ex:wrongly-assessed-output .

ex:assessment
    a duplo:MitigationAssessment ;
    duplo:assessesRequirement ex:pseudonymisation-requirement ;
    duplo:assessesActivity ex:assessed-run ;
    duplo:assessedMeasure dpv:Pseudonymisation ;
    duplo:hasAssessmentOutcome duplo:Satisfied ;
    prov:wasGeneratedBy ex:review .

ex:wrong-measure-assessment
    a duplo:MitigationAssessment ;
    duplo:assessesRequirement ex:pseudonymisation-requirement ;
    duplo:assessesActivity ex:wrongly-assessed-run ;
    duplo:assessedMeasure dpv:Encryption ;
    duplo:hasAssessmentOutcome duplo:Satisfied ;
    prov:wasGeneratedBy ex:review .

ex:review a prov:Activity ; prov:generated ex:assessment, ex:wrong-measure-assessment .