Exemplar S009 — Claims & evidence paired report
claim-with-document-evidence
PR claim supported by a grant of probate: PROV-O coverage + qualified attribution; eIDAS Substantial.
Input instance (ABox)
# Diagnostic exemplar — ODR-0004 §8a, IC-only — input to ODR-0009 (Claims, Evidence & Provenance).
# Situation: a Personal Representative claim of authority to sell, supported by a grant of probate
# document. Tests PROV-O qualified attribution; document-evidence type; eIDAS Substantial-tier
# assurance for a court-issued instrument; trust-framework conformance.
# Status: ratified. Namespace: https://opda.org.uk/pdtf/ (Session 003b + ADR-0006).
# ODR-0004 status: accepted (council: session-004; wg-decision: session-003b).
# ODR-0009 status: proposed (S009 to ratify).
@prefix opda: <https://opda.org.uk/pdtf/> .
@prefix opda-x: <https://opda.org.uk/pdtf/harness/data/exemplar/claim-with-document-evidence/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
opda-x:exemplar
a opda:DiagnosticExemplar ;
dct:title "Claim with document evidence — grant of probate supporting sellersCapacity" ;
dct:status "ratified" ;
dct:references <ODR-0009> , <ODR-0006> , <ODR-0005> , <ODR-0004> ;
skos:scopeNote
"Tests PROV-O backbone for claims supported by document evidence. A Personal Representative (sellersCapacity from S011 Method/plan code scheme) claims authority to sell on behalf of a deceased proprietor; the evidence is a grant of probate issued by HMCTS. Under S009 Q1's 80%-PROV-O / 5-residue split: prov:wasAttributedTo (claim to claimant) + prov:wasGeneratedBy (claim from probate verification activity) + prov:used (activity used the probate document). The opda:assuranceLevel (S011 Quality Region scheme) is 'Substantial' under eIDAS — court-issued instruments meet the criterion. Q5 trust_framework conformance: dct:conformsTo <opda:UKPropertyDataTrustFramework>." .
# The claim — a Personal-Representative-acts-on-behalf assertion
opda-x:claim
a opda:Claim ;
rdfs:label "PR claim: Patricia Smith acts as Personal Representative for Estate of Henry Smith (deceased)" ;
opda:claimType "sellersCapacity" ;
opda:claimContent "Personal Representative" ;
# opda:assuranceLevel "Substantial" ; -- REMOVED 2026-07-05 (zero PDTF
# schema basis; see ODR-0009's removal amendment). Historical text preserved.
dct:conformsTo <opda:UKPropertyDataTrustFramework> .
# The verification activity (PROV-O backbone)
opda-x:verification-activity
a prov:Activity , opda:VerificationActivity ;
rdfs:label "Probate verification activity (conveyancer's office, 2024-03-12)" ;
prov:atTime "2024-03-12T11:30:00Z"^^xsd:dateTime ;
prov:used opda-x:probate-document ;
opda:verificationMethod "document-inspection" .
# The probate document (the evidence)
opda-x:probate-document
a opda:Evidence , prov:Entity ;
rdfs:label "Grant of probate HMCTS reference 2024-PB-09876" ;
opda:evidenceType <https://opda.org.uk/pdtf/scheme/evidenceMethod/Document> ;
opda:documentType "grant-of-probate" ;
opda:issuerAuthority <opda:HMCTS> ;
opda:documentReference "2024-PB-09876" ;
opda:issuedOn "2024-02-18"^^xsd:date .
# Qualified attribution — claim attributed to claimant via the verification activity
opda-x:claim-attribution
a prov:Attribution ;
prov:agent opda-x:patricia-smith ;
prov:hadRole opda:PersonalRepresentativeRole .
opda-x:claim prov:qualifiedAttribution opda-x:claim-attribution .
opda-x:claim prov:wasGeneratedBy opda-x:verification-activity .
# The claimant
opda-x:patricia-smith
a opda:Person ;
rdfs:label "Patricia Smith (claimant; Personal Representative)" ;
opda:dateOfBirth "1967-02-14"^^xsd:date .
# The Seller role Patricia plays, and the conveyancing-side capacity/authority
# seam: opda:hasEvidencedAuthority links the Seller's asserted capacity to the
# opda:Claim of authority evidenced by the grant of probate (ODR-0006 §Q4 /
# ODR-0032 §R2; Council session-047 GATED). opda:playedBy names the bearer.
opda-x:seller-role
a opda:Seller ;
rdfs:label "Seller Role borne by Patricia Smith (acting as Personal Representative)" ;
opda:playedBy opda-x:patricia-smith ;
opda:hasEvidencedAuthority opda-x:claim .
# Cryptographic digest of the claim (S009 Q4 — local opda:digest, not PROV signature)
opda-x:claim
opda:digest "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855" .
Expected SHACL validation report
# claim-with-document-evidence-expected-report.ttl — paired SHACL validation report
# Generated by opda-gen 1.0.2; DO NOT HAND-EDIT.
# Specification: https://opda.org.uk/pdtf/harness/adr/ADR-0007-ontology-generator-specification
# Implementation: https://opda.org.uk/pdtf/harness/adr/ADR-0014-baspi5-round-trip-mvp-harness
# Ratifying ODR: ODR-0004 §8a (diagnostic exemplar pairing).
# Comparison is semantic-equivalence (focusNode, resultPath, severity, constraint, message) per tests/baspi5_round_trip/compare_reports.py.
@prefix dct: <http://purl.org/dc/terms/> .
@prefix opda: <https://opda.org.uk/pdtf/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<https://opda.org.uk/pdtf/harness/data/exemplar-reports/report>
rdf:type sh:ValidationReport ;
dct:source <https://opda.org.uk/pdtf/harness/data/exemplar/claim-with-document-evidence> ;
sh:conforms "false"^^xsd:boolean ;
sh:result <https://opda.org.uk/pdtf/harness/data/exemplar-reports/result-fc15d93f09b7> .
<https://opda.org.uk/pdtf/harness/data/exemplar-reports/result-fc15d93f09b7>
rdf:type sh:ValidationResult ;
sh:focusNode <https://opda.org.uk/pdtf/harness/data/exemplar/claim-with-document-evidence/claim> ;
sh:resultMessage "Claim MUST carry prov:wasDerivedFrom (or be explicitly marked unverified per Moreau S009 amendment). ODR-0013 §Severity tiering Cat 2: unprovenanced Claims are a Violation-tier IC breach."@en ;
sh:resultPath prov:wasDerivedFrom ;
sh:resultSeverity sh:Violation ;
sh:sourceConstraintComponent sh:MinCountConstraintComponent .
Related
The full exemplar catalogue and round-trip contract: Exemplars; the shapes this graph validates against: SHACL shapes; the overlay profiles it loads: Overlay profiles.