Transaction — deployment view
Transaction — deployment view
The Transaction module covers the Transaction Relator, Milestones, and TransactionChain. It is the smallest of the six business modules by triple count (82 triples across three TTLs). No overlay currently binds Transaction classes; BASPI5 references Transaction implicitly via Property + Seller + Buyer, but does not target Transaction shapes directly.
Source TTL(s)
| File | Role | Physical-Ontology tier |
|---|---|---|
opda-transaction.ttl | TBox: Transaction Relator, Milestone, TransactionChain | transaction/classes.md |
opda-transaction-shapes.ttl | Identity-key + IC-breach shapes; SHACL-AF chain-overlap detection rule | transaction/shapes.md |
opda-transaction-annotations.ttl | DPV baseline (minimal — transactions surface PII via linked Person + Property) | transaction/annotations.md |
Named graph(s)
| Named graph IRI | Source TTL | Triples | owl:versionIRI |
|---|---|---|---|
https://opda.org.uk/pdtf/graph/transaction | opda-transaction.ttl | 39 | https://opda.org.uk/pdtf/harness/release/transaction/1.0.0/ |
https://opda.org.uk/pdtf/graph/transaction-shapes | opda-transaction-shapes.ttl | 37 | — |
https://opda.org.uk/pdtf/graph/transaction-annotations | opda-transaction-annotations.ttl | 6 | — |
Load order: TBox graph imports foundation + vocabularies. Shape graph carries the ChainOverlapDetectionRule SHACL-AF rule that flags multi-transaction chains where chain links contradict.
Derived-profile membership
| Profile | opda-transaction.ttl | opda-transaction-shapes.ttl | opda-transaction-annotations.ttl |
|---|---|---|---|
| opda-validation | included (classes + properties + subClassOf + labels) | included (all triples; the chain-overlap rule fires here) | excluded |
| opda-ui | included (all triples) | included (all triples) | included (all triples) |
| opda-inference | included (classical-logic axioms only) | excluded | excluded |
Overlay bindings
No overlay currently targets Transaction classes directly. BASPI5 covers the property transaction surface via Property + Seller + Buyer; Transaction itself is a relational endurant that the overlay references transitively through opda:Buyer and opda:Seller participation, not via sh:targetClass.
A future overlay (e.g. a Land Registry conveyancing overlay) is the expected first overlay to bind Transaction; tracked in the deferred-work register at docs/governance/deferred-work.md.
Content-negotiation entry points
| Resource path | Resolves to |
|---|---|
https://opda.org.uk/pdtf/graph/transaction | transaction module TBox |
https://opda.org.uk/pdtf/harness/release/transaction/1.0.0/ | transaction versionIRI snapshot |
https://opda.org.uk/pdtf/graph/transaction-shapes | transaction shape graph |
https://opda.org.uk/pdtf/graph/transaction-annotations | transaction annotation graph |
https://opda.org.uk/pdtf/Transaction | per-entity dereference |
https://opda.org.uk/pdtf/Milestone | per-entity dereference |
https://opda.org.uk/pdtf/TransactionChain | per-entity dereference |
Deployment graph
39 triples"]:::data S["opda-transaction-shapes.ttl
37 triples"]:::data A["opda-transaction-annotations.ttl
6 triples"]:::data end subgraph NG["Named graphs"] NGT["opda.org.uk/pdtf/graph/transaction
versionIRI 1.0.0/"]:::infra NGS["opda.org.uk/pdtf/graph/transaction-shapes"]:::infra NGA["opda.org.uk/pdtf/graph/transaction-annotations"]:::infra end subgraph CMP["Composer"] C["opda-gen compose"]:::process end subgraph DRV["Derived profiles"] DV["opda-validation.ttl
ChainOverlapRule fires"]:::data DU["opda-ui.ttl"]:::data DI["opda-inference.ttl"]:::data end subgraph OVR["Overlay bindings"] OBN["No direct overlay binding
(future: Land Registry overlay)"]:::external end subgraph HTTP["HTTP entry points"] H1["opda.org.uk/pdtf/graph/transaction"]:::service H2["opda.org.uk/pdtf/Transaction"]:::service H3["opda.org.uk/pdtf/Milestone"]:::service H4["opda.org.uk/pdtf/TransactionChain"]:::service end subgraph CONS["Consumers"] U1["SHACL validators"]:::user U2["DASH UI"]:::user U3["OWL reasoners"]:::user end T --> NGT S --> NGS A --> NGA NGT --> C NGS --> C NGA --> C C --> DV C --> DU C --> DI NGT -.-> OBN NGT --> H1 NGT --> H2 NGT --> H3 NGT --> H4 DV --> U1 DU --> U2 DI --> U3
Cross-tier links
- Logical tier:
docs/manual/logical/transaction/— typed attributes + ER diagrams for Transaction Relator and TransactionChain. - Physical-Ontology tier:
docs/manual/physical-ontology/transaction/— Turtle source layout + per-class blocks + ChainOverlap SHACL-AF rule body. - Operations: round-trip CI validates Transaction exemplars (simple-transaction-with-milestones, lease-extension-transaction, chain-of-transactions).
Comments