# IR2-M01
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
ASK {?a rdf:type te:RuleBook . 
}

# IR2-M02
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
select * where { 
    ?rulebook rdf:type te:RuleBook .
	?id te:doesIdentify  ?rulebook .
} 

# IR2-M10
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX terms: <http://purl.org/dc/terms/>
select * where { 
    ?Participant rdf:type te:Participant .
} 

# IR3-M01
select * where { 
    ?participant rdf:type te:Participant .
	?id te:doesIdentify  ?participant .
} 

# IR3-D11-AP
select * where { 
	?Participant rdf:type te:Participant .
    ?Participant te:pIdentityAttestation ?identityAttestation .
    ?identityAttestation prov:wasAttributedTo ?issuerOfIdentityAttestation.
    FILTER (?Participant = ?issuerOfIdentityAttestation ) .
}

# IR3-D21-AP
select * where { 
	?Participant rdf:type te:Participant .
    ?Participant te:pIdentityAttestation ?identityAttestation .
    ?identityAttestation prov:wasAttributedTo ?issuerOfIdentityAttestation.
    FILTER (?Participant != ?issuerOfIdentityAttestation ) .
} 

# IR3-D22-AP
select * where { 
	?Participant rdf:type te:Participant .
	?Participant te:pIdentityAttestation ?identityAttestation .
    ?identityAttestation prov:wasAttributedTo ?issuerOfIdentityAttestation.
    ?issuerOfIdentityAttestation te:pRoleAttestation ?RoleAttestation .
    ?RoleAttestation te:roleAttestationR te:EvSP.
} 

# IR3-D23-AP
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
# all participants' identity must be attested by an evidence service provider attested in its role by a trustworthiness monitor
?Participant1 rdf:type te:Participant .
?Participant1 te:pIdentityAttestation ?P1identityAttestation .
?P1identityAttestation prov:wasAttributedTo ?P2issuerOfP1IdentityAttestation.
?P2issuerOfP1IdentityAttestation te:pRoleAttestation ?RoleAttestationOfP2 .
?RoleAttestationOfP2 te:roleAttestationR te:EvSP .
# that EvSP corresponds to ?P2issuerOfP1IdentityAttestation 
#  which must be attested in its role by a trustworthiness monitor
?RoleAttestationOfP2 prov:wasAttributedTo ?P3issuerOfEvSProle .
?P3issuerOfEvSProle te:pRoleAttestation ?RoleAttestationOfP3 .
?RoleAttestationOfP3 te:roleAttestationR te:TwsMo .
# display the role that is attested explicitly
?RoleAttestationOfP3 te:roleAttestationR ?Role .
} 

# IR3-D24-AP
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
# Step 1 select EvSPs that attest to identity 
# ?Participant1 = selected participant
?Participant1 rdf:type te:Participant .
?Participant1 te:pIdentityAttestation ?P1identityAttestation .
?P1identityAttestation prov:wasAttributedTo ?P2issuerOfP1IdentityAttestation.
?P2issuerOfP1IdentityAttestation te:pRoleAttestation ?RoleAttestationOfP2 .
?RoleAttestationOfP2 te:roleAttestationR te:EvSP .
# EvSP = ?P2issuerOfP1IdentityAttestation 
# which must be attested in its role by a trustworthiness monitor
# TwsMo = ?P3issuerOfEvSProle
?RoleAttestationOfP2 prov:wasAttributedTo ?P3issuerOfEvSProle .
?P3issuerOfEvSProle te:pRoleAttestation ?RoleAttestationOfP3 .
?RoleAttestationOfP3 te:roleAttestationR te:TwsMo .
# display the role that is attested explicitly
?RoleAttestationOfP3 te:roleAttestationR ?Role .

# Step 2 select EvSP that conforms to ISO-IEC-TS-29003 according to TwsMo
# Select conformance attestations of P1
?P2issuerOfP1IdentityAttestation te:pConformance ?IdentityAttestationConformance .
# Select only those conformance attestations from the selected TwsMo
?IdentityAttestationConformance prov:wasAttributedTo ?P3issuerOfEvSProle .
# Select only those conformity attestations that match LOIP2
?IdentityAttestationConformance te:conformanceN te:ISO-IEC-TS-29003:2018:LOIP2 .
# Display the norm for information purpose 
?IdentityAttestationConformance te:conformanceN ?IdentityNorm .
}

# IR3-D31-AP
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
# The participant identity must be attested by an EvSP
?Participant1 rdf:type te:Participant .
?Participant1 te:pIdentityAttestation ?P1identityAttestation .
?P1identityAttestation prov:wasAttributedTo ?P2issuerOfP1IdentityAttestation.
?P2issuerOfP1IdentityAttestation te:pRoleAttestation ?RoleAttestationOfP2 .
?RoleAttestationOfP2 te:roleAttestationR te:EvSP .
# Alternative form to catch all roles: ?RoleAttestationOfP2 te:roleAttestationR ?RoleOfP2 .

# The EvSP corresponds to ?P2issuerOfP1IdentityAttestation 
#  which must be legally attested in its role
?RoleAttestationOfP2 te:raLegalQualification ?LegalRoleQualification .
# Display the legal norm for information purpose
?LegalRoleQualification te:legalQualificationN ?LegalNorm.
} 

# IR3-D32-AP
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
?Participant1 rdf:type te:Participant .
?Participant1 te:pIdentityAttestation ?P1identityAttestation .
?P1identityAttestation prov:wasAttributedTo ?P2issuerOfP1IdentityAttestation.
?P2issuerOfP1IdentityAttestation te:pRoleAttestation ?RoleAttestationOfP2 .
?RoleAttestationOfP2 te:roleAttestationR te:EvSP .
# To display the EvSP's role attestation
?RoleAttestationOfP2 te:roleAttestationR ?RoleOfP2 .

# EvSP must be attested by TwsMo
#  EvSP corresponds to ?P2issuerOfP1IdentityAttestation 
#  TwsMo corresponds to ?P3issuerOfEvSProle 
?RoleAttestationOfP2 prov:wasAttributedTo ?P3issuerOfEvSProle .
?P3issuerOfEvSProle te:pRoleAttestation ?RoleAttestationOfP3 .
#?RoleAttestationOfP3 te:roleAttestationR ?RoleOfP3 .
?RoleAttestationOfP3 te:roleAttestationR te:TwsMo .
# To display the TwsMO's role attestation
?RoleAttestationOfP3 te:roleAttestationR ?RoleOfP3.
    
# EvSP must be legally attested in its role
?RoleAttestationOfP2 te:raLegalQualification ?LegalRoleQualificationP2 .
# Display the legal norm itself for information purpose
?LegalRoleQualificationP2 te:legalQualificationN ?LegalNormP2.

# TwsMo must be legally attested in its role
#  TwsMo corresponds to ?P3issuerOfEvSProle, who has a role attestation ?RoleAttestationOfP3 
?RoleAttestationOfP3 te:raLegalQualification ?LegalRoleQualificationP3 .
# Display the legal norm for information purpose
?LegalRoleQualificationP3 te:legalQualificationN ?LegalNormP3.
} 

# IR3-D33-AP
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
# EvSP =  ?P2issuerOfP1IdentityAttestation
# TwsMo = ?P3issuerOfEvSProle 
?Participant1 rdf:type te:Participant .
?Participant1 rdf:type te:NaturalPerson .
?Participant1 te:pIdentityAttestation ?P1identityAttestation .
?P1identityAttestation prov:wasAttributedTo ?P2issuerOfP1IdentityAttestation.
?P2issuerOfP1IdentityAttestation te:pRoleAttestation ?RoleAttestationOfP2 .
?RoleAttestationOfP2 te:roleAttestationR te:EvSP .
# To display the EvSP's role attestation
?RoleAttestationOfP2 te:roleAttestationR ?RoleOfP2 .

# EvSP must be attested by TwsMo
?RoleAttestationOfP2 prov:wasAttributedTo ?P3issuerOfEvSProle .
?P3issuerOfEvSProle te:pRoleAttestation ?RoleAttestationOfP3 .
?RoleAttestationOfP3 te:roleAttestationR te:TwsMo .
# To display the TwsMO's role attestation
?RoleAttestationOfP3 te:roleAttestationR ?RoleOfP3.
    
# EvSP must be legally attested in its role
?RoleAttestationOfP2 te:raLegalQualification ?LegalRoleQualificationP2 .
# Display the legal norm for information purpose
?LegalRoleQualificationP2 te:legalQualificationN ?LegalNormP2.

# TwsMo must be legally attested in its role
#  TwsMo corresponds to ?P3issuerOfEvSProle, who has a role attestation ?RoleAttestationOfP3 
?RoleAttestationOfP3 te:raLegalQualification ?LegalRoleQualificationP3 .
# Display the legal norm for information purpose
?LegalRoleQualificationP3 te:legalQualificationN ?LegalNormP3.

# Select conformance attestations of P1
?P2issuerOfP1IdentityAttestation te:pConformance ?IdentityAttestationConformance .
# Select only those conformance attestattions that come from the selected TwsMo
?IdentityAttestationConformance prov:wasAttributedTo ?P3issuerOfEvSProle .
# Select only those conformity attestations to match LOIP2
?IdentityAttestationConformance te:conformanceN te:ISO-IEC-TS-29003:2018:LOIP2  .
# Display the norm for information purpose
?IdentityAttestationConformance te:conformanceN ?IdentityNorm .

} 

# IR4-M01
# Roles must be self-attested
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX : <http://www.marcsel.eu/onto/te#>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
?Participant te:pRoleAttestation ?RoleAttestationOfParticipant .
    ?RoleAttestationOfParticipant prov:wasAttributedTo ?RoleAttestationAttributedTo .
    ?RoleAttestationOfParticipant prov:wasAttributedTo ?Participant .
} 

# IR4-D26-AP
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
?P2issuerOfP1IdentityAttestation te:pRoleAttestation ?RoleAttestationOfP2 .
?RoleAttestationOfP2 te:roleAttestationR te:EvSP .
# that EvSP corresponds to ?P2issuerOfP1IdentityAttestation 
#  which must be attested in its role by a trustworthiness monitor
?RoleAttestationOfP2 prov:wasAttributedTo ?P3issuerOfEvSProle .
?P3issuerOfEvSProle te:pRoleAttestation ?RoleAttestationOfP3 .
?RoleAttestationOfP3 te:roleAttestationR te:TwsMo .
# display the role that is attested explicitly
?RoleAttestationOfP3 te:roleAttestationR ?Role .
} 

# IR4-D027A-AP
# Lists evidence service providers included in a European trust list
# (limited to United Kingdom, Spain and Belgium)
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
?P2issuerOfP1IdentityAttestation te:pRoleAttestation ?RoleAttestationOfP2 .
?RoleAttestationOfP2 te:roleAttestationR te:EvSP .
# that EvSP corresponds to ?P2issuerOfP1IdentityAttestation 
#  which must be included in a European trust list 
?RoleAttestationOfP2 prov:wasDerivedFrom ?Source .
  FILTER ( 
      ?Source = <https://www.tscheme.org/sites/default/files/tsl-uk0022signed.xml> || 
      ?Source = <https://sede.minetur.gob.es/Prestadores/TSL/TSL.xml> || 
      ?Source = <https://tsl.belgium.be/tsl-be.xml> ) .
}

# IR4-D027B-AP
# Lists EvSPs that demonstrate compliance with ETSI EN 319 403 
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
?Participant1 te:pRoleAttestation ?RoleAttestationOfP1 .
?RoleAttestationOfP1 te:roleAttestationR te:EvSP .
?Participant1 te:pConformance ?ConformanceAttestation .
?ConformanceAttestation te:conformanceN ?Standard .
  FILTER ( ?Standard = <http://www.marcsel.eu/onto/te/ETSI-EN-319-403> )
} 

# IR4-D304-AP
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX te: <http://www.marcsel.eu/onto/te/>
PREFIX prov: <http://www.w3.org/ns/prov#>
select * where { 
# select evidence service providers that have evsp role attestation
?P1evsp te:pRoleAttestation ?RoleAttestationOfP1evsp .
?RoleAttestationOfP1evsp te:roleAttestationR te:EvSP .
#  EvSP must be supervised by TwsMo
?Supervision te:supervisionP ?P1evsp .
?P2twsmo te:pSupervision ?Supervision .
# TwsMo must be attested in its role 
?P2twsmo te:pRoleAttestation ?RoleattestationOfP2twsmo .
?RoleattestationOfP2twsmo te:roleAttestationR te:TwsMo . 
# TwsMo's role attestation must be legally qualified
?RoleattestationOfP2twsmo te:raLegalQualification ?LegalRoleQualification .
# Display the legal norm for information purpose
?LegalRoleQualification te:legalQualificationN ?LegalNorm.
}