Exemplar BASPI5 round-trip paired report

`baspi5-transaction-nonconformant`

A Seller "Under Power of Attorney" with NO opda:hasEvidencedAuthority — MUST trip Baspi5_SellersCapacityShape (B1.3.2).

Input instance (ABox)

# baspi5-transaction-nonconformant.ttl — BASPI5 round-trip exemplar (non-conformant)
# Hand-authored ABox fixture (ODR-0003 termination signal 1 / ODR-0010 §Rules (b)).
# Identical to baspi5-transaction-conformant.ttl EXCEPT the opda:Seller asserts
# capacity "Under Power of Attorney" (branch (b) of the sellersCapacity sh:xone)
# with NO opda:hasEvidencedAuthority. This is the canonical ODR-0010 §Rules (b)
# case (BASPI form-question B1.3.2): a Seller acting as Attorney / Personal
# Representative with no evidenced authority MUST trip
# opda:Baspi5_SellersCapacityShape (sh:xone, sh:Violation) — the violation
# traces via dct:source to <https://www.basp.uk/forms/baspi5#B1.3.2>.
#
# Validated against base shapes + the loaded BASPI5 overlay profile + the class
# TBox (with rdfs inference) by the `ci-baspi5-roundtrip` gate — it MUST report
# at least one sh:Violation whose source shape is Baspi5_SellersCapacityShape.
# Everything else in the transaction is conformant so the SellersCapacity xone
# is the only failure (see the conformant exemplar header for the EPC modelling
# note).
#
# This is instance data (ABox); it changes no emitted TBox/profile, and is not
# paired with an expected-report.ttl.
@prefix opda: <https://opda.org.uk/pdtf/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .

<https://opda.org.uk/pdtf/harness/data/baspi5-nonconformant/property>
    a opda:Property ;
    rdfs:label "BASPI5 non-conformant transaction — property"@en ;
    opda:hasUPRN "100023336957" ;
    opda:hasAddress <https://opda.org.uk/pdtf/harness/data/baspi5-nonconformant/address> ;
    opda:propertyType <https://opda.org.uk/pdtf/scheme/propertyType/House> ;
    opda:builtForm <https://opda.org.uk/pdtf/scheme/builtForm/Detached> ;
    opda:currentEnergyRating <https://opda.org.uk/pdtf/scheme/currentEnergyRating/C> ;
    opda:heatingType <https://opda.org.uk/pdtf/scheme/heatingType/Central-heating> .

<https://opda.org.uk/pdtf/harness/data/baspi5-nonconformant/address>
    a opda:Address ;
    vcard:street-address "2 Nonconformant Way, Testville" ;
    vcard:postal-code "TE2 2ST" .

# The defect: a Seller acting "Under Power of Attorney" (branch (b)) with NO
# opda:hasEvidencedAuthority. Trips Baspi5_SellersCapacityShape at B1.3.2.
<https://opda.org.uk/pdtf/harness/data/baspi5-nonconformant/seller>
    a opda:Person, opda:Seller ;
    vcard:fn "Pat Attorney" ;
    vcard:email "pat.attorney@example.org" ;
    opda:roleNotation <https://opda.org.uk/pdtf/scheme/role/Seller> ;
    opda:hasAssertedCapacity <https://opda.org.uk/pdtf/scheme/sellersCapacity/Under-Power-of-Attorney> .

<https://opda.org.uk/pdtf/harness/data/baspi5-nonconformant/buyer>
    a opda:Person, opda:Buyer ;
    vcard:fn "Sam Purchaser" ;
    vcard:email "sam.purchaser@example.org" ;
    opda:roleNotation <https://opda.org.uk/pdtf/scheme/role/Buyer> .

<https://opda.org.uk/pdtf/harness/data/baspi5-nonconformant/estate>
    a opda:LegalEstate ;
    opda:ownershipType <https://opda.org.uk/pdtf/scheme/ownershipType/Freehold> ;
    opda:tenureKind <https://opda.org.uk/pdtf/scheme/tenureKind/Freehold> .

Expected SHACL validation report

# baspi5-transaction-nonconformant-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 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/baspi5-transaction-nonconformant> ;
    sh:conforms "true"^^xsd:boolean .

The full exemplar catalogue and round-trip contract: Exemplars; the shapes this graph validates against: SHACL shapes; the overlay profiles it loads: Overlay profiles.

Input instance (ABox)

Expected SHACL validation report

Related